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

Data.Expression.Utils.Indexed.Show

Description

Synopsis

class IShow f where
- ishow :: f (Const String) i -> Const String i

Documentation

class IShow f where Source #

Show for indexed type constructors (most importantly functors)

Methods

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

Instances

IShow IfThenElseF Source #
Instance details Defined in Data.Expression.IfThenElse Methods ishow :: IfThenElseF (Const String) i -> Const String i Source #
IShow ArrayF Source #
Instance details Defined in Data.Expression.Array Methods ishow :: ArrayF (Const String) i -> Const String i Source #
IShow ArithmeticF Source #
Instance details Defined in Data.Expression.Arithmetic Methods ishow :: ArithmeticF (Const String) i -> Const String i Source #
IShow NegationF Source #
Instance details Defined in Data.Expression Methods ishow :: NegationF (Const String) i -> Const String i Source #
IShow DisjunctionF Source #
Instance details Defined in Data.Expression Methods ishow :: DisjunctionF (Const String) i -> Const String i Source #
IShow ConjunctionF Source #
Instance details Defined in Data.Expression Methods ishow :: ConjunctionF (Const String) i -> Const String i Source #
IShow (EqualityF :: (k -> Type) -> Sort -> Type) Source #
Instance details Defined in Data.Expression.Equality Methods ishow :: EqualityF (Const String) i -> Const String i Source #
IShow (VarF :: (k -> Type) -> Sort -> Type) Source #
Instance details Defined in Data.Expression Methods ishow :: VarF (Const String) i -> Const String i Source #
IShow (ExistentialF v :: (Sort -> Type) -> Sort -> Type) Source #
Instance details Defined in Data.Expression Methods ishow :: ExistentialF v (Const String) i -> Const String i Source #
IShow (UniversalF v :: (Sort -> Type) -> Sort -> Type) Source #
Instance details Defined in Data.Expression Methods ishow :: UniversalF v (Const String) i -> Const String i Source #
(IShow f, IShow g) => IShow (f :+: g :: (k1 -> Type) -> k2 -> Type) Source #
Instance details Defined in Data.Expression.Utils.Indexed.Sum Methods ishow :: (f :+: g) (Const String) i -> Const String i Source #