Safe Haskell | None |
---|
- externals :: [External]
- castElimRefl :: MonadCatch m => Rewrite c m CoreExpr
- castElimSym :: MonadCatch m => Rewrite c m CoreExpr
- castFloatApp :: MonadCatch m => Rewrite c m CoreExpr
- castElimSymPlus :: (ExtendPath c Crumb, AddBindings c, Monad m) => Rewrite c m CoreExpr
Rewrites on Case Expressions
castElimRefl :: MonadCatch m => Rewrite c m CoreExprSource
castElimSym :: MonadCatch m => Rewrite c m CoreExprSource
castFloatApp :: MonadCatch m => Rewrite c m CoreExprSource
castElimSymPlus :: (ExtendPath c Crumb, AddBindings c, Monad m) => Rewrite c m CoreExprSource