|
|
|
|
|
Documentation |
|
data Module |
Constructors | | Instances | |
|
|
data Tdef |
Constructors | | Instances | |
|
|
data Cdef |
Constructors | | Instances | |
|
|
data Vdefg |
Constructors | | Instances | |
|
|
type Vdef = (Bool, Qual Var, Ty, Exp) |
|
data Exp |
Constructors | | Instances | |
|
|
data Bind |
|
|
data Alt |
Constructors | | Instances | |
|
|
type Vbind = (Var, Ty) |
|
type Tbind = (Tvar, Kind) |
|
data Ty |
Constructors | | Instances | |
|
|
data Kind |
Constructors | | Instances | |
|
|
data Lit |
Constructors | | Instances | |
|
|
type Mname = Id |
|
type Var = Id |
|
type Tvar = Id |
|
type Tcon = Id |
|
type Dcon = Id |
|
type Qual t = (Mname, t) |
|
type Id = String |
|
primMname :: Mname |
|
tcArrow :: Qual Tcon |
|
Produced by Haddock version 2.3.0 |