ProductDeriver

oxygen.meta.K0.Derivable.ProductDeriver
See theProductDeriver companion class

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

final class Impl[F[_], A](value: () => Expr[F[A]])(using x$2: Quotes, x$3: Type[F], x$4: Type[A], x$5: ProductGeneric[A]) extends ProductDeriver[F, A]

Attributes

Supertypes
class ProductDeriver[F, A]
class Object
trait Matchable
class Any
final class NotSupported[F[_], A](using x$1: Quotes, x$2: Type[F], x$3: Type[A], x$4: ProductGeneric[A]) extends ProductDeriver[F, A]

Attributes

Supertypes
class ProductDeriver[F, A]
class Object
trait Matchable
class Any
abstract class Split[F[_], A](using x$1: Quotes, x$2: Type[F], x$3: Type[A], x$4: ProductGeneric[A]) extends ProductDeriver[F, A]

Attributes

Supertypes
class ProductDeriver[F, A]
class Object
trait Matchable
class Any
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

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

Value members

Concrete methods

def impl[F[_], A](value: => Expr[F[A]])(using Quotes, Type[F], Type[A], ProductGeneric[A]): ProductDeriver[F, A]
def notSupported[F[_], A](using Quotes, Type[F], Type[A], ProductGeneric[A]): ProductDeriver[F, A]
def withInstances[F[_], A](f: Quotes ?=> Expressions[F, A] => ProductDeriver[F, A])(using Quotes, Type[F], Type[A], ProductGeneric[A]): WithInstances[F, A]