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

K11T

harness.deriving.K11T
abstract class K11T[UB]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object K11.type

Members list

Type members

Classlikes

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

Attributes

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

Companion
object
Supertypes
class Object
trait Matchable
class Any
object ProductInstances

Attributes

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object SumInstances

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type

Types

type Const[c] = [_[_ <: UB]] =>> c
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 }
type Generic[O[_[_ <: UB]]] = Kind[Mirror, O]
type Head[T[_[_ <: UB]], A[_ <: UB]] = T[A] match { case h *: _$128 => h }
type Id[t <: UB] = [f[_ <: UB]] =>> f[t]
type Identity[t <: UB] = t
type Kind[C, O[_[_ <: UB]]] = C { type MirroredType = [X[_ <: UB]] =>> O[X]; type MirroredMonoType = O[[_ <: UB] =>> Any]; type MirroredElemTypes <: ([_[_ <: UB]] =>> Tuple); }
type ProductGeneric[O[_[_ <: UB]]] = Kind[Product, O]
type SumGeneric[O[_[_ <: UB]]] = Kind[Sum, O]
type Tail[T[_[_ <: UB]], A[_ <: UB]] = T[A] match { case _$129 *: t => t }
type Zip[A[_ <: UB], B[_ <: UB]] = [t <: UB] =>> (A[t], B[t])
type ~>[A[_ <: UB], B[_ <: UB]] = [t <: UB] => (x$1: A[t]) => B[t]

Value members

Concrete methods

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