Safe Haskell | Safe-Inferred |
---|
Documentation
condUnsigned :: Cond -> BoolSource
condToSigned :: Cond -> CondSource
condToUnsigned :: Cond -> CondSource
maybeFlipCond :: Cond -> Maybe CondSource
maybeFlipCond c
returns Just c'
if it is possible to flip the
arguments to the conditional c
, and the new condition should be c'
.