SumInstances

harness.deriving.K11T.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]