| ||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||
| 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 |