Module

Heterogeneous.Folding

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

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

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

(Foldable g, Folding f x y x) => HFoldl f x (App g y) x
(HFoldlWithIndex (ConstFolding f) x (RLProxy rl) b) => HFoldl f x (RLProxy rl) b
(RowToList r rl, FoldlRecord (ConstFolding f) x rl r b) => HFoldl f x (Record r) b
(Folding f x a y, Folding f y b z) => HFoldl f x (Tuple a b) z
(Folding f x a y, Folding f x b y) => HFoldl f x (Either a b) y
(RowToList r rl, FoldlVariant (ConstFolding f) x rl r y) => HFoldl f x (Variant r) y
(RowToList r rl, FoldlVariantF (ConstFolding f) x rl r z y) => HFoldl f x (VariantF r z) y

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

newtype ConstFolding f

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

(IsSymbol sym, Cons sym a r' r, FoldingWithIndex f (SProxy sym) x a z, FoldlRecord f z rl r b) => FoldlRecord f x (Cons sym a rl) r b
FoldlRecord f x Nil r x

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

(IsSymbol sym, Cons sym a r1 r2, FoldingWithIndex f (SProxy sym) x a y, FoldlVariant f x rest r1 y) => FoldlVariant f x (Cons sym a rest) r2 y
FoldlVariant f x Nil () y

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

(IsSymbol sym, Cons sym (FProxy a) r1 r2, FoldingWithIndex f (SProxy sym) x (a z) y, FoldlVariantF f x rest r1 z y) => FoldlVariantF f x (Cons sym (FProxy a) rest) r2 z y
FoldlVariantF f x Nil () z y