RecursiveSchemaProvider

org.hungerford.generic.schema.RecursiveSchemaProvider$
See theRecursiveSchemaProvider companion trait

Attributes

Companion:
trait
Graph
Supertypes
Self type

Members list

Concise view

Type members

Types

type Aux[T, Tail <: Tuple, S] = RecursiveSchemaProvider[T, Tail] { type Shape = S; }

Givens

Givens

given schemaInstanceProvider[T, Tail <: Tuple](using inst: Schema[T]): Aux[T, Tail, Shape]

Inherited givens

given derivedSchemaProvider[T, Tail <: Tuple, S](using sd: RecursiveSchemaDeriver[T, Tail]): Aux[T, Tail, Shape]

Attributes

Inherited from:
RecursiveSchemaProvidersPriority2
given emptyPrimitiveProvider[T, Tail <: Tuple, TLabel <: String, TailLabels <: Tuple]: Aux[T, Tail, Unit]

Attributes

Inherited from:
RecursiveSchemaProvidersPriority3
given extractedSchemaProvider[T, OuterT, OuterS, Sch <: Aux[OuterT, OuterS], S, Tail <: Tuple](using inst: Sch, extr: Aux[T, Sch, S]): Aux[T, Tail, S]

Attributes

Inherited from:
RecursiveSchemaProvidersPriority1
given nothingProvider[Tail <: Tuple]: Aux[Nothing, Tail, Unit]

Attributes

Inherited from:
RecursiveSchemaProvidersPriority3