View source on GitHub |
An implementation of tff.Type
representing types of sequences in TFF.
Inherits From: Type
tff.types.SequenceType(
element: object
)
Used in the notebooks
Used in the tutorials |
---|
Args | |
---|---|
element
|
A specification of the element type, either an instance of
tff.Type or something convertible to it by tff.types.to_type .
|
Attributes | |
---|---|
element
|
Methods
check_assignable_from
check_assignable_from(
source_type: 'Type'
) -> None
Raises if values of source_type
cannot be cast to this type.
check_equivalent_to
check_equivalent_to(
other: 'Type'
) -> None
Raises if values of 'other' cannot be cast to and from this type.
check_identical_to
check_identical_to(
other: 'Type'
) -> None
Raises if other
and Type
are not exactly identical.
children
children() -> Iterator[Type]
Returns a generator yielding immediate child types.
compact_representation
compact_representation() -> str
Returns the compact string representation of this type.
formatted_representation
formatted_representation() -> str
Returns the formatted string representation of this type.
is_assignable_from
is_assignable_from(
source_type: tff.types.Type
) -> bool
Returns whether values of source_type
can be cast to this type.
is_equivalent_to
is_equivalent_to(
other: 'Type'
) -> bool
Returns whether values of other
can be cast to and from this type.
is_identical_to
is_identical_to(
other: 'Type'
) -> bool
Returns whether or not self
and other
are exactly identical.
__eq__
__eq__(
other
)
Determines whether two type definitions are identical.
Note that this notion of equality is stronger than equivalence. Two types with equivalent definitions may not be identical, e.g., if they represent templates with differently named type variables in their definitions.
Args | |
---|---|
other
|
The other type to compare against. |
Returns | |
---|---|
True if type definitions are syntactically identical (as defined above),
otherwise False .
|
Raises | |
---|---|
NotImplementedError
|
If not implemented in the derived class. |
__ne__
__ne__(
other
)
Return self!=value.