core
API
Generated with
core/org.hungerford.generic.schema.coproduct/CoproductDeriver

CoproductDeriver

org.hungerford.generic.schema.coproduct.CoproductDeriver$
See theCoproductDeriver companion trait
object CoproductDeriver

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Types

type Aux[T, TsTail <: Tuple, O] = CoproductDeriver[T, TsTail] { type Out = O; }

Value members

Concrete methods

def apply[T](using cd: CoproductDeriver[T, EmptyTuple]): Aux[T, EmptyTuple, Out]
def withAncestors[T, TsTail <: Tuple](using cd: CoproductDeriver[T, TsTail]): Aux[T, TsTail, Out]

Givens

Givens

transparent inline given given_Aux_T_TsTail_Out[T, TsTail <: Tuple, Elems <: NonEmptyTuple, ElemLabels <: NonEmptyTuple](using mir: Of[T], der: CoproductMirDeriver[T, TsTail, <none>, MirroredElemLabels], ev1: <none> =:= Elems, ev2: MirroredElemLabels =:= ElemLabels): Aux[T, TsTail, Out]
Generated with