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 :: k) :: * #
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 where ... #
Doc for: type family Bar b
Equations
type family (a :: k) <> (b :: k) :: k #
class (a :: k) >< (b :: k) #