View source on GitHub
|
A representation of a function invocation in TFF's internal language.
Inherits From: ComputationBuildingBlock, TypedObject
tff.framework.Call(
fn, arg=None
)
The call construct takes an argument struct with two elements, the first being the function to invoke (represented as a computation with a functional result type), and the second being the argument to feed to that function. Typically, the function is either a TFF instrinsic, or a lambda expression.
The concise notation for calls is foo(bar), where foo is the function,
and bar is the argument.
Args | |
|---|---|
fn
|
A value of a functional type that represents the function to invoke. |
arg
|
The optional argument, present iff 'fn' expects one, of a type that matches the type of 'fn'. |
Raises | |
|---|---|
TypeError
|
if the arguments are of the wrong types. |
Attributes | |
|---|---|
argument
|
|
function
|
|
proto
|
Returns a serialized form of this object as a pb.Computation instance. |
type_signature
|
Returns the TFF type of this object (an instance of tff.Type).
|
Methods
check_block
check_block()
Check that this is a 'Block'.
check_call
check_call()
Check that this is a 'Call'.
check_compiled_computation
check_compiled_computation()
Check that this is a 'CompiledComputation'.
check_data
check_data()
Check that this is a 'Data'.
check_intrinsic
check_intrinsic()
Check that this is an 'Intrinsic'.
check_lambda
check_lambda()
Check that this is a 'Lambda'.
check_placement
check_placement()
Check that this is a 'Placement'.
check_reference
check_reference()
Check that this is a 'Reference'.
check_selection
check_selection()
Check that this is a 'Selection'.
check_struct
check_struct()
Check that this is a Struct.
children
children() -> Iterator[tff.framework.ComputationBuildingBlock]
Returns an iterator yielding immediate child building blocks.
compact_representation
compact_representation()
Returns the compact string representation of this building block.
formatted_representation
formatted_representation()
Returns the formatted string representation of this building block.
from_proto
@classmethodfrom_proto( computation_proto: pb.Computation ) -> 'Call'
Returns an instance of a derived class based on 'computation_proto'.
| Args | |
|---|---|
computation_proto
|
An instance of pb.Computation. |
| Returns | |
|---|---|
| An instance of a class that implements 'ComputationBuildingBlock' and that contains the deserialized logic from in 'computation_proto'. |
| Raises | |
|---|---|
NotImplementedError
|
if computation_proto contains a kind of computation for which deserialization has not been implemented yet. |
ValueError
|
if deserialization failed due to the argument being invalid. |
is_block
is_block()
Returns whether or not this block is a Block.
is_call
is_call()
Returns whether or not this block is a Call.
is_compiled_computation
is_compiled_computation()
Returns whether or not this block is a CompiledComputation.
is_data
is_data()
Returns whether or not this block is a Data.
is_intrinsic
is_intrinsic()
Returns whether or not this block is an Intrinsic.
is_lambda
is_lambda()
Returns whether or not this block is a Lambda.
is_placement
is_placement()
Returns whether or not this block is a Placement.
is_reference
is_reference()
Returns whether or not this block is a Reference.
is_selection
is_selection()
Returns whether or not this block is a Selection.
is_struct
is_struct()
Returns whether or not this block is a Struct.
structural_representation
structural_representation()
Returns the structural string representation of this building block.