core
API
Generated with
core/org.hungerford.generic.schema.product.field/FieldRetriever

FieldRetriever

org.hungerford.generic.schema.product.field.FieldRetriever$
See theFieldRetriever companion trait
object FieldRetriever extends LowPriorityFieldRetrievers

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, F] = FieldRetriever[N, R] { type Fld = F; }

Value members

Concrete methods

def retrieve[N <: Singleton, R <: Tuple](fieldName: N, fields: R)(using fr: FieldRetriever[N, R]): Fld

Givens

Givens

given `given_Aux_N_*:_Field`[N <: FieldName, T, F, S, Tail <: Tuple]: Aux[N, Field[T, F, N, S] *: Tail, Field[T, F, N, S]]
given fieldRetrieverByIndex[I <: Int & Singleton, N <: Nat, R <: Tuple, T, F, Nm <: FieldName, S](using ev: Aux[I, N], rt: Aux[N, R, Field[T, F, Nm, S]]): fieldRetrieverByIndex[I, N, R, T, F, Nm, S]
given lz[N <: FieldName, T, F, Tail <: Tuple]: Aux[N, LazyField[T, F, N] *: Tail, LazyField[T, F, N]]

Inherited givens

given `given_Aux_N_*:_Next`[N <: Singleton, Head, Tail <: Tuple, Next](using next: Aux[N, Tail, Next]): Aux[N, Head *: Tail, Next]

Attributes

Inherited from:
LowPriorityFieldRetrievers
Generated with