Module kailua_types::ty::flags

A compact description of the type.

Structs

Flags	Type flags, a compact description of the type.
UnionedSimple	A subset of Flags that can be Unioned with no additional processing.

Constants

T_ALL	All non-dynamic types.
T_BOOLEAN	boolean and its subtype.
T_CALLABLE	Any types that can be called out of the box.
T_DYNAMIC	Any dynamic type (WHATEVER or the "oops" error type).
T_FALSE	false.
T_FALSY	Any types that evaluate to false on the condition.
T_FUNCTION	function and its subtype.
T_INTEGER	integer and its subtype.
T_INTEGRAL	Any types that can be used as an index to arrays out of the box.
T_NOISY_NIL	A noisy nil (nil?).
T_NONE	Empty flags.
T_NONINTEGER	number minus integer.
T_NUMBER	number and its subtype.
T_NUMERIC	Any types that allow arithmetic operations out of the box.
T_STRING	string and its subtype.
T_STRINGY	Any types that can be concatenated out of the box.
T_TABLE	table and its subtype.
T_TABULAR	Any types that can be indexed out of the box.
T_THREAD	thread.
T_TRUE	true.
T_TRUTHY	Any types that evaluate to true on the condition.
T_USERDATA	userdata.
T_WHATEVER	An explicit dynamic type (WHATEVER).
U_BOOLEAN	boolean and its subtype.
U_FALSE	false.
U_NONE	Empty flags.
U_THREAD	thread.
U_TRUE	true.
U_USERDATA	userdata.