Language.Hakaru.Syntax.IClasses

Showing indexed types

class Show1 a

class Show2 a

Some more-generic helper functions for showing things

some helpers for implementing the instances

Equality

class Eq1 a

class Eq2 a

class JmEq1 a

class JmEq2 a

Generalized abstract nonsense

class Functor11 f

data Fix11 f i

class Functor12 f

class Functor21 f

class Functor22 f

class Foldable11 f

data Lift1 a i

class Foldable12 f

class Foldable21 f

data Lift2 a i j

class Foldable22 f

class Traversable11 t

class Traversable12 t

class Traversable21 t

class Traversable22 t

Helper types

data Some1 a

data Some2 a

data Pair1 a b i

data Pair2 a b i j

List types

type family (xs :: [k]) ++ (ys :: [k]) :: [k] where ...

eqAppendIdentity

data List1

data DList1 a xs