Record.ExtraSrghma.FoldrValuesLazy

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

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

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