Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Doc for: module TypeFamilies
Documentation
Doc for: data X
Instances
Assoc X # | Doc for: instance Assoc X |
Test X # | Doc for: instance Test X |
Defined in TypeFamilies | |
'XX >< 'XXX # | |
Defined in TypeFamilies | |
type Foo X # | External instance |
Defined in TypeFamilies | |
data AssocD X # | |
Defined in TypeFamilies | |
type AssocT X # | |
data Bat X # | Doc for: data instance Bat X |
type Foo X # | Doc for: type instance Foo X = Y |
Defined in TypeFamilies | |
type 'XXX <> 'XX # | |
Defined in TypeFamilies | |
type X <> (a :: Type) # | |
Defined in TypeFamilies |
Doc for: data Y
Instances
Assoc Y # | Doc for: instance Assoc Y |
Test Y # | Doc for: instance Test Y |
Defined in TypeFamilies | |
data Bar Y # | |
Defined in TypeFamilies | |
data AssocD Y # | |
Defined in TypeFamilies | |
type AssocT Y # | |
Defined in TypeFamilies | |
data Bat Y # | Doc for: data instance Bat Y |
Defined in TypeFamilies | |
type Foo Y # | Doc for: type instance Foo Y = X |
Defined in TypeFamilies | |
type Y <> (a :: Type) # | |
Defined in TypeFamilies |
Doc for: data Z
Doc for: class Test a
Instances
Test X # | Doc for: instance Test X |
Defined in TypeFamilies | |
Test Y # | Doc for: instance Test Y |
Defined in TypeFamilies |
Doc for: type family Foo a
data family Bat (a :: k) :: * #
Doc for: data family Bat a
Doc for: class Assoc a