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

Documentation

class IShow f where Source #

Show for indexed type constructors (most importantly functors)

Minimal complete definition

Methods

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 #
Methods ishow :: f (Const k String) i -> Const DisjunctionF String i Source #
IShow Sort Sort ConjunctionF Source #
Methods ishow :: f (Const k String) i -> Const ConjunctionF String i 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 #