harness-deriving
API
Generated with
harness-deriving/harness.deriving/K11T/ProductInstances

ProductInstances

harness.deriving.K11T.ProductInstances
See theProductInstances companion object
final class ProductInstances[F[_[_ <: UB]], T[_[_[_ <: UB]]]](val m: ProductGeneric[F])(val ev: MirroredMonoType <:< Product, val rawInstances: List[LazyDerived[T[[_[_ <: UB]] =>> Any]]])

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Classlikes

final case class withInstance[A[_ <: UB]](a: F[A])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class withInstance2[A[_ <: UB], B[_ <: UB]](a: F[A], b: F[B])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object withoutInstance

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def instantiate[A[_ <: UB]](fields: List[<none>[A]]): F[A]

Concrete fields

val ev: MirroredMonoType <:< Product
lazy val instances: List[T[[_[_ <: UB]] =>> Any]]
val m: ProductGeneric[F]
val rawInstances: List[LazyDerived[T[[_[_ <: UB]] =>> Any]]]
Generated with