subInstance

oxygen.meta.K0.ProductGeneric.Subset.subInstance
object subInstance

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

final def fromDerivable[F[_]](derivable: Derivable[F], aInstances: Expressions[F, A])(using fTpe: Type[F], quotes: Quotes): Expr[F[B]]
final def fromDerivable[F[_]](derivable: Derivable[F], aInstances: Expressions[F, A], emptyInstance: => Expr[F[Unit]])(using fTpe: Type[F], quotes: Quotes): Expr[F[B]]
final def fromDeriver[F[_]](productDeriver: (Quotes, Type[F], Type[B], ProductGeneric[B]) ?=> Expressions[F, B] => ProductDeriver[F, B], aInstances: Expressions[F, A])(using fTpe: Type[F], quotes: Quotes): Expr[F[B]]
final def fromDeriver[F[_]](productDeriver: (Quotes, Type[F], Type[B], ProductGeneric[B]) ?=> Expressions[F, B] => ProductDeriver[F, B], aInstances: Expressions[F, A], emptyInstance: => Expr[F[Unit]])(using fTpe: Type[F], quotes: Quotes): Expr[F[B]]