extcore-0.9.2: Libraries for processing GHC Core

Language.Core.Core

Documentation

data Tdef Source

Constructors

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

data Cdef Source

Constructors

Constr (Qual Dcon) [Tbind] [Ty] 

data Vdefg Source

Constructors

Rec [Vdef] 
Nonrec Vdef 

newtype Vdef Source

Constructors

Vdef (Qual Var, Ty, Exp) 

data Bind Source

Constructors

Vb Vbind 
Tb Tbind 

Instances

data Alt Source

Constructors

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

Instances

type Vbind = (Var, Ty)Source

data CoercionKind Source

Constructors

DefinedCoercion [Tbind] (Ty, Ty) 

Instances

data Lit Source

Constructors

Literal CoreLit Ty 

Instances

newtype AnMname Source

Constructors

M (Pname, [Id], Id) 

newtype Pname Source

Constructors

P Id 

type Var = IdSource

type Tvar = IdSource

type Tcon = IdSource

type Dcon = IdSource

type Qual t = (Mname, t)Source

qual :: AnMname -> t -> Qual tSource

unqual :: t -> Qual tSource

tArrow :: Ty -> Ty -> TySource

utuple :: [Ty] -> [Exp] -> ExpSource