add NonPositive/NonNegative Int/Float (#1987)

fix #1975

* add NonPositive/NonNegative Int/Float

* delete data.json file
This commit is contained in:
Matthew Davis
2020-11-30 03:07:51 +11:00
committed by GitHub
parent 31bc2435d7
commit 9cb7ca744b
7 changed files with 117 additions and 16 deletions
+1
View File
@@ -0,0 +1 @@
Add `NonNegativeInt`, `NonPositiveInt`, `NonNegativeFloat`, `NonPositiveFloat`