expressions-0.1.1: Expressions and Formulas a la carte

Copyright(C) 2017-18 Jakub Daniel
LicenseBSD-style (see the file LICENSE)
MaintainerJakub Daniel <jakub.daniel@protonmail.com>
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell2010

Data.Expression.Utils.Indexed.Show

Description

 

Synopsis

Documentation

class IShow f where Source #

Show for indexed type constructors (most importantly functors)

Minimal complete definition

ishow

Methods

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

Instances

IShow Sort Sort ArrayF Source # 

Methods

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

IShow Sort Sort ArithmeticF Source # 

Methods

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

IShow Sort Sort NegationF Source # 

Methods

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

IShow Sort Sort DisjunctionF Source # 
IShow Sort Sort ConjunctionF Source # 
IShow Sort k (EqualityF k) Source # 

Methods

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

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

Methods

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

IShow Sort Sort (ExistentialF v) Source # 

Methods

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

IShow Sort Sort (UniversalF v) Source # 

Methods

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

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

Methods

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