Language.Core.Syntax

Documentation

data Module

Constructors

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

Instances

Eq Module

Read Module

Show Module

data Tdef

Constructors

Data (Qual Tcon) [Tbind] [Cdef]

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

Instances

Eq Tdef

Read Tdef

Show Tdef

data Cdef

Constructors

Constr (Qual Dcon) [Tbind] [Ty]

GadtConstr (Qual Dcon) Ty

Instances

Eq Cdef

Read Cdef

Show Cdef

data Vdefg

Constructors

Rec [Vdef]

Nonrec Vdef

Instances

Eq Vdefg

Read Vdefg

Show Vdefg

data Vdef

Constructors

Vdef

Fields

vdefLocal :: Bool

vdefName :: Qual Var

vdefType :: Ty

vdefExp :: Exp

Instances

Eq Vdef

Read Vdef

Show Vdef

data Exp

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

Constructors

Vb Vbind

Tb Tbind

Instances

Eq Bind

Read Bind

Show Bind

data Alt

Constructors

Acon (Qual Dcon) [Tbind] [Vbind] Exp

Alit Lit Exp

Adefault Exp

Instances

Eq Alt

Read Alt

Show Alt

type Vbind = (Qual Var, Ty)

type Tbind = (Tvar, Kind)

data Ty

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

Constructors

Klifted

Kunlifted

Kunboxed

Kopen

Karrow Kind Kind

Keq Ty Ty

Instances

Eq Kind

Read Kind

Show Kind

data Lit

Constructors

Lint Integer Ty

Lrational Rational Ty

Lchar Char Ty

Lstring String Ty

Instances

Eq Lit

Read Lit

Show Lit

type Pkgname = Id

type Mname = Id

type Var = Id

type Tvar = Id

type Tcon = Id

type Dcon = Id

type Qual t = (Pkgname, Mname, t)

type Id = ByteString