Copyright | (C) 2017-18 Jakub Daniel |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Jakub Daniel <jakub.daniel@protonmail.com> |
Stability | experimental |
Safe Haskell | Safe |
Language | Haskell2010 |
Synopsis
- class IShow f where
Documentation
Show
for indexed type constructors (most importantly functors)
Instances
IShow IfThenElseF Source # | |
Defined in Data.Expression.IfThenElse | |
IShow ArrayF Source # | |
IShow ArithmeticF Source # | |
Defined in Data.Expression.Arithmetic | |
IShow NegationF Source # | |
IShow DisjunctionF Source # | |
Defined in Data.Expression | |
IShow ConjunctionF Source # | |
Defined in Data.Expression | |
IShow (EqualityF :: (k -> *) -> Sort -> *) Source # | |
IShow (VarF :: (k -> *) -> Sort -> *) Source # | |
IShow (ExistentialF v :: (Sort -> *) -> Sort -> *) Source # | |
Defined in Data.Expression | |
IShow (UniversalF v :: (Sort -> *) -> Sort -> *) Source # | |
Defined in Data.Expression | |
(IShow f, IShow g) => IShow (f :+: g :: (k1 -> *) -> k2 -> *) Source # | |