Module

Record.ExtraSrghma.FoldrValuesLazy

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

#foldrValuesLazy Source

foldrValuesLazy :: forall accum row fieldType rowList. Lazy accum => RowToList row rowList => FoldrValuesLazy rowList row fieldType => (fieldType -> accum -> accum) -> accum -> Record row -> accum

#foldMapValuesLazyR Source

foldMapValuesLazyR :: forall accum row fieldType rowList. Lazy accum => RowToList row rowList => FoldrValuesLazy rowList row fieldType => Monoid accum => (fieldType -> accum) -> Record row -> accum

#FoldrValuesLazy Source

class (Homogeneous row fieldType, HomogeneousRowList rl fieldType) <= FoldrValuesLazy rl row fieldType | row -> fieldType where

Members

Instances