CoreSyn

Main data types

data Expr b
type Alt b
data Bind b
data AltCon
type Arg b
data Note
type CoreExpr
type CoreAlt
type CoreBind
type CoreArg
type CoreBndr
type TaggedExpr t
type TaggedAlt t
type TaggedBind t
type TaggedArg t
data TaggedBndr t

Expr construction

Simple Expr access functions and predicates

Unfolding data types

data Unfolding

Constructing Unfoldings

Predicates and deconstruction on Unfolding

Strictness

Annotated expression data types

type AnnExpr bndr annot
data AnnExpr' bndr annot
data AnnBind bndr annot
type AnnAlt bndr annot

Operations on annotations

Core rule data types

data CoreRule
type RuleName

Operations on CoreRules