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

SubtypeTypeRetriever

org.hungerford.generic.schema.coproduct.subtype.SubtypeTypeRetriever$
See theSubtypeTypeRetriever companion trait
object SubtypeTypeRetriever extends LowPrioritySubtypeTypeRetrievers

Attributes

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

Members list

Concise view

Type members

Types

type Aux[T, N <: Nat, R <: Tuple, ST] = SubtypeTypeRetriever[T, N, R] { type Subtype = ST; }

Value members

Concrete methods

def retrieve[T, N <: Nat, R <: Tuple](sel: TypeSelector[T, N], from: R)(using rt: SubtypeTypeRetriever[T, N, R]): Subtype

Givens

Givens

given nonZero[ST, N <: Nat, DecN <: Nat, SubT <: Tpe[ST], Tail <: Tuple, Res](using ev: DecA[N, DecN], next: Aux[ST, DecN, Tail, Res]): nonZero[ST, N, DecN, SubT, Tail, Res]
given zero[ST, SubT <: Tpe[ST], Tail <: Tuple]: zero[ST, SubT, Tail]

Inherited givens

given nextSubtypeTypeRetriever[T, N <: Nat, Head, Tail <: Tuple, Next](using next: Aux[T, N, Tail, Next]): nextSubtypeTypeRetriever[T, N, Head, Tail, Next]

Attributes

Inherited from:
LowPrioritySubtypeTypeRetrievers
Generated with