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

foldrValuesLazyImpl :: forall accum. Lazy accum => Proxy rl -> (fieldType -> accum -> accum) -> accum -> Record row -> accum

Instances

(FoldrValuesLazy tailRowList row fieldType, Homogeneous tailRow fieldType, HomogeneousRowList tailRowList fieldType, HomogeneousRowList trash fieldType, IsSymbol name, RowToList row trash, Cons name fieldType tailRow row) => FoldrValuesLazy (Cons name fieldType tailRowList) row fieldType
(Homogeneous row fieldType) => FoldrValuesLazy Nil row fieldType

Modules: Record.ExtraSrghma; Record.ExtraSrghma.CompareRecord; Record.ExtraSrghma.FoldlValues; Record.ExtraSrghma.FoldlValuesWithIndex; Record.ExtraSrghma.FoldrValues; Record.ExtraSrghma.FoldrValuesLazy; Record.ExtraSrghma.FoldrValuesWithIndex; Record.ExtraSrghma.Keys; Record.ExtraSrghma.MapIndex; Record.ExtraSrghma.MapRecord; Record.ExtraSrghma.MapValuesWithIndex; Record.ExtraSrghma.ParSequenceRecord; Record.ExtraSrghma.SequenceRecord; Record.ExtraSrghma.ValuesToUnfoldableLazy; Record.ExtraSrghma.ZipRecord