Safe Haskell | None |
---|---|
Language | Haskell2010 |
- externals :: [External]
- anyCallR :: forall c m. (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, HasEmptyContext c, MonadCatch m) => Rewrite c m Core -> Rewrite c m Core
- betweenR :: MonadCatch m => Int -> Int -> Rewrite c m a -> Rewrite c m a
KURE Strategies
anyCallR :: forall c m. (ExtendPath c Crumb, ReadPath c Crumb, AddBindings c, HasEmptyContext c, MonadCatch m) => Rewrite c m Core -> Rewrite c m Core Source
Top-down traversal tuned to matching function calls.