Searched refs:NaturalOdd (Results 1 – 8 of 8) sorted by relevance
227 App NaturalOdd (NaturalLit n) -> pure (BoolLit (odd n))438 NaturalOdd -> pure NaturalOdd744 App NaturalOdd (NaturalLit _) -> False806 NaturalOdd -> True
1167 diffPrimitiveExpression NaturalOdd NaturalOdd =1169 diffPrimitiveExpression l@NaturalOdd r =1171 diffPrimitiveExpression l r@NaturalOdd =
496 | NaturalOdd constructor797 unsafeSubExpressions _ NaturalOdd = pure NaturalOdd
187 | sb == "Natural/odd" -> return NaturalOdd636 NaturalOdd ->
519 NaturalOdd -> VPrim $ \case1103 NaturalOdd `qApp` t1287 NaturalOdd ->1288 NaturalOdd
469 NaturalOdd ->
552 , NaturalOdd <$ _NaturalOdd
1280 prettyPrimitiveExpression NaturalOdd =