Module

Heterogeneous.Folding

Package
purescript-heterogeneous
Repository
natefaubion/purescript-heterogeneous

#Folding Source

class Folding f x y z | f x y -> z where

Members

Instances

#FoldingWithIndex Source

class FoldingWithIndex f i x y z | f i x y -> z where

Members

Instances

#HFoldl Source

class HFoldl f x a b | f x a -> b where

Members

Instances

#HFoldlWithIndex Source

class HFoldlWithIndex f x a b | f x a -> b where

Members

Instances

#ConstFolding Source

newtype ConstFolding f

Constructors

Instances

#FoldlRecord Source

class FoldlRecord :: Type -> Type -> RowList Type -> Row Type -> Type -> Constraintclass FoldlRecord f x (rl :: RowList Type) (r :: Row Type) b | f x rl -> b, rl -> r where

Members

Instances

#FoldlVariant Source

class FoldlVariant :: Type -> Type -> RowList Type -> Row Type -> Type -> Constraintclass FoldlVariant f x (rl :: RowList Type) (r :: Row Type) b | f x rl -> b, rl -> r where

Members

Instances

#FoldlVariantF Source

class FoldlVariantF :: Type -> Type -> RowList (Type -> Type) -> Row (Type -> Type) -> Type -> Type -> Constraintclass FoldlVariantF f x (rl :: RowList (Type -> Type)) (r :: Row (Type -> Type)) z y | f x rl z -> r y where

Members

Instances