Selector

org.hungerford.generic.schema.selector.Selector$
See theSelector companion class

Attributes

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

Members list

Concise view

Value members

Concrete methods

def apply[N <: Singleton](identifier: N): Selector[AmbigSelector[N] *: EmptyTuple]
def field[N <: Singleton](field: N): Selector[FieldSelector[N] *: EmptyTuple]
def subtype[N <: Singleton](subtype: N): Selector[SubTypeSelector[N] *: EmptyTuple]

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