Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Defines simplification functions for PrimExp
s.
Synopsis
- simplifyPrimExp :: SimplifiableRep rep => PrimExp VName -> SimpleM rep (PrimExp VName)
- simplifyExtPrimExp :: SimplifiableRep rep => PrimExp (Ext VName) -> SimpleM rep (PrimExp (Ext VName))
Documentation
simplifyPrimExp :: SimplifiableRep rep => PrimExp VName -> SimpleM rep (PrimExp VName) Source #
simplifyExtPrimExp :: SimplifiableRep rep => PrimExp (Ext VName) -> SimpleM rep (PrimExp (Ext VName)) Source #
Like simplifyPrimExp
, but where leaves may be Ext
s.