role Callable
Invocable code object
role Callable { ... }
Role for objects which support calling them. It's used in Block, Routine, Sub, Method, Submethod and Macro types.
Callables can be stored in &
-sigiled containers, the default type constraint of such a container is Callable
.
my &a = {;}; # Empty block needs a semicolon my &b = -> {}; my &c = sub () {}; sub foo() {}; my &d = &foo;
Methods
method CALL-ME
method CALL-ME(Callable:D $self: |arguments)
This method is required for postfix:«( )» and postfix:«.( )». It's what makes an object actually call-able and needs to be overloaded to let a given object act like a routine. If the object needs to be stored in a &
-sigiled container, is has to implement Callable.
class A does Callable { submethod CALL-ME(|c){ 'called' } } my &a = A; say a(); # OUTPUT: «called»
Applying the Callable
role is not a requirement to make an object callable; if a class simply wants to add subroutine-like semantics in a regular scalar container, the submethod CALL-ME
can be used for that.
class A { has @.values; submethod CALL-ME(Int $x where 0 <= * < @!values.elems) { @!values[$x] } } my $a = A.new: values => [4,5,6,7]; say $a(2); # OUTPUT: «6»
method Capture
Defined as:
method Capture()
Throws X::Cannot::Capture
.
Type Graph
Callable