Safe Haskell | None |
---|
- externals :: [External]
- bindGroup :: Name -> Core -> Bool
- namedBinding :: Name -> Core -> Bool
- bindingGroupOf :: Name -> TranslateH Core Path
- considerName :: Name -> TranslateH Core Path
- rhsOf :: Name -> TranslateH Core Path
- considerables :: [(String, Considerable)]
- considerTargets :: TranslateH Core [String]
Navigation
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".