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 |
- class IShow f where
Documentation
Show
for indexed type constructors (most importantly functors)
IShow Sort Sort IfThenElseF Source # | |
IShow Sort Sort ArrayF Source # | |
IShow Sort Sort ArithmeticF Source # | |
IShow Sort Sort NegationF Source # | |
IShow Sort Sort DisjunctionF Source # | |
IShow Sort Sort ConjunctionF Source # | |
IShow k Sort (EqualityF k) Source # | |
IShow k Sort (VarF (k -> *)) Source # | |
IShow Sort Sort (ExistentialF v) Source # | |
IShow Sort Sort (UniversalF v) Source # | |
(IShow k1 k2 f, IShow k1 k2 g) => IShow k1 k2 ((:+:) (k1 -> *) k2 f g) Source # | |