hermit-0.7.1.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone
LanguageHaskell2010

HERMIT.Dictionary.Kure

Contents

Synopsis

KURE Strategies

externals :: [External] Source

  • - This list contains reflections of the KURE strategies as Externals.

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.

betweenR :: MonadCatch m => Int -> Int -> Rewrite c m a -> Rewrite c m a Source

betweenR x y rr -> perform rr at least x times and at most y times.