Safe Haskell	Safe-Inferred

TypeFamilies

Description

Doc for: module TypeFamilies

Synopsis

Documentation

data X

Doc for: data X

Constructors

X	Doc for: X
XX	Doc for: XX
XXX	Doc for: XXX

Instances

Assoc X	Doc for: instance Assoc X
Test X	Doc for: instance Test X
data AssocD X = AssocX
type AssocT X = Foo X
data Bat X = BatX X \| BatXX { aaa :: X bbb :: Y }	Doc for: data instance Bat X
type Foo X = Y	Doc for: type instance Foo X = Y

data Y

Doc for: data Y

Instances

Assoc Y	Doc for: instance Assoc Y
Test Y	Doc for: instance Test Y
data AssocD Y = AssocY
type AssocT Y = Bat Y
data Bat Y = BatY Y \| X :+ X	Doc for: data instance Bat Y
type Foo Y = X	Doc for: type instance Foo Y = X

class Test a

Doc for: class Test a

Instances

Test Y	Doc for: instance Test Y
Test X	Doc for: instance Test X

type family Foo a

Doc for: type family Foo a

Instances

type Foo Y = X	Doc for: type instance Foo Y = X
type Foo X = Y	Doc for: type instance Foo X = Y

data family Bat a :: *

Doc for: data family Bat a

Instances

data Bat Y = BatY Y \| X :+ X	Doc for: data instance Bat Y
data Bat X = BatX X \| BatXX { aaa :: X bbb :: Y }	Doc for: data instance Bat X

class Assoc a

Doc for: class Assoc a

Associated Types

data AssocD a :: *

Doc for: data AssocD a

type AssocT a :: *

Doc for: type AssocT a

Instances

Assoc Y	Doc for: instance Assoc Y
Assoc X	Doc for: instance Assoc X

type family Bar b

Doc for: type family Bar b

Equations

Bar X = X
Bar y = Y