SumInstances

harness.deriving.K0T.SumInstances
See theSumInstances companion object
final class SumInstances[F <: UB, T[_ <: UB]](val m: SumGeneric[F])(val children: List[T[UB]])

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Classlikes

final case class withInstance(a: F)

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 children: List[T[UB]]
val m: SumGeneric[F]