Safe Haskell | None |
---|
- 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