core-0.3: External core parser and pretty printer.

Language.Core.Syntax

Documentation

data Module Source

Constructors

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

Instances

Eq Module
Read Module
Show Module

data Tdef Source

Constructors

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

Instances

Eq Tdef
Read Tdef
Show Tdef

data Cdef Source

Constructors

Constr (Qual Dcon) [Tbind] [Ty]
GadtConstr (Qual Dcon) Ty

Instances

Eq Cdef
Read Cdef
Show Cdef

data Vdefg Source

Constructors

Rec [Vdef]
Nonrec Vdef

Instances

Eq Vdefg
Read Vdefg
Show Vdefg

data Vdef Source

Constructors

Vdef
Fields vdefLocal :: Bool vdefName :: Qual Var vdefType :: Ty vdefExp :: Exp

Instances

Eq Vdef
Read Vdef
Show Vdef

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

Eq Exp
Read Exp
Show Exp

data Bind Source

Constructors

Vb Vbind
Tb Tbind

Instances

Eq Bind
Read Bind
Show Bind

data Alt Source

Constructors

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

Instances

Eq Alt
Read Alt
Show Alt

type Vbind = (Qual Var, Ty)Source

type Tbind = (Tvar, Kind)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

Eq Ty
Read Ty
Show Ty

data Kind Source

Constructors

Klifted
Kunlifted
Kunboxed
Kopen
Karrow Kind Kind
Keq Ty Ty

Instances

Eq Kind
Read Kind
Show Kind

data Lit Source

Constructors

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

Instances

Eq Lit
Read Lit
Show Lit

type Pkgname = Id Source

type Mname = Id Source

type Var = Id Source

type Tvar = Id Source

type Tcon = Id Source

type Dcon = Id Source

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

type Id = ByteString Source