ghc-7.8.2: The GHC API

Safe HaskellSafe-Inferred
LanguageHaskell98

ExternalCore

Documentation

data Module Source

Constructors

Module Mname [Tdef] [Vdefg] 

Instances

data Tdef Source

Constructors

Data (Qual Tcon) [Tbind] [Cdef] 
Newtype (Qual Tcon) (Qual Tcon) [Tbind] Ty 

Instances

data Cdef Source

Constructors

Constr (Qual Dcon) [Tbind] [Ty] 
GadtConstr (Qual Dcon) Ty 

Instances

data Vdefg Source

Constructors

Rec [Vdef] 
Nonrec Vdef 

Instances

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

data Bind Source

Constructors

Vb Vbind 
Tb Tbind 

data Alt Source

Constructors

Acon (Qual Dcon) [Tbind] [Vbind] Exp 
Alit Lit Exp 
Adefault Exp 

Instances

type Vbind = (Var, Ty) Source

type Tbind = (Tvar, Kind) Source

data Ty Source

Constructors

Tvar Tvar 
Tcon (Qual Tcon) 
Tapp Ty Ty 
Tforall Tbind Ty 

Instances

data LeftOrRight Source

Constructors

CLeft 
CRight 

data Kind Source

Instances

type Mname = Id Source

type Var = Id Source

type Tvar = Id Source

type Tcon = Id Source

type Dcon = Id Source

type Qual t = (Mname, t) Source