Record.ExtraSrghma.FoldlValuesWithIndex

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

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

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

Members

• foldlValuesWithIndexImpl :: forall accum. Proxy rowList -> (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