hermit-0.1.2.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone

Language.HERMIT.Primitive.Navigation

Contents

Synopsis

Navigation

externals :: [External]Source

Externals involving navigating to named entities.

bindGroup :: Name -> Core -> BoolSource

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

namedBinding :: Name -> Core -> BoolSource

Verify that this is the definition of the given name.

bindingGroupOf :: Name -> TranslateH Core PathSource

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

considerName :: Name -> TranslateH Core PathSource

Find the path to the definiiton of the provided name.

rhsOf :: Name -> TranslateH Core PathSource

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

considerables :: [(String, Considerable)]Source

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

considerTargets :: TranslateH Core [String]Source

Find all the possible targets of "consider".