Contents Index

Source.Exp

Documentation

type Tree = [Top]

data Top

Constructors PModule [Var] PTypeDecl Var Type PInfix InfixMode Int [Var] PImportExtern Var Type (Maybe Type) PImportModule [Var] PData Var [Var] [(Var, [DataField Exp Type])] PEffect Var PClassTC Var [Var] [(Var, [Var])] [([Var], Type)] PClassT Var PClassR Var PClassE Var PInstance Var [Type] [(Var, [Type])] [Stmt] PStmt Stmt Instances Data Top Eq Top Lint Top Pretty Top Rename Top Show Top Typeable Top

data InfixMode

Constructors InfixLeft InfixRight InfixNone InfixSuspend Instances Data InfixMode Eq InfixMode Pretty InfixMode Show InfixMode Typeable InfixMode

type FixDef = (Var, (Int, InfixMode))

type Ctor = (Var, [DataField Exp Type])

type DataDef = (Var, [Var], [Ctor])

data Exp

Constructors XNil XUnit XVoid XConst Const XVar Var XProj Exp Proj XLambda [Var] Exp XApp Exp Exp XCase SourcePos Exp [Alt] XLet [Stmt] Exp XDo [Stmt] XIfThenElse Exp Exp Exp XAppE Exp Exp [Effect] XCaseE Exp [Alt] [Effect] XAt Var Exp XAnnot [Annot] Exp XCaseL SourcePos [Alt] XProjF Proj XOp Var XDefix [Exp] XDefixApps [Exp] XTry SourcePos Exp [Alt] (Maybe Exp) XThrow SourcePos Exp XWhile SourcePos Exp Exp XWhen SourcePos Exp Exp XUnless SourcePos Exp Exp XAppSusp Exp Exp Instances Data Exp Eq Exp Lint Exp Pretty Exp Rename Exp Show Exp Typeable Exp Rename (DataField Exp Type)

data Proj

Constructors JField Var JFieldR Var Instances Data Proj Eq Proj Pretty Proj Rename Proj Show Proj Typeable Proj

data Annot

Constructors ATypeVar Var AEffectVar Var Instances Data Annot Eq Annot Pretty Annot Show Annot Typeable Annot

data Stmt

Constructors SStmt Exp SBind Var [Exp] Exp Instances Data Stmt Eq Stmt Lint Stmt Pretty Stmt Rename Stmt Show Stmt Typeable Stmt

type Alt = (Var, [Var], Exp)

data Constraint

Constructors CClosure Var Effect [Env] Instances Data Constraint Eq Constraint Show Constraint Typeable Constraint

Produced by Haddock version 0.7