X::Does::TypeObject Reference
Error due to mixing into a type object
What it is #
Routines #
Signatures are reproduced from the documentation, including their declared return types. A routine listed here is part of the type's published interface; whether Raku++ implements it is a separate question, answered by the examples below.
method type #
method type(X::Does::TypeObject:D: --> Mu:U)Returns Mu:U.
Returns the type object into which the code tried to mix in a role.
Examples, run three ways #
Every example below comes from the official documentation, together with the output that documentation asserts. Each was then executed by Rakudo and by Raku++ when this page was built. Where the three agree, one result is shown; where they do not, all three are — because which of them is wrong is exactly the information worth having.
4 no-output
class X::Does::TypeObject is Exception {}Not executed: the documentation states no expected output for this example.
Mu does Numeric; # Cannot use 'does' operator with a type object.
Not executed: the documentation states no expected output for this example.
class GrassmannNumber does Numeric { ... };
role AlgebraDebugger does IO { ... };
grammar IntegralParser does AlgebraParser { ... };Not executed: the documentation states no expected output for this example.
GrassmannNumber.new does AlgebraDebugger;
Not executed: the documentation states no expected output for this example.