Attributes

AnyType `dataclass`

AnyType()

Bases: TypeAttribute

Top of any type lattice.

Bases: ABCMeta

Metaclass for attributes.

BottomType()

Bases: TypeAttribute

Bottom of any type lattice.

SingletonTypeMeta(name, bases, attrs)

Metaclass for singleton type attributes.

Singleton type attributes are attributes that have only one instance.

Examples: - AnyType - BottomType

Source code in src/kirin/lattice.py

def __init__(cls, name, bases, attrs):
    super().__init__(name, bases, attrs)
    cls._instance = None

Metaclass for type attributes.