Safe Haskell | None |
---|---|
Language | Haskell2010 |
- externals :: [External]
- castElimReflR :: MonadCatch m => Rewrite c m CoreExpr
- castElimSymR :: MonadCatch m => Rewrite c m CoreExpr
- castFloatAppR :: MonadCatch m => Rewrite c m CoreExpr
- castFloatLamR :: 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 CoreExpr Source
castElimSymR :: MonadCatch m => Rewrite c m CoreExpr Source
castFloatAppR :: MonadCatch m => Rewrite c m CoreExpr Source
castFloatLamR :: MonadCatch m => Rewrite c m CoreExpr Source
castElimSymPlusR :: (ExtendPath c Crumb, AddBindings c, Monad m) => Rewrite c m CoreExpr Source