harness-deriving
API
Generated with
harness-deriving/harness.deriving/K11

K11

harness.deriving.K11$
object K11 extends K11T[Any]

Attributes

Graph
Supertypes
class K11T[Any]
class Object
trait Matchable
class Any
Self type
K11.type

Members list

Type members

Inherited classlikes

trait Derivable[T[_[_[_ <: UB]]]]

Attributes

Inherited from:
K11T
Supertypes
class Object
trait Matchable
class Any
final class ProductInstances[F[_[_ <: UB]], T[_[_[_ <: UB]]]](val m: ProductGeneric[F])(val ev: MirroredMonoType <:< Product, val rawInstances: List[LazyDerived[T[[_[_ <: UB]] =>> Any]]])

Attributes

Inherited from:
K11T
Supertypes
class Object
trait Matchable
class Any
object ProductInstances

Attributes

Inherited from:
K11T
Supertypes
class Object
trait Matchable
class Any
final class SumInstances[F[_[_ <: UB]], T[_[_[_ <: UB]]]](val m: SumGeneric[F])(children: List[T[[_[_ <: UB]] =>> Any]])

Attributes

Inherited from:
K11T
Supertypes
class Object
trait Matchable
class Any
object SumInstances

Attributes

Inherited from:
K11T
Supertypes
class Object
trait Matchable
class Any

Inherited types

type Const[c] = [_[_ <: UB]] =>> c

Attributes

Inherited from:
K11T
type FieldInstances[T <: ([_[_ <: UB]] =>> Tuple), F[_], G[_[_[_ <: UB]]]] = T[Option] match { case _$130 *: _$131 => F[G[[X[_ <: UB]] =>> Head[T, X]]] *: FieldInstances[[X[_ <: UB]] =>> Tail[T, X], F, G] case EmptyTuple => EmptyTuple }

Attributes

Inherited from:
K11T
type Generic[O[_[_ <: UB]]] = Kind[Mirror, O]

Attributes

Inherited from:
K11T
type Head[T[_[_ <: UB]], A[_ <: UB]] = T[A] match { case h *: _$128 => h }

Attributes

Inherited from:
K11T
type Id[t <: UB] = [f[_ <: UB]] =>> f[t]

Attributes

Inherited from:
K11T
type Identity[t <: UB] = t

Attributes

Inherited from:
K11T
type Kind[C, O[_[_ <: UB]]] = C { type MirroredType = [X[_ <: UB]] =>> O[X]; type MirroredMonoType = O[[_ <: UB] =>> Any]; type MirroredElemTypes <: ([_[_ <: UB]] =>> Tuple); }

Attributes

Inherited from:
K11T
type ProductGeneric[O[_[_ <: UB]]] = Kind[Product, O]

Attributes

Inherited from:
K11T
type SumGeneric[O[_[_ <: UB]]] = Kind[Sum, O]

Attributes

Inherited from:
K11T
type Tail[T[_[_ <: UB]], A[_ <: UB]] = T[A] match { case _$129 *: t => t }

Attributes

Inherited from:
K11T
type Zip[A[_ <: UB], B[_ <: UB]] = [t <: UB] =>> (A[t], B[t])

Attributes

Inherited from:
K11T
type ~>[A[_ <: UB], B[_ <: UB]] = [t <: UB] => (x$1: A[t]) => B[t]

Attributes

Inherited from:
K11T

Value members

Inherited methods

inline def summonFieldInstances[T <: ([_[_]] =>> Tuple), F[_], G[_[_[_]]]]: List[F[G[[_[_ <: UB]] =>> Any]]]

Attributes

Inherited from:
K11T
Generated with