TypeFamilies
Description
Doc for: module TypeFamilies
Synopsis
data X
Doc for: data X
Constructors
Doc for: X
Doc for: XX
Doc for: XXX
Instances
Doc for: instance Assoc X
Associated Types
data AssocD X (a :: X) :: *
type AssocT X (a :: X) :: *
Doc for: instance Test X
Doc for: data instance Bat X
data Y
Doc for: data Y
Doc for: instance Assoc Y
data AssocD Y (a :: Y) :: *
type AssocT Y (a :: Y) :: *
Doc for: instance Test Y
Doc for: data instance Bat Y
data Z
Doc for: data Z
Doc for: data instance Bat Z
class Test a
Doc for: class Test a
type family Foo a :: k
Doc for: type family Foo a
data family Bat a :: *
Doc for: data family Bat a
class Assoc a
Doc for: class Assoc a
data AssocD a :: *
Doc for: data AssocD a
type AssocT a :: *
Doc for: type AssocT a
type family Bar b
Doc for: type family Bar b
Equations
type family a <> b :: k
class a >< b