core/org.hungerford.generic.schema.coproduct/CoproductMirDeriver

CoproductMirDeriver

object CoproductMirDeriver
Companion
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[T, Elems <: Tuple, ElemLabels <: Tuple, O] = CoproductMirDeriver[T, Elems, ElemLabels] { type Out = O; }

Value members

Concrete methods

def apply[T, Elems <: Tuple, ElemLabels <: Tuple, Res](mir: SumOf[T] { type MirroredElemTypes = Elems; type MirroredElemLabels = ElemLabels; })(using cd: Aux[T, Elems, ElemLabels, Res]): Aux[T, Elems, ElemLabels, Res]

Givens

Givens

given Aux_T_Elems_ElemLabels_CoproductShape: Aux[T, Elems, ElemLabels, CoproductShape[T, R, Elems, Unit, Nothing]]