ghc-7.6.1: The GHC API

Safe HaskellSafe-Inferred

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

Constructors

Var (Qual Var) 
Dcon (Qual Dcon) 
Lit Lit 
App Exp Exp 
Appt Exp Ty 
Lam Bind Exp 
Let Vdefg Exp 
Case Exp Vbind Ty [Alt] 
Cast Exp Ty 
Tick String Exp 
External String String Ty 
DynExternal String Ty 
Label String 

Instances

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 
TransCoercion Ty Ty 
SymCoercion Ty 
UnsafeCoercion Ty Ty 
InstCoercion Ty Ty 
NthCoercion Int Ty 

Instances

data Kind Source

Constructors

Klifted 
Kunlifted 
Kunboxed 
Kopen 
Karrow Kind Kind 

Instances

data Lit Source

Constructors

Lint Integer Ty 
Lrational Rational Ty 
Lchar Char Ty 
Lstring String Ty 

Instances

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