Data.Expression.Utils.Indexed.Foldable

Documentation

class IFoldable (f :: (i -> *) -> i -> *) 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 IfThenElseF

Defined in Data.Expression.IfThenElse

Methods

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

IFoldable ArrayF

Defined in Data.Expression.Array

Methods

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

IFoldable ArithmeticF

Defined in Data.Expression.Arithmetic

Methods

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

IFoldable NegationF

Defined in Data.Expression

Methods

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

IFoldable DisjunctionF

Defined in Data.Expression

Methods

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

IFoldable ConjunctionF

Defined in Data.Expression

Methods

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

IFoldable (EqualityF :: (Sort -> *) -> Sort -> *)

Defined in Data.Expression.Equality

Methods

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

IFoldable (ExistentialF v :: (Sort -> *) -> Sort -> *)

Defined in Data.Expression

Methods

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

IFoldable (UniversalF v :: (Sort -> *) -> Sort -> *)

Defined in Data.Expression

Methods

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

IFoldable (VarF :: (Sort -> *) -> Sort -> *)

Defined in Data.Expression

Methods

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

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

Defined in Data.Expression.Utils.Indexed.Sum

Methods

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