core
API
Generated with
core/org.hungerford.generic.schema.coproduct.subtype/SubtypeRetriever

SubtypeRetriever

org.hungerford.generic.schema.coproduct.subtype.SubtypeRetriever$
See theSubtypeRetriever companion trait
object SubtypeRetriever extends LowPrioritySubtypeRetrievers

Attributes

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

Members list

Concise view

Type members

Types

type Aux[N <: Singleton, R <: Tuple, ST] = SubtypeRetriever[N, R] { type Subtype = ST; }

Value members

Concrete methods

def apply[N <: Singleton, R <: Tuple](using str: SubtypeRetriever[N, R]): Aux[N, R, Subtype]
def retrieve[N <: Singleton, R <: Tuple](typeName: N, subtypes: R)(using fr: SubtypeRetriever[N, R]): Subtype

Givens

Givens

given headHasName[N <: TypeName, SubT <: Named[N], Tail <: Tuple]: Aux[N, SubT *: Tail, SubT]
given retrieverByIndex[I <: Int & Singleton, N <: Nat, R <: Tuple, Elem](using ev: Aux[I, N], rt: Aux[N, R, Elem]): retrieverByIndex[I, N, R, Elem]

Inherited givens

given headDoesNotHaveName[N <: TypeName, Head, Tail <: Tuple, Next](using next: Aux[N, Tail, Next]): Aux[N, Head *: Tail, Next]

Attributes

Inherited from:
LowPrioritySubtypeRetrievers
Generated with