ghc-7.8.20140130: The GHC API

Safe Haskell	Safe-Inferred
Language	Haskell98

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

Constructors

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

Instances

data Role Source

Constructors

Nominal
Representational
Phantom

data LeftOrRight Source

Constructors

CLeft
CRight

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 [Word8] Ty

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

type Id = String Source

primMname :: Mname Source

tcArrow :: Qual Tcon Source