Module

Record.ExtraSrghma.FoldrValuesWithIndex

Package
purescript-record-extra-srghma
Repository
srghma/purescript-record-extra-srghma

#foldrValuesWithIndex Source

foldrValuesWithIndex :: forall accum row fieldType rowList. RowToList row rowList => FoldrValuesWithIndex rowList row fieldType => (String -> fieldType -> accum -> accum) -> accum -> Record row -> accum

#foldMapValuesWithIndexR Source

foldMapValuesWithIndexR :: forall accum row fieldType rowList. RowToList row rowList => FoldrValuesWithIndex rowList row fieldType => Monoid accum => (String -> fieldType -> accum) -> Record row -> accum

#FoldrValuesWithIndex Source

class (Homogeneous row fieldType, HomogeneousRowList rowList fieldType) <= FoldrValuesWithIndex (rowList :: RowList Type) (row :: Row Type) fieldType | rowList -> row fieldType where

Members

Instances