HERMIT.Context

HERMIT Contexts

Path Synonyms

type AbsolutePathH

type LocalPathH

The Standard Context

data HermitC

topLevelHermitC

Bindings

data HermitBindingSite

type BindingDepth

data HermitBinding

hbDepth

hbSite

hbPath

hermitBindingSiteExpr

hermitBindingSummary

hermitBindingExpr

Adding bindings to contexts

class AddBindings c

addBindingGroup

addDefBinding

addDefBindingsExcept

addLambdaBinding

addAltBindings

addCaseBinderBinding

addForallBinding

Reading bindings from the context

class BoundVars c

boundIn

findBoundVars

class ReadBindings c

lookupHermitBinding

lookupHermitBindingDepth

lookupHermitBindingSite

Accessing GHC rewrite rules from the context

class HasCoreRules c

An empty Context

class HasEmptyContext c