hermit-0.1.8.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone

Language.HERMIT.Primitive.Local.Cast

Contents

Synopsis

Rewrites on Case Expressions

externals :: [External]Source

Externals relating to Case expressions.

castElimRefl :: RewriteH CoreExprSource

castElimSym :: RewriteH CoreExprSource

castFloatApp :: RewriteH CoreExprSource

castElimSymPlus :: RewriteH CoreExprSource