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