concepts.dsl.dsl_functions.OverloadedFunctionType#

class OverloadedFunctionType[source]#

Bases: TypeBase

Methods

`assignment_type`()	Return the value type for assignment.
`downcast_compatible`(other[, ...])	Check if the type is downcast-compatible with the other type; that is, if this type is a subtype of the other type.
`from_function_type_with_union_arguments`(...)	Create an OverloadedFunctionType from a FunctionType with Union-Typed arguments.
`long_str`()	Return the long string representation of the type.
`resolve_type_and_args`(args, *kwargs)	Resolve the exact sub-function type being called and the argument list.
`short_str`()	Return the short string representation of the type.

Attributes

`alias`	An optional alias of the type.
`base_typename`	Return the typename of the base type.
`is_list_type`	Return whether the type is a list type.
`is_object_type`	Return whether the type is an object type.
`is_pyobj_value_type`	Return whether the type is a Python object value type.
`is_sequence_type`	Return whether the type is a sequence type.
`is_tensor_value_type`	Return whether the type is a tensor value type.
`is_tuple_type`	Return whether the type is a tuple type.
`is_value_type`	Return whether the type is a value type.
`nr_types`	Return the number of sub-types.
`parent_type`	The parent type of the type.
`parent_typename`	Return the typename of the parent type.
`typename`	The (full) typename of the type.
`types`

__init__(types, alias=None)[source]#

Initialize the type.

Parameters:

typename – The name of the type.
alias (str | None) – The alias of the type.
types (Sequence[OverloadedFunctionType | FunctionType])

__new__(**kwargs)#

assignment_type()#

Return the value type for assignment.

Return type:: TypeBase

downcast_compatible(other, allow_self_list=False, allow_list=False)#

Check if the type is downcast-compatible with the other type; that is, if this type is a subtype of the other type.

Parameters:

other (TypeBase) – the other type.
allow_self_list (bool) – if True, this type can be a list type derived from the other type.
allow_list (bool) – if True, the other type can be a list type derived from the type.

Return type:

bool

classmethod from_function_type_with_union_arguments(function_type)[source]#

Create an OverloadedFunctionType from a FunctionType with Union-Typed arguments.

Parameters:: function_type (FunctionType)

long_str()#

Return the long string representation of the type.

Return type:: str

resolve_type_and_args(*args, **kwargs)[source]#

Resolve the exact sub-function type being called and the argument list.

Parameters:

*args (Any) – The positional arguments.
**kwargs (Any) – The keyword arguments.

Returns:

A OverloadedFunctionResolution object if the resolution is unambiguous, or a OverloadedFunctionAmbiguousResolutions object if the resolution is ambiguous. The ambiguity resolution object will only be returned if the check_overloaded_ambiguity flag is set to False in the FunctionArgumentResolutionContext.

The OverloadedFunctionResolution object contains the index of the sub-function type being called, the sub-function type, and the resolved argument list.
The OverloadedFunctionAmbiguousResolutions object contains a list of OverloadedFunctionResolution objects.

Return type:

OverloadedFunctionResolution | OverloadedFunctionAmbiguousResolutions

short_str()#

Return the short string representation of the type.

Return type:: str

property alias: str | None#: An optional alias of the type.

property base_typename#: Return the typename of the base type.

property is_list_type#: Return whether the type is a list type.

property is_object_type#: Return whether the type is an object type.

property is_pyobj_value_type#: Return whether the type is a Python object value type.

property is_sequence_type#: Return whether the type is a sequence type.

property is_tensor_value_type#: Return whether the type is a tensor value type.

property is_tuple_type#: Return whether the type is a tuple type.

property is_value_type#: Return whether the type is a value type.

property nr_types: int#: Return the number of sub-types.

property parent_type: TypeBase | None#: The parent type of the type.

property parent_typename#: Return the typename of the parent type.

property typename: str#: The (full) typename of the type.

types: Tuple[FunctionType]#