Datatype

class Datatype(datatype_class: TDatatype | None = None)

Bases: ClosedTerm

Abstract base class for datatypes.

Parameters:

datatype_class – Datatype class.

variable_class

alias of DatatypeVariable

instance: ClassVar[Datatype]

Singleton instance of this datatype class.

value_class: ClassVar[type[Value]]

Value class associated with this datatype class.

classmethod check(arg: Any, function: Callable[[...], Any] | str | None = None, name: str | None = None, position: int | None = None) → Self

Coerces arg into an instance of this class.

If arg cannot be coerced, raises an error.

Parameters:

• arg – Value.

• function – Function or function name.

• name – Argument name.

• position – Argument position.

Returns:

Object.

__init__(datatype_class: TDatatype | None = None) → None

class DatatypeVariable(name: str | None = None, variable_class: type[Variable] | type[Term] | None = None)

Bases: Variable

Datatype variable.

Parameters:

name – Name.

object_class

alias of Datatype