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 FoldrValuesLazy :: RowList Type -> Row Type -> Type -> Constraintclass (Homogeneous row fieldType, HomogeneousRowList rl fieldType) <= FoldrValuesLazy rl row fieldType | row -> fieldType where

Members

foldrValuesLazyImpl :: forall accum. Lazy accum => (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

#foldrValuesLazy1 Source

foldrValuesLazy1 :: forall row fieldType rowList. RowToList row rowList => Lazy fieldType => FoldrValuesLazy1 rowList row fieldType => (fieldType -> fieldType -> fieldType) -> Record row -> fieldType

Fold over the values of a record, applying the function to each field, but no initial accumulator.

#foldMapValuesLazyR1 Source

foldMapValuesLazyR1 :: forall m row rowList fieldType row' rowList'. RowToList row rowList => RowToList row' rowList' => Lazy m => FoldrValuesLazy1 rowList' row' m => MapRecord rowList row fieldType m () row' => Semigroup m => (fieldType -> m) -> Record row -> m

#FoldrValuesLazy1 Source

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

Members

foldrValuesLazyImpl1 :: (fieldType -> fieldType -> fieldType) -> Record row -> fieldType

Instances

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