ConstrainedFloat schema: differences between IEEE floats and json

changes/1417-vdwees.md

@@ -0,0 +1,4 @@
+
+Modify schema constraints on ConstrainedFloat so that exclusiveMinimum and
+minimum are not included in the schema if they are equal to `-math.inf` and
+exclusiveMaximum and maximum are not included if they are equal to `math.inf.

pydantic/schema.py

@@ -234,6 +234,9 @@ def get_field_schema_validations(field: ModelField) -> Dict[str, Any]:
         f_schema['const'] = field.default
     if field.field_info.extra:
         f_schema.update(field.field_info.extra)
+    modify_schema = getattr(field.outer_type_, '__modify_schema__', None)
+    if modify_schema:
+        modify_schema(f_schema)
     return f_schema
 
 

pydantic/types.py

@@ -1,3 +1,4 @@
+import math
 import re
 import warnings
 from decimal import Decimal
@@ -339,13 +340,33 @@ def __modify_schema__(cls, field_schema: Dict[str, Any]) -> None:
             maximum=cls.le,
             multipleOf=cls.multiple_of,
         )
+        cls._schema_ieee_compatibility_transform(field_schema)
 
     @classmethod
     def __get_validators__(cls) -> 'CallableGenerator':
         yield strict_float_validator if cls.strict else float_validator
         yield number_size_validator
         yield number_multiple_validator
 
+    @classmethod
+    def _schema_ieee_compatibility_transform(cls, field_schema: Dict[Any, Any]) -> None:
+        """Modify constraints to account for differences between IEEE floats and json
+
+        Transformations applied:
+        - remove field exclusiveMinimum if it is equal to `-math.inf`
+        - remove field minimum if it is equal to `-math.inf`
+        - remove field exclusiveMaximum if it is equal to `math.inf`
+        - remove field maximum if it is equal to `math.inf`
+        """
+        if field_schema.get('exclusiveMinimum') == -math.inf:
+            del field_schema['exclusiveMinimum']
+        if field_schema.get('minimum') == -math.inf:
+            del field_schema['minimum']
+        if field_schema.get('exclusiveMaximum') == math.inf:
+            del field_schema['exclusiveMaximum']
+        if field_schema.get('maximum') == math.inf:
+            del field_schema['maximum']
+
 
 def confloat(
     *,

tests/test_schema.py

@@ -1,3 +1,4 @@
+import math
 import os
 import sys
 import tempfile
@@ -1119,6 +1120,10 @@ class UserModel(BaseModel):
         ({'lt': 5}, float, {'type': 'number', 'exclusiveMaximum': 5}),
         ({'ge': 2}, float, {'type': 'number', 'minimum': 2}),
         ({'le': 5}, float, {'type': 'number', 'maximum': 5}),
+        ({'gt': -math.inf}, float, {'type': 'number'}),
+        ({'lt': math.inf}, float, {'type': 'number'}),
+        ({'ge': -math.inf}, float, {'type': 'number'}),
+        ({'le': math.inf}, float, {'type': 'number'}),
         ({'multiple_of': 5}, float, {'type': 'number', 'multipleOf': 5}),
         ({'gt': 2}, Decimal, {'type': 'number', 'exclusiveMinimum': 2}),
         ({'lt': 5}, Decimal, {'type': 'number', 'exclusiveMaximum': 5}),