Undefined
This module provides a singleton class Undefined
and UndefinedType
that represents an undefined value in the Kirin interpreter.
The Undefined
class is a singleton that can be used to represent an undefined value in the interpreter. It is used to indicate that a value has not been set or is not available. This is used to distinguish between an undefined value and a Python None
value.
Undefined module-attribute
Undefined = UndefinedType()
Singleton instance of UndefinedType
that represents an undefined value.
is_undefined
is_undefined(value: object) -> TypeIs[UndefinedType]
Check if the given value is an instance of UndefinedType
.
Parameters:
Name | Type | Description | Default |
---|---|---|---|
value | object | The value to check. | required |
Returns:
Name | Type | Description |
---|---|---|
bool | TypeIs[UndefinedType] | True if the value is an instance of |
Source code in src/kirin/interp/undefined.py
33 34 35 36 37 38 39 40 41 42 |
|