Safe Haskell | None |
---|
Language.HERMIT.Primitive.Local.Cast
Contents
- 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