| Safe Haskell | Safe |
|---|
TypeFamilies
Description
Doc for: module TypeFamilies
Documentation
Doc for: data X
Instances
| XX >< XXX # | |
Defined in TypeFamilies | |
| Assoc X # | Doc for: instance Assoc X |
| Test X # | Doc for: instance Test X |
Defined in TypeFamilies | |
| type Foo X # | External instance |
Defined in TypeFamilies | |
| type XXX <> XX # | |
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 X <> (a :: *) # | |
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 :: *) # | |
Defined in TypeFamilies | |
Doc for: data Z
Doc for: class Test a
Instances
| Test Y # | Doc for: instance Test Y |
Defined in TypeFamilies | |
| Test X # | Doc for: instance Test X |
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
Associated Types
Doc for: data AssocD a
Doc for: type AssocT a