core
API
Generated with
core/org.hungerford.generic.schema.product/FieldTupDeriver

FieldTupDeriver

org.hungerford.generic.schema.product.FieldTupDeriver$
See theFieldTupDeriver companion trait
object FieldTupDeriver

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, Fs <: Tuple, Extr, O <: Tuple] = FieldTupDeriver[T, TsTail, Fs, Extr] { type Out = O; }

Givens

Givens

given hlistFDFieldDeriver[T, TsTail <: Tuple, F, N <: FieldName, VTail <: Tuple, TTail <: Tuple, Res <: Tuple](using fd: FieldDeriver[T, TsTail, F, N], ev: NotGiven[Contains[T *: TsTail, F]], next: Aux[T, TsTail, TTail, VTail, Res]): Aux[T, TsTail, (N, F) *: TTail, F *: VTail, Out *: Res]
given hlistLazyFDFieldDeriver[T, TsTail <: Tuple, F, N <: FieldName, VTail <: Tuple, TTail <: Tuple, Res <: Tuple](using fd: FieldDeriver[T, TsTail, F, N], ev: Contains[T *: TsTail, F], next: Aux[T, TsTail, TTail, VTail, Res]): Aux[T, TsTail, (N, F) *: TTail, F *: VTail, Out *: Res]
given hnilFDFieldDeriver[T, TsTail <: Tuple, Extr]: hnilFDFieldDeriver[T, TsTail, Extr]
Generated with