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
Unfoldings
Unfolding
type AnnExpr bndr annot
data AnnExpr' bndr annot
data AnnBind bndr annot
type AnnAlt bndr annot
data CoreRule
type RuleName
type IdUnfoldingFun
CoreRules
data CoreVect