Searched refs:IntegerNegate (Results 1 – 9 of 9) sorted by relevance
298 IntegerNegate (Value av, int expandOk) in IntegerNegate() function429 IntegerNegate,
246 App IntegerNegate (IntegerLit n) ->459 IntegerNegate -> pure IntegerNegate751 App IntegerNegate (IntegerLit _) -> False827 IntegerNegate -> True
1203 diffPrimitiveExpression IntegerNegate IntegerNegate =1205 diffPrimitiveExpression l@IntegerNegate r =1207 diffPrimitiveExpression l r@IntegerNegate =
514 | IntegerNegate constructor806 unsafeSubExpressions _ IntegerNegate = pure IntegerNegate
197 14 | sb == "Integer/negate" -> return IntegerNegate654 IntegerNegate ->
567 IntegerNegate ->1121 IntegerNegate `qApp` t1305 IntegerNegate ->1306 IntegerNegate
520 IntegerNegate ->
563 , IntegerNegate <$ _IntegerNegate
1292 prettyPrimitiveExpression IntegerNegate =