FieldGetter

org.hungerford.generic.schema.product.field.FieldGetter$
See theFieldGetter companion trait

Attributes

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

Members list

Concise view

Type members

Types

type Aux[N <: FieldName, R <: Tuple, RV <: Tuple, O] = FieldGetter[N, R, RV] { type Out = O; }

Value members

Concrete methods

def get[N <: FieldName, R <: Tuple, RV <: Tuple](from: RV, field: N, informedBy: R)(using getter: FieldGetter[N, R, RV]): Out

Givens

Givens

given `given_Aux_N_*:_*:_Out`[N <: FieldName, RHead, RTail <: Tuple, RVHead, RVTail <: Tuple](using next: FieldGetter[N, RTail, RVTail]): Aux[N, RHead *: RTail, RVHead *: RVTail, Out]
given `given_Aux_N_*:_*:_RVHead`[T, F, N <: FieldName, Field <: OrLazy[T, F, N], RTail <: Tuple, RVHead, RVTail <: Tuple]: Aux[N, Field *: RTail, RVHead *: RVTail, RVHead]