diff --git a/src/felis/constrained/float.py b/src/felis/constrained/float.py index 195dbdc..7acf538 100644 --- 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)