| Safe Haskell | None |
|---|
HERMIT.Dictionary.Local.Cast
Contents
- externals :: [External]
- castElimReflR :: MonadCatch m => Rewrite c m CoreExpr
- castElimSymR :: MonadCatch m => Rewrite c m CoreExpr
- castFloatAppR :: MonadCatch m => Rewrite c m CoreExpr
- castElimSymPlusR :: (ExtendPath c Crumb, AddBindings c, Monad m) => Rewrite c m CoreExpr
Rewrites on Case Expressions
castElimReflR :: MonadCatch m => Rewrite c m CoreExprSource
castElimSymR :: MonadCatch m => Rewrite c m CoreExprSource
castFloatAppR :: MonadCatch m => Rewrite c m CoreExprSource
castElimSymPlusR :: (ExtendPath c Crumb, AddBindings c, Monad m) => Rewrite c m CoreExprSource