CoreSubst

Main data types

data Subst

type TvSubstEnv

data IdSubstEnv

data InScopeSet

Substituting into expressions and related types

deShadowBinds

substSpec

substRulesForImportedIds

substTy

substCo

substExpr

substExprSC

substBind

substBindSC

substUnfolding

substUnfoldingSC

lookupIdSubst

lookupTvSubst

lookupCvSubst

substIdOcc

substTickish

substVarSet

Operations on substitutions

emptySubst

mkEmptySubst

mkGblSubst

mkOpenSubst

substInScope

isEmptySubst

extendIdSubst

extendIdSubstList

extendTvSubst

extendTvSubstList

extendCvSubst

extendCvSubstList

extendSubst

extendSubstList

extendSubstWithVar

zapSubstEnv

addInScopeSet

extendInScope

extendInScopeList

extendInScopeIds

isInScope

setInScope

delBndr

delBndrs

Substituting and cloning binders

substBndr

substBndrs

substRecBndrs

cloneBndr

cloneBndrs

cloneIdBndr

cloneIdBndrs

cloneRecIdBndrs

Simple expression optimiser

simpleOptPgm

simpleOptExpr

simpleOptExprWith

exprIsConApp_maybe

exprIsLiteral_maybe

exprIsLambda_maybe