ContentsIndex
TypeFamilies
Synopsis
type family G a :: *
class A a where
data B a :: * -> *
f :: B a Int
type family F a
Documentation
type family G a :: *
Type family G
class A a where
A class with an associated type
Associated Types
data B a :: * -> *
An associated type
Methods
f :: B a Int
A method
show/hide Instances
type family F a
Doc for family
Produced by Haddock version 2.6.0