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

Members

Instances

#FoldlVariant Source

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

Members

Instances

#FoldlVariantF Source

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

Members

Instances