data Point: Point2D(x, y) Point3D(x, y, z) # The meaning of the above is the same as the meaning of the following. # record Point # record Point2D(x, y) < Point # record Point3D(x, y, z) < Point p1 = Point2D(x=1, y=2) # => Point2D(x=1, y=2) p2 = Point2D...
Load and dump json-like data into typed data structures in Python3, enforcing a schema on the data. This module provides an API to load dictionaries and lists (usually loaded from json) into Python's NamedTuples, dataclass, sets, enums, and various other typed data structures; respecting ...