Module ttype 

Modules

atomic

builder

cast

combination

combiner

comparator

error

expander

flags

resolution

shared

A collection of shared, static, and lazily-initialized TAtomic types.

template

union

Enums

TypeRef

A reference to a type in the type system, which can be either a union or an atomic type.

Traits

TType

A trait to be implemented by all types in the type system.

Functions

add_optional_union_type

add_optional_union_type_rc

Reference-counted variant of add_optional_union_type.

add_union_type

combine_optional_union_types

combine_union_types

combine_union_types_rc

Reference-counted variant of combine_union_types.

get_array_parameters

get_array_value_parameter

get_arraykey

get_bool

get_callable_string

get_class_string

get_closed_resource

get_empty

The empty type: every value for which PHP’s empty() returns true, i.e. null|0|0.0|'0'|''|false|array{}.

get_empty_keyed_array

get_empty_scalar

The empty-scalar type: every scalar for which PHP’s empty() returns true, i.e. 0|0.0|'0'|''|false.

get_empty_string

get_false

get_float

get_int

get_int_or_float

get_int_or_string

get_int_range

get_isset_from_mixed_mixed

get_iterable_parameters

get_iterable_value_parameter

get_keyed_array

get_list

get_literal_float

get_literal_int

get_literal_string

get_lowercase_string

get_minus_one_int

Returns a zero-allocation TUnion for the integer literal -1.

get_mixed

get_mixed_callable

get_mixed_closure

get_mixed_iterable

get_mixed_keyed_array

get_mixed_list

get_mixed_maybe_from_loop

get_named_object

get_negative_int

get_never

get_non_empty_list

get_non_empty_lowercase_string

get_non_empty_string

get_non_empty_unspecified_literal_string

get_non_empty_uppercase_string

get_non_negative_int

get_non_positive_int

get_non_zero_int

get_null

get_nullable_float

get_nullable_int

get_nullable_object

get_nullable_scalar

get_nullable_string

get_numeric

get_numeric_string

get_object

get_one_int

Returns a zero-allocation TUnion for the integer literal 1.

get_open_resource

get_placeholder

get_positive_int

get_resource

get_scalar

get_signum_result

Returns a zero-allocation TUnion for the type -1|0|1.

get_specialized_template_type

Resolves a generic template from an ancestor class in the context of a descendant class.

get_string

get_string_with_props

Returns a zero-allocation TUnion for a string with the specified properties.

get_true

get_truthy_mixed

get_truthy_string

get_undefined_null

get_union_from_integer

Creates a TUnion from a TInteger, using a canonical static type where possible.

get_unspecified_literal_float

get_unspecified_literal_int

get_unspecified_literal_string

get_uppercase_string

get_void

get_zero_int

Returns a zero-allocation TUnion for the integer literal 0.

intersect_union_types

wrap_atomic