CoreSyn
data Expr b
type Alt b
data Bind b
data AltCon
type Arg b
data Tickish id
type CoreProgram
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
Expr
access functions and predicates
data Unfolding
data UnfoldingGuidance
data UnfoldingSource
Unfolding
s
Unfolding
type AnnExpr bndr annot
data AnnExpr' bndr annot
data AnnBind bndr annot
type AnnAlt bndr annot
data CoreRule
type RuleName
type IdUnfoldingFun
CoreRule
s
data CoreVect