core
API
Generated with
core/generic.schema/utilities

utilities

generic.schema.utilities$
object utilities extends UtilitiesDsl

Attributes

Graph
Supertypes
trait LensDsl
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Inherited classlikes

class SelectUtility[T, S, Sel <: Tuple, Inner, Out](value: T, sch: Aux[T, S], lens: Aux[T, S, Sel, Inner, Out, T])

Attributes

Inherited from:
LensDsl
Graph
Supertypes
class Object
trait Matchable
class Any
class TS[T]()

Attributes

Inherited from:
SelectorDsl
Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Inherited methods

def field[T, N <: Nat](field: TypeSelector[T, N]): Selector[FieldSelector[TypeSelector[T, N]] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def field[N <: Singleton](field: N): Selector[FieldSelector[N] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def select[T, N <: Nat](identifier: TypeSelector[T, N]): Selector[AmbigSelector[TypeSelector[T, N]] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def select[N <: Singleton](identifier: N): Selector[AmbigSelector[N] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def subtype[T, N <: Nat](subtype: TypeSelector[T, N]): Selector[SubTypeSelector[TypeSelector[T, N]] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def subtype[N <: Singleton](subtype: N): Selector[SubTypeSelector[N] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def t[T]: TypeSelector[T, _0]

Attributes

Inherited from:
SelectorDsl
def tN[T]: TS[T]

Attributes

Inherited from:
SelectorDsl

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

Inherited extensions

extension [N1 <: Singleton](selection: N1)
def /[N2 <: Singleton](field: N2): Selector[AmbigSelector[N1] *: AmbigSelector[N2] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def /[T2, N2 <: Nat](field: TypeSelector[T2, N2]): Selector[AmbigSelector[N1] *: AmbigSelector[TypeSelector[T2, N2]] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def /-[N2 <: Singleton](field: N2): Selector[AmbigSelector[N1] *: FieldSelector[N2] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def /-[T2, N2 <: Nat](sel: TypeSelector[T2, N2]): Selector[AmbigSelector[N1] *: FieldSelector[TypeSelector[T2, N2]] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def /~[N2 <: Singleton](subtype: N2): Selector[AmbigSelector[N1] *: SubTypeSelector[N2] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def /~[T2, N2 <: Nat](subtype: TypeSelector[T2, N2]): Selector[AmbigSelector[N1] *: SubTypeSelector[TypeSelector[T2, N2]] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
extension [T1, N1 <: Nat](selection: TypeSelector[T1, N1])
def /[N2 <: Singleton](field: N2): Selector[AmbigSelector[TypeSelector[T1, N1]] *: AmbigSelector[N2] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def /[T2, N2 <: Nat](field: TypeSelector[T2, N2]): Selector[AmbigSelector[TypeSelector[T1, N1]] *: AmbigSelector[TypeSelector[T2, N2]] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def /-[N2 <: Singleton](field: N2): Selector[AmbigSelector[TypeSelector[T1, N1]] *: FieldSelector[N2] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def /-[T2, N2 <: Nat](sel: TypeSelector[T2, N2]): Selector[AmbigSelector[TypeSelector[T1, N1]] *: FieldSelector[TypeSelector[T2, N2]] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def /~[N2 <: Singleton](subtype: N2): Selector[AmbigSelector[TypeSelector[T1, N1]] *: SubTypeSelector[N2] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
def /~[T2, N2 <: Nat](subtype: TypeSelector[T2, N2]): Selector[AmbigSelector[TypeSelector[T1, N1]] *: SubTypeSelector[TypeSelector[T2, N2]] *: EmptyTuple]

Attributes

Inherited from:
SelectorDsl
extension [T, S](value: T)(using sch: Aux[T, S])
def select[Sel <: Tuple, Inner, Out](sel: Selector[Sel])(using lens: Aux[T, S, Sel, Inner, Out, T]): SelectUtility[T, S, Sel, Inner, Out]

Attributes

Inherited from:
LensDsl
extension [A](value: A)
def migrateTo[B](using iso: Migration[A, B]): B

Attributes

Inherited from:
MigrationDsl
extension [T](value: T)
def isValid[S](using sch: Aux[T, S], vld: Validation[T, Aux[T, S]]): Boolean

Attributes

Inherited from:
ValidationDsl
Generated with