dolor.types.default

Types manipulating default values.

class Defaulted(elem_type: dolor.types.type.Type, default)[source]

Bases: dolor.types.type.Type

A type with a custom default value.

The resulting type inherits from the specified type and the Defaulted type, in that order.

Parameters

  • elem_type (subclass of Type) – The type to modify the default of.

  • default – The new default value.

Examples

>>> import dolor
>>> d = dolor.types.Defaulted(dolor.types.VarInt, 1)
>>> d
<class 'dolor.types.default.DefaultedVarInt'>
>>> d.default()
1