HERMIT.Dictionary.Common

Utility Transformations

applyInContextT

Finding function calls.

callT

callPredT

callNameT

callSaturatedT

callNameG

callDataConT

callDataConNameT

callsR

callsT

Collecting variable bindings

progConsIdsT

progConsRecIdsT

progConsNonRecIdT

nonRecVarT

recIdsT

lamVarT

letVarsT

letRecIdsT

letNonRecVarT

caseVarsT

caseBinderIdT

caseAltVarsT

Finding variables bound in the Context

boundVarsT

findBoundVarT

findIdT

findVarT

findTyConT

findTypeT

varBindingDepthT

varIsOccurrenceOfT

exprIsOccurrenceOfT

inScope

withVarsInScope

wrongExprForm