Module

Heterogeneous.Folding

#Folding 

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

Members

Instances

#FoldingWithIndex 

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

Members

Instances

#HFoldl 

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

Members

Instances

#HFoldlWithIndex 

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

Members

Instances

#ConstFolding 

newtype ConstFolding f

Constructors

Instances

#FoldlRecord 

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

Members

Instances

#FoldlVariant 

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

Members

Instances

#FoldlVariantF 

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

Members

Instances

Modules