hermit-0.5.0.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.