InputElem

made.InputElem

See theInputElem companion object

sealed trait InputElem

Element representing a single input parameter of a DoneOperation.

Carries the parameter's type, label, and annotation metadata.

Attributes

See also: DoneOperation

Done
Companion: object
Graph
Supertypes: class Object

trait Matchable

class Any

Members list

Type members

Types

The parameter's name (or the override provided by @name).

Attributes

Annotation metadata on the parameter, represented as a Tuple of Meta @ann entries. EmptyTuple when no MetaAnnotation annotations are present. Currently always EmptyTuple — parameter annotations are not yet captured by Done.derived.

Attributes

The parameter's type.

Attributes

Givens

Path-dependent evidence that Metadata is a tuple of Meta entries.

Attributes

In this article

Generated with

made with ❤️ and coffee