Data.Expression.Utils.Indexed.Foldable

Documentation

class IFoldable f where

Type constructors (usually functors) that can be folded

Minimal complete definition

ifold

Methods

ifold :: Monoid m => f (Const m) i' -> Const m i'

Instances

IFoldable Sort ArrayF

Methods

ifold :: Monoid m => f (Const ArrayF m) i' -> Const ArrayF m i'

IFoldable Sort ArithmeticF

Methods

ifold :: Monoid m => f (Const ArithmeticF m) i' -> Const ArithmeticF m i'

IFoldable Sort NegationF

Methods

ifold :: Monoid m => f (Const NegationF m) i' -> Const NegationF m i'

IFoldable Sort DisjunctionF

Methods

ifold :: Monoid m => f (Const DisjunctionF m) i' -> Const DisjunctionF m i'

IFoldable Sort ConjunctionF

Methods

ifold :: Monoid m => f (Const ConjunctionF m) i' -> Const ConjunctionF m i'

IFoldable Sort (EqualityF Sort)

Methods

ifold :: Monoid m => f (Const (EqualityF Sort) m) i' -> Const (EqualityF Sort) m i'

IFoldable Sort (ExistentialF v)

Methods

ifold :: Monoid m => f (Const (ExistentialF v) m) i' -> Const (ExistentialF v) m i'

IFoldable Sort (UniversalF v)

Methods

ifold :: Monoid m => f (Const (UniversalF v) m) i' -> Const (UniversalF v) m i'

IFoldable Sort (VarF (Sort -> *))

Methods

ifold :: Monoid m => f (Const (VarF (Sort -> *)) m) i' -> Const (VarF (Sort -> *)) m i'

(IFoldable i f, IFoldable i g) => IFoldable i ((:+:) i (i -> *) f g)

Methods

ifold :: Monoid m => f (Const ((i :+: (i -> *)) f g) m) i' -> Const ((i :+: (i -> *)) f g) m i'