| ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
Documentation | ||||||||||||||||||||||||||||
data Module | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
data Tdef | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
data Cdef | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
data Vdefg | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
type Vdef = (Bool, Qual Var, Ty, Exp) | ||||||||||||||||||||||||||||
data Exp | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
data Bind | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
data Alt | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
type Vbind = (Var, Ty) | ||||||||||||||||||||||||||||
type Tbind = (Tvar, Kind) | ||||||||||||||||||||||||||||
data Ty | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
data Kind | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
data Lit | ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
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.6.0 |