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 ArrayF

Methods

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

IShow Sort Sort ArithmeticF

Methods

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

IShow Sort Sort NegationF

Methods

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

IShow Sort Sort DisjunctionF

Methods

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

IShow Sort Sort ConjunctionF

Methods

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

IShow Sort k (EqualityF k)

Methods

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

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

Methods

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

IShow Sort Sort (ExistentialF v)

Methods

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

IShow Sort Sort (UniversalF v)

Methods

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

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

Methods

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