SumInstances

harness.deriving.K1T.SumInstances
See theSumInstances companion object
final class SumInstances[F[_ <: UB], T[_[_ <: UB]]](val m: SumGeneric[F])(children: List[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

Value members

Concrete methods

def narrow[G <: ([B[_ <: UB]] =>> T[B])](implicit fCt: ClassTag[T[<none>]], gCt: ClassTag[G[<none>]]): SumInstances[F, G]

Concrete fields

val m: SumGeneric[F]