| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HERMIT.Dictionary.Navigation
Contents
- externals :: [External]
- occurrenceOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, HasEmptyContext c, MonadCatch m) => (Var -> Bool) -> Transform c m LCoreTC LocalPathH
- bindingOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, HasEmptyContext c, MonadCatch m) => (Var -> Bool) -> Transform c m LCoreTC LocalPathH
- bindingGroupOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, HasEmptyContext c, MonadCatch m) => (Var -> Bool) -> Transform c m LCoreTC LocalPathH
- rhsOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, HasEmptyContext c, MonadCatch m) => (Var -> Bool) -> Transform c m LCoreTC LocalPathH
- parentOfT :: MonadCatch m => Transform c m g LocalPathH -> Transform c m g LocalPathH
- occurrenceOfTargetsT :: (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, HasEmptyContext c, MonadCatch m) => Transform c m LCoreTC VarSet
- bindingOfTargetsT :: (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, HasEmptyContext c, MonadCatch m) => Transform c m LCoreTC VarSet
- bindingGroupOfTargetsT :: (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, HasEmptyContext c, MonadCatch m) => Transform c m LCoreTC VarSet
- rhsOfTargetsT :: (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, HasEmptyContext c, MonadCatch m) => Transform c m LCoreTC VarSet
- data Considerable
- = Binding
- | Definition
- | CaseAlt
- | Variable
- | Literal
- | Application
- | Lambda
- | LetExpr
- | CaseOf
- | Casty
- | Ticky
- | TypeExpr
- | CoercionExpr
- considerables :: [(String, Considerable)]
- considerConstructT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, HasEmptyContext c, MonadCatch m) => Considerable -> Transform c m LCore LocalPathH
- nthArgPath :: Monad m => Int -> Transform c m CoreExpr LocalPathH
- string2considerable :: String -> Maybe Considerable
Navigation
occurrenceOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, HasEmptyContext c, MonadCatch m) => (Var -> Bool) -> Transform c m LCoreTC LocalPathH Source
Find the path to the first occurrence of a variable.
bindingOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, HasEmptyContext c, MonadCatch m) => (Var -> Bool) -> Transform c m LCoreTC LocalPathH Source
Find the path to the binding of a variable.
bindingGroupOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, HasEmptyContext c, MonadCatch m) => (Var -> Bool) -> Transform c m LCoreTC LocalPathH Source
Find the path to the binding group of a variable.
rhsOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, HasEmptyContext c, MonadCatch m) => (Var -> Bool) -> Transform c m LCoreTC LocalPathH Source
Find the path to the RHS of a binding.
parentOfT :: MonadCatch m => Transform c m g LocalPathH -> Transform c m g LocalPathH Source
Discard the last crumb of a non-empty LocalPathH.
occurrenceOfTargetsT :: (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, HasEmptyContext c, MonadCatch m) => Transform c m LCoreTC VarSet Source
Find all possible targets of occurrenceOfT.
bindingOfTargetsT :: (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, HasEmptyContext c, MonadCatch m) => Transform c m LCoreTC VarSet Source
Find all possible targets of bindingOfT.
bindingGroupOfTargetsT :: (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, HasEmptyContext c, MonadCatch m) => Transform c m LCoreTC VarSet Source
Find all possible targets of bindingGroupOfT.
rhsOfTargetsT :: (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, HasEmptyContext c, MonadCatch m) => Transform c m LCoreTC VarSet Source
Find all possible targets of rhsOfT.
data Considerable Source
Language constructs that can be zoomed to.
Constructors
| Binding | |
| Definition | |
| CaseAlt | |
| Variable | |
| Literal | |
| Application | |
| Lambda | |
| LetExpr | |
| CaseOf | |
| Casty | |
| Ticky | |
| TypeExpr | |
| CoercionExpr |
Instances
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, HasEmptyContext c, MonadCatch m) => Considerable -> Transform c m LCore LocalPathH Source
Find the path to the first matching construct.
nthArgPath :: Monad m => Int -> Transform c m CoreExpr LocalPathH Source
Construct a path to the (n-1)th argument in a nested sequence of Apps.