core
API
Generated with
core/org.hungerford.generic.schema.selector/SelectorDsl

SelectorDsl

org.hungerford.generic.schema.selector.SelectorDsl
trait SelectorDsl extends SelectorConversion

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object exports.type
trait LensDsl
object utilities.type
object dsl.type
object LensDsl.type

Members list

Concise view

Type members

Classlikes

class TS[T]()

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def field[N <: Singleton](field: N): Selector[FieldSelector[N] *: EmptyTuple]
def field[T, N <: Nat](field: TypeSelector[T, N]): Selector[FieldSelector[TypeSelector[T, N]] *: EmptyTuple]
def select[N <: Singleton](identifier: N): Selector[AmbigSelector[N] *: EmptyTuple]
def select[T, N <: Nat](identifier: TypeSelector[T, N]): Selector[AmbigSelector[TypeSelector[T, N]] *: EmptyTuple]
def subtype[N <: Singleton](subtype: N): Selector[SubTypeSelector[N] *: EmptyTuple]
def subtype[T, N <: Nat](subtype: TypeSelector[T, N]): Selector[SubTypeSelector[TypeSelector[T, N]] *: EmptyTuple]
def t[T]: TypeSelector[T, _0]
def tN[T]: TS[T]

Givens

Inherited givens

given given_Conversion_N_Selector[N <: Singleton]: given_Conversion_N_Selector[N]

Attributes

Inherited from:
SelectorConversion
given given_Conversion_TypeSelector_Selector[T, N <: Nat]: given_Conversion_TypeSelector_Selector[T, N]

Attributes

Inherited from:
SelectorConversion

Extensions

Extensions

extension [N1 <: Singleton](selection: N1)
def /[T2, N2 <: Nat](field: TypeSelector[T2, N2]): Selector[AmbigSelector[N1] *: AmbigSelector[TypeSelector[T2, N2]] *: EmptyTuple]
def /[N2 <: Singleton](field: N2): Selector[AmbigSelector[N1] *: AmbigSelector[N2] *: EmptyTuple]
def /-[T2, N2 <: Nat](sel: TypeSelector[T2, N2]): Selector[AmbigSelector[N1] *: FieldSelector[TypeSelector[T2, N2]] *: EmptyTuple]
def /-[N2 <: Singleton](field: N2): Selector[AmbigSelector[N1] *: FieldSelector[N2] *: EmptyTuple]
def /~[T2, N2 <: Nat](subtype: TypeSelector[T2, N2]): Selector[AmbigSelector[N1] *: SubTypeSelector[TypeSelector[T2, N2]] *: EmptyTuple]
def /~[N2 <: Singleton](subtype: N2): Selector[AmbigSelector[N1] *: SubTypeSelector[N2] *: EmptyTuple]
extension [T1, N1 <: Nat](selection: TypeSelector[T1, N1])
def /[T2, N2 <: Nat](field: TypeSelector[T2, N2]): Selector[AmbigSelector[TypeSelector[T1, N1]] *: AmbigSelector[TypeSelector[T2, N2]] *: EmptyTuple]
def /[N2 <: Singleton](field: N2): Selector[AmbigSelector[TypeSelector[T1, N1]] *: AmbigSelector[N2] *: EmptyTuple]
def /-[T2, N2 <: Nat](sel: TypeSelector[T2, N2]): Selector[AmbigSelector[TypeSelector[T1, N1]] *: FieldSelector[TypeSelector[T2, N2]] *: EmptyTuple]
def /-[N2 <: Singleton](field: N2): Selector[AmbigSelector[TypeSelector[T1, N1]] *: FieldSelector[N2] *: EmptyTuple]
def /~[T2, N2 <: Nat](subtype: TypeSelector[T2, N2]): Selector[AmbigSelector[TypeSelector[T1, N1]] *: SubTypeSelector[TypeSelector[T2, N2]] *: EmptyTuple]
def /~[N2 <: Singleton](subtype: N2): Selector[AmbigSelector[TypeSelector[T1, N1]] *: SubTypeSelector[N2] *: EmptyTuple]
Generated with