oxygen-meta
API
Generated with
oxygen-meta/oxygen/oxygen.meta/K0/Derivable/ProductDeriver/WithInstances

WithInstances

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

Attributes

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

Members list

Value members

Concrete methods

override def derive: Expr[F[A]]

Attributes

Definition Classes
override def deriveWithInstances(exprs: Expressions[F, A])(using quotes: Quotes): Expr[F[A]]

This only works if the Derivable.ProductDeriver in your Derivable uses Derivable.ProductDeriver.withInstances.

This only works if the Derivable.ProductDeriver in your Derivable uses Derivable.ProductDeriver.withInstances.

Attributes

Definition Classes

Givens

Inherited givens

given aTpe: Type[A]

Attributes

Inherited from:
ProductDeriver
given fTpe: Type[F]

Attributes

Inherited from:
ProductDeriver
given generic: ProductGeneric[A]

Attributes

Inherited from:
ProductDeriver
given quotes: Quotes

Attributes

Inherited from:
ProductDeriver
Generated with