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 :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => Name -> Translate c m Core PathH

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

considerName :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => Name -> Translate c m Core PathH

Find the path to the definiiton of the provided name.

rhsOf :: (ExtendPath c Crumb, AddBindings c, ReadPath c Crumb, MonadCatch m) => Name -> Translate c m Core PathH

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

considerTargets :: forall c m. (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Translate c m 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 :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => Considerable -> Translate c m Core PathH

Find the path to the first matching construct.

nthArgPath :: Monad m => Int -> Translate c m CoreExpr PathH

Construct a path to the (n-1)th argument in a nested sequence of Apps.