the name of the sealed trait
an array of Subtype instances for each subtype in the sealed trait
an array of instantiated annotations applied to this case class
a sequence of objects representing all of the annotations on the topmost trait
a sequence of objects representing all of the annotations on the topmost trait
For efficiency, this sequence is implemented by an Array
, but upcast to a
scala.collection.Seq to hide the mutable collection API.
convenience method for delegating typeclass application to the typeclass corresponding to the
subtype of the sealed trait which matches the type of the value
convenience method for delegating typeclass application to the typeclass corresponding to the
subtype of the sealed trait which matches the type of the value
the return type of the lambda, which should be inferred
the instance of the generic type whose value should be used to match on a particular subtype of the sealed trait
lambda for applying the value to the typeclass for the particular subtype which matches
the result of applying the handle
lambda to subtype of the sealed trait which
matches the parameter value
a sequence of all the subtypes of this sealed trait
the name of the sealed trait
represents a sealed trait and the context required to construct a new typeclass instance corresponding to it
Instances of
SealedTrait
provide access to all of the component subtypes of the sealed trait which form a coproduct, and to the fully-qualified name of the sealed trait.type constructor for the typeclass being derived
generic type of this parameter