Documentation

data Module Source

data Tdef Source

data Cdef Source

data Vdefg Source

type Vdef = (Bool, Qual Var, Ty, Exp)Source

data Exp Source

data Bind Source

data Alt Source

type Vbind = (Var, Ty)Source

type Tbind = (Tvar, Kind)Source

data Ty Source

data Coercion Source

data Role Source

data LeftOrRight Source

data Kind Source

data Lit Source

type Mname = IdSource

type Var = IdSource

type Tvar = IdSource

type Tcon = IdSource

type Dcon = IdSource

type Qual t = (Mname, t)Source

type Id = StringSource

primMname :: MnameSource

tcArrow :: Qual TconSource