Language.HERMIT.Primitive.Navigation

Navigation

externals :: [External]

Externals involving navigating to named entities.

bindGroup :: Name -> Core -> Bool

Verify that this is a binding group defining the given name.

namedBinding :: Name -> Core -> Bool

Verify that this is the definition of the given name.

bindingGroupOf :: Name -> TranslateH Core Path

Find the path to the RHS of the binding group of the given name.

considerName :: Name -> TranslateH Core Path

Find the path to the definiiton of the provided name.

rhsOf :: Name -> TranslateH Core Path

Find the path to the RHS of the definition of the given name.

considerTargets :: TranslateH Core [String]

Find the names of all the variables that could be targets of "consider".

data Considerable

Language constructs that can be zoomed to.

Constructors

Binding

Definition

CaseAlt

Variable

Literal

Application

Lambda

LetIn

CaseOf

Casty

Ticky

TypeVar

Coerce

considerables :: [(String, Considerable)]

Lookup table for constructs that can be considered; the keys are the arguments the user can give to the "consider" command.

considerConstructT :: Considerable -> TranslateH Core Path

Find the Path to the first matching construct.