Element representing a single operation (field or method) in a Done mirror.
Each entry in Done.Operations is a DoneOperation describing one member of the mirrored type: its label, metadata, input parameters, and output type. Methods with multiple parameter lists are flattened into a single InputElems tuple.
Attributes
- See also
- Companion
- object
- Graph
-
- Supertypes
- Known subtypes
-
trait EmptyApplytrait SingleApply
Members list
Type members
Types
The member name (or the override provided by @name).
The member name (or the override provided by @name).
Attributes
The return type of the operation.
The return type of the operation.
Attributes
Per-parameter-list arities, as a tuple of singleton Int types. Distinguishes method shapes that InputElems alone cannot:
Per-parameter-list arities, as a tuple of singleton Int types. Distinguishes method shapes that InputElems alone cannot:
- no-parens
def f/val=>EmptyTuple(zero param lists) - empty-parens
def f()=>0 *: EmptyTuple(one empty param list) def f(a)(b, c)=>1 *: 2 *: EmptyTupleInputElems stays flattened;ParamListsrecords the list boundaries so dispatch can reconstruct them. (Phase 1 representation; full tuple-of-tuples is deferred.)
Attributes
Value members
Abstract methods
Invokes the underlying member on an instance of the enclosing type.
Invokes the underlying member on an instance of the enclosing type.
Arguments in args correspond positionally to InputElems (multiple parameter lists are flattened). Each argument is unboxed via asInstanceOf to its declared parameter type, so supplying a value of the wrong type will fail at runtime.
Value parameters
- args
-
the positional arguments, in InputElems order
- outer
-
the instance on which to invoke the member