Types

signified.types

Type definitions for reactive programming.

T module-attribute

T = TypeVar('T')

Y module-attribute

Y = TypeVar('Y')

R module-attribute

R = TypeVar('R')

A module-attribute

A = TypeVar('A')

B module-attribute

B = TypeVar('B')

P module-attribute

P = ParamSpec('P')

NestedValue module-attribute

NestedValue = Union[T, '_HasValue[NestedValue[T]]']

Recursive type hint for arbitrarily nested reactive values.

ReactiveValue module-attribute

ReactiveValue = TypeAliasType('ReactiveValue', Union['Computed[T]', 'Signal[T]'], type_params=(T,))

A reactive object that would return a value of type T when calling unref(obj).

HasValue module-attribute

HasValue = TypeAliasType('HasValue', Union[T, 'Computed[T]', 'Signal[T]'], type_params=(T,))

This object would return a value of type T when calling unref(obj).

has_value

has_value(obj, type_)

Check if an object has a value of a specific type.