core
API
Generated with
core/org.hungerford.generic.schema.types/Extractor

Extractor

org.hungerford.generic.schema.types.Extractor$
See theExtractor companion trait
object Extractor

Attributes

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

Members list

Concise view

Type members

Types

type Aux[Source, Target, Using, Out0] = Extractor[Source, Target, Using] { type Out = Out0; }

Value members

Concrete methods

transparent inline def extractor[Source, Target <: Tuple, Using <: Tuple, Res <: Tuple]: Aux[Source, Target, Using, Res]

Givens

Givens

given genericHlistExtractor[Source, Target <: Tuple, UHead, UTail <: Tuple, SimpleRes, Res <: Tuple](using se: Aux[Source, UHead, SimpleRes], next: Aux[Source, Concat[Target, SimpleRes *: EmptyTuple], UTail, Res]): Aux[Source, Target, UHead *: UTail, Res]
given hnilExtractor[Source, Target]: Aux[Source, Target, EmptyTuple, Target]
Generated with