CoreSyn
data Expr b
type Alt b
data Bind b
data AltCon
type Arg b
data Tickish id
data TickishScoping
data TickishPlacement
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
constructionExpr
access functions and predicatesdata Unfolding
data UnfoldingGuidance
data UnfoldingSource
Unfolding
sUnfolding
type AnnExpr bndr annot
data AnnExpr' bndr annot
data AnnBind bndr annot
type AnnAlt bndr annot
data IsOrphan
data CoreRule
type RuleBase
type RuleName
type RuleFun
type IdUnfoldingFun
type InScopeEnv
data RuleEnv
CoreRule
sdata CoreVect