Module

Record.ExtraSrghma.FoldlValuesWithIndex

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

#foldlValuesWithIndex Source

foldlValuesWithIndex :: forall accum row fieldType rowList. RowToList row rowList => FoldlValuesWithIndex rowList row fieldType => (accum -> String -> fieldType -> accum) -> accum -> Record row -> accum

#foldMapValuesWithIndexL Source

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

#FoldlValuesWithIndex Source

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

Members

foldlValuesWithIndexImpl :: forall accum. (accum -> String -> fieldType -> accum) -> accum -> Record row -> accum

Instances

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

#foldlValuesWithIndex1 Source

foldlValuesWithIndex1 :: forall row fieldType rowList. RowToList row rowList => FoldlValuesWithIndex1 rowList row fieldType => (fieldType -> String -> fieldType -> fieldType) -> Record row -> fieldType

#foldMapValuesWithIndexL1 Source

foldMapValuesWithIndexL1 :: forall fieldType row rowList row' rowList' m. RowToList row rowList => RowToList row' rowList' => FoldlValuesWithIndex1 rowList' row' m => MapValuesWithIndex rowList row fieldType m () row' => Monoid m => (String -> fieldType -> m) -> Record row -> m

#FoldlValuesWithIndex1 Source

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

Members

foldlValuesWithIndexImpl1 :: (fieldType -> String -> fieldType -> fieldType) -> Record row -> fieldType

Instances

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