Data.Expression.Utils.Indexed.Show

Documentation

class IShow f where

Show for indexed type constructors (most importantly functors)

Minimal complete definition

ishow

Methods

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

Instances

IShow Sort Sort IfThenElseF

Methods

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

IShow Sort Sort ArrayF

Methods

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

IShow Sort Sort ArithmeticF

Methods

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

IShow Sort Sort NegationF

Methods

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

IShow Sort Sort DisjunctionF

Methods

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

IShow Sort Sort ConjunctionF

Methods

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

IShow k Sort (EqualityF k)

Methods

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

IShow k Sort (VarF (k -> *))

Methods

ishow :: f (Const (VarF (k -> *)) String) i -> Const k String i

IShow Sort Sort (ExistentialF v)

Methods

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

IShow Sort Sort (UniversalF v)

Methods

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

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

Methods

ishow :: f (Const (((k1 -> *) :+: k2) f g) String) i -> Const k String i