core
API
Generated with
core/org.hungerford.generic.schema.coproduct/CoproductSchemaExtractor

CoproductSchemaExtractor

org.hungerford.generic.schema.coproduct.CoproductSchemaExtractor$
See theCoproductSchemaExtractor companion trait
object CoproductSchemaExtractor extends CoproductSchemaExtractorPriority1

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] = CoproductSchemaExtractor[T, From] { type Shape = S; }

Value members

Concrete methods

def extract[T]: Extr[T]

Givens

Givens

given nestedCoproductExtractor[ST, T, R <: Tuple, RV <: Tuple, D, DN, S](using ev: NotGiven[CoproductSchemaExtractor[ST, R]], stExtr: Aux[ST, R, S]): nestedCoproductExtractor[ST, T, R, RV, D, DN, S]
given subtypesCoproductExtractor[ST, T, R <: Tuple, RV <: Tuple, D, DN, S](using stExtr: Aux[ST, R, S]): subtypesCoproductExtractor[ST, T, R, RV, D, DN, S]
given subtypesHeadExtractor[ST, T, D, DN, DV, N <: TypeName, S, SubT <: Subtype[T, ST, D, DN, DV, N, S], Tail <: Tuple]: subtypesHeadExtractor[ST, T, D, DN, DV, N, S, SubT, Tail]

Inherited givens

given nextSubtypesExtractor[ST, Head, Tail <: Tuple, S](using next: Aux[ST, Tail, S]): nextSubtypesExtractor[ST, Head, Tail, S]

Attributes

Inherited from:
CoproductSchemaExtractorPriority1
Generated with