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

Safe HaskellNone
LanguageHaskell2010

HERMIT.Dictionary.New

Synopsis

Documentation

isVar :: (ExtendPath c Crumb, AddBindings c, MonadCatch m) => String -> Transform c m CoreExpr () Source

Test if the current expression is an identifier matching the given name.

nonRecIntro :: String -> CoreString -> RewriteH Core Source

prog ==> ProgCons (v = e) prog