core-0.4: External core parser and pretty printer.

Language.Core.Syntax

Documentation

data Module Source

Constructors

Module (Pkgname, Mname) [Tdef] [Vdefg] 

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

data Vdef Source

Constructors

Vdef 

Instances

data Alt Source

Constructors

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

Instances

type Var = IdSource

type Tvar = IdSource

type Tcon = IdSource

type Dcon = IdSource

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