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

ProductSchemaExtractorPriority1

org.hungerford.generic.schema.product.ProductSchemaExtractorPriority1
trait ProductSchemaExtractorPriority1 extends ProductSchemaExtractorPriority2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Givens

Givens

given headExtractor[T, S, Fld <: Shaped[T, S], Tail <: Tuple]: headExtractor[T, S, Fld, Tail]
given nestedExtractor[F, T, R <: Tuple, RV <: Tuple, AF, AFS, AFE, C, S](using ev: NotGiven[ProductSchemaExtractor[F, R]], nestExtr: Aux[F, R, S]): nestedExtractor[F, T, R, RV, AF, AFS, AFE, C, S]

Inherited givens

given afExtractor[T, R <: Tuple, RV <: Tuple, AF, AFS, AFE, C](using ev: NotGiven[ProductSchemaExtractor[AF, R]]): afExtractor[T, R, RV, AF, AFS, AFE, C]

Attributes

Inherited from:
ProductSchemaExtractorPriority3
given nextExtractor[T, Head, Tail <: Tuple, Res](using next: Aux[T, Tail, Res]): nextExtractor[T, Head, Tail, Res]

Attributes

Inherited from:
ProductSchemaExtractorPriority2
Generated with