Safe Haskell | None |
---|
- externals :: [External]
- bindGroup :: Name -> Core -> Bool
- namedBinding :: Name -> Core -> Bool
- bindingGroupOf :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => Name -> Translate c m Core PathH
- considerName :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => Name -> Translate c m Core PathH
- rhsOf :: (ExtendPath c Crumb, AddBindings c, ReadPath c Crumb, MonadCatch m) => Name -> Translate c m Core PathH
- considerTargets :: forall c m. (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Translate c m Core [String]
- data Considerable
- considerables :: [(String, Considerable)]
- considerConstructT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => Considerable -> Translate c m Core PathH
- nthArgPath :: Monad m => Int -> Translate c m CoreExpr PathH
Navigation
namedBinding :: Name -> Core -> BoolSource
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 PathHSource
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 PathHSource
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 PathHSource
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]Source
Find the names of all the variables that could be targets of "consider".
data Considerable Source
Language constructs that can be zoomed to.
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.
considerConstructT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => Considerable -> Translate c m Core PathHSource
Find the path to the first matching construct.