Data.Expression.Utils.Indexed.Show

Documentation

class IShow f where

Show for indexed type constructors (most importantly functors)

Methods

ishow :: f (Const String) i -> Const String i

Instances

IShow IfThenElseF

Defined in Data.Expression.IfThenElse

Methods

ishow :: IfThenElseF (Const String) i -> Const String i

IShow ArrayF

Defined in Data.Expression.Array

Methods

ishow :: ArrayF (Const String) i -> Const String i

IShow ArithmeticF

Defined in Data.Expression.Arithmetic

Methods

ishow :: ArithmeticF (Const String) i -> Const String i

IShow NegationF

Defined in Data.Expression

Methods

ishow :: NegationF (Const String) i -> Const String i

IShow DisjunctionF

Defined in Data.Expression

Methods

ishow :: DisjunctionF (Const String) i -> Const String i

IShow ConjunctionF

Defined in Data.Expression

Methods

ishow :: ConjunctionF (Const String) i -> Const String i

IShow (EqualityF :: (k -> Type) -> Sort -> Type)

Defined in Data.Expression.Equality

Methods

ishow :: EqualityF (Const String) i -> Const String i

IShow (VarF :: (k -> Type) -> Sort -> Type)

Defined in Data.Expression

Methods

ishow :: VarF (Const String) i -> Const String i

IShow (ExistentialF v :: (Sort -> Type) -> Sort -> Type)

Defined in Data.Expression

Methods

ishow :: ExistentialF v (Const String) i -> Const String i

IShow (UniversalF v :: (Sort -> Type) -> Sort -> Type)

Defined in Data.Expression

Methods

ishow :: UniversalF v (Const String) i -> Const String i

(IShow f, IShow g) => IShow (f :+: g :: (k1 -> Type) -> k2 -> Type)

Defined in Data.Expression.Utils.Indexed.Sum

Methods

ishow :: (f :+: g) (Const String) i -> Const String i