Safe Haskell | None |
---|
- externals :: [External]
- occurrenceOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => (Var -> Bool) -> Translate c m CoreTC LocalPathH
- bindingOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => (Var -> Bool) -> Translate c m CoreTC LocalPathH
- bindingGroupOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => (Var -> Bool) -> Translate c m CoreTC LocalPathH
- rhsOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => (Var -> Bool) -> Translate c m Core LocalPathH
- parentOfT :: MonadCatch m => Translate c m g LocalPathH -> Translate c m g LocalPathH
- occurrenceOfTargetsT :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Translate c m CoreTC VarSet
- bindingOfTargetsT :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Translate c m CoreTC VarSet
- bindingGroupOfTargetsT :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Translate c m CoreTC VarSet
- rhsOfTargetsT :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Translate c m CoreTC 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, MonadCatch m) => Considerable -> Translate c m Core LocalPathH
- nthArgPath :: Monad m => Int -> Translate c m CoreExpr LocalPathH
Navigation
occurrenceOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => (Var -> Bool) -> Translate c m CoreTC LocalPathHSource
Find the path to the first occurrence occurrence of a variable.
bindingOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => (Var -> Bool) -> Translate c m CoreTC LocalPathHSource
Find the path to the binding of a variable.
bindingGroupOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => (Var -> Bool) -> Translate c m CoreTC LocalPathHSource
Find the path to the binding group of a variable.
rhsOfT :: (AddBindings c, ExtendPath c Crumb, ReadPath c Crumb, MonadCatch m) => (Var -> Bool) -> Translate c m Core LocalPathHSource
Find the path to the RHS of a binding.
parentOfT :: MonadCatch m => Translate c m g LocalPathH -> Translate c m g LocalPathHSource
Discard the last crumb of a non-empty LocalPathH
.
occurrenceOfTargetsT :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Translate c m CoreTC VarSetSource
Find all possible targets of occurrenceOfT
.
bindingOfTargetsT :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Translate c m CoreTC VarSetSource
Find all possible targets of bindingOfT
.
bindingGroupOfTargetsT :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Translate c m CoreTC VarSetSource
Find all possible targets of bindingGroupOfT
.
rhsOfTargetsT :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => Translate c m CoreTC VarSetSource
Find all possible targets of rhsOfT
.
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 LocalPathHSource
Find the path to the first matching construct.
nthArgPath :: Monad m => Int -> Translate c m CoreExpr LocalPathHSource
Construct a path to the (n-1)th argument in a nested sequence of App
s.