WithInstances

oxygen.meta.K0.Derivable.SumDeriver.WithInstances
final class WithInstances[F[_], A](f: Quotes ?=> Expressions[F, A] => SumDeriver[F, A])(using derivable: Derivable[F], x$2: Quotes, x$3: Type[F], x$4: Type[A], x$5: SumGeneric[A]) extends SumDeriver[F, A]

Attributes

Graph
Supertypes
class SumDeriver[F, A]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def derive: Expr[F[A]]

Attributes

Definition Classes

Givens

Inherited givens

given aTpe: Type[A]

Attributes

Inherited from:
SumDeriver
given fTpe: Type[F]

Attributes

Inherited from:
SumDeriver
given generic: SumGeneric[A]

Attributes

Inherited from:
SumDeriver
given quotes: Quotes

Attributes

Inherited from:
SumDeriver