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

Safe HaskellNone
LanguageHaskell2010

HERMIT.Dictionary.Local.Cast

Contents

Synopsis

Rewrites on Case Expressions

externals :: [External] Source

Externals relating to Case expressions.

castElimReflR :: MonadCatch m => Rewrite c m CoreExpr Source

castElimSymR :: MonadCatch m => Rewrite c m CoreExpr Source

castFloatAppR :: MonadCatch m => Rewrite c m CoreExpr Source

castElimSymPlusR :: (ExtendPath c Crumb, AddBindings c, Monad m) => Rewrite c m CoreExpr Source