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

ProductSchemaExtractor

org.hungerford.generic.schema.product.ProductSchemaExtractor$
See theProductSchemaExtractor companion trait
object ProductSchemaExtractor extends ProductSchemaExtractorPriority1

Attributes

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

Members list

Concise view

Type members

Classlikes

class Extr[T]()

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Types

type Aux[T, From, S] = ProductSchemaExtractor[T, From] { type Shape = S; }

Value members

Concrete methods

def extract[T]: Extr[T]

Givens

Givens

given fieldsExtractor[F, T, R <: Tuple, RV <: Tuple, AF, AFS, AFE, C, S](using fieldsExtr: Aux[F, R, S]): fieldsExtractor[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 headExtractor[T, S, Fld <: Shaped[T, S], Tail <: Tuple]: headExtractor[T, S, Fld, Tail]

Attributes

Inherited from:
ProductSchemaExtractorPriority1
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]

Attributes

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

Attributes

Inherited from:
ProductSchemaExtractorPriority2
Generated with