core-0.1: External core parser and pretty printer.

Language.Core.Syntax

Documentation

data Module Source

Constructors

Module (Pkgname, 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 
Note String Exp 
External String String Ty 
DynExternal String Ty 
Label String 

Instances

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

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 
LeftCoercion Ty 
RightCoercion Ty 

Instances

data Kind Source

Constructors

Klifted 
Kunlifted 
Kunboxed 
Kopen 
Karrow Kind Kind 
Keq Ty Ty 

Instances

data Lit Source

Constructors

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

Instances

type Pkgname = IdSource

type Mname = IdSource

type Var = IdSource

type Tvar = IdSource

type Tcon = IdSource

type Dcon = IdSource

type Qual t = (Pkgname, Mname, t)Source

type Id = ByteStringSource