Add felis.constrained.float.portion

LeeeeT · Jun 11, 2024 · bd3c539 · bd3c539
1 parent d176f69
commit bd3c539
Showing 1 changed file with 19 additions and 1 deletion.
diff --git a/src/felis/constrained/float.py b/src/felis/constrained/float.py
@@ -3,7 +3,20 @@
 import felis.predicate.float
 from felis.constrained import smart_constructor
 
-__all__ = ["Negative", "negative", "NonPositive", "non_positive", "NonZero", "non_zero", "NonNegative", "non_negative", "Positive", "positive"]
+__all__ = [
+    "Negative",
+    "negative",
+    "NonPositive",
+    "non_positive",
+    "NonZero",
+    "non_zero",
+    "NonNegative",
+    "non_negative",
+    "Positive",
+    "positive",
+    "Portion",
+    "portion",
+]
 
 
 Negative = NewType("Negative", float)
@@ -29,3 +42,8 @@
 Positive = NewType("Positive", float)
 
 positive = smart_constructor(Positive)(felis.predicate.float.positive)
+
+
+Portion = NewType("Portion", float)
+
+portion = smart_constructor(Portion)(felis.predicate.float.portion)