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) (r :: # Type) b | f x rl -> b, rl -> r where

Members

Instances

#FoldlVariant 

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

Members

Instances

#FoldlVariantF 

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

Members

Instances

Modules