core
API
Generated with
core/generic.schema/exports

exports

generic.schema.exports$
object exports extends FieldDsl with SubtypeDsl with SchemaDsl with SelectorDsl

Attributes

Graph
Supertypes
trait SchemaDsl
trait FieldDsl
class Object
trait Matchable
class Any
Self type
exports.type

Members list

Concise view

Type members

Inherited classlikes

class FieldSchemaRebuilder[Builder, T, F, N <: FieldName, S](builder: Builder, field: Field[T, F, N, S])

Attributes

Inherited from:
FieldDsl
Graph
Supertypes
class Object
trait Matchable
class Any
class FromPrimitive[T, F]()

Attributes

Inherited from:
FieldDsl
Graph
Supertypes
class Object
trait Matchable
class Any
class FromSchema[T, F]()

Attributes

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

Attributes

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

Types

type Field[T, F, N <: FieldName, S] = Field[T, F, N, S]
type Schema[T] = Schema[T]
type Subtype[T, ST, D, DN, DV, N <: TypeName, S] = Subtype[T, ST, D, DN, DV, N, S]
type Validator[T] = Validator[T]

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

Concrete fields

val Field: Field.type
val Schema: Schema.type
val Subtype: Subtype.type

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 (field: Field.type)
def builder[T, F]: FieldBuilder[T, F, Unit, Unit, Nothing, Unit]

Attributes

Inherited from:
FieldDsl
def fromSchema[T, F]: FromSchema[T, F]

Attributes

Inherited from:
FieldDsl
def primitive[T, F]: FromPrimitive[T, F]

Attributes

Inherited from:
FieldDsl
extension [T, F, N <: FieldName](field: LazyField[T, F, N])
def addExamples(exs: F*): LazyField[T, F, N]

Attributes

Inherited from:
FieldDsl
def addValidators(vals: Validator[F]*): LazyField[T, F, N]

Attributes

Inherited from:
FieldDsl
def rebuild: FieldBuilder[T, F, N, Unit, Deferred, T => F]

Attributes

Inherited from:
FieldDsl
def withDefault(defaultValue: F): LazyField[T, F, N]

Attributes

Inherited from:
FieldDsl
def withDescription(desc: String): LazyField[T, F, N]

Attributes

Inherited from:
FieldDsl
def withExamples(exs: F*): LazyField[T, F, N]

Attributes

Inherited from:
FieldDsl
def withName[N1 <: FieldName](name: N1): LazyField[T, F, N1]

Attributes

Inherited from:
FieldDsl
def withSchema[S](sch: Aux[F, S]): Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
def withValidators(vals: Validator[F]*): LazyField[T, F, N]

Attributes

Inherited from:
FieldDsl
def withoutDefault: LazyField[T, F, N]

Attributes

Inherited from:
FieldDsl
def withoutDescription: LazyField[T, F, N]

Attributes

Inherited from:
FieldDsl
def withoutExamples: LazyField[T, F, N]

Attributes

Inherited from:
FieldDsl
def withoutValidation: LazyField[T, F, N]

Attributes

Inherited from:
FieldDsl
extension [T, F, N <: FieldName, S](field: Field[T, F, N, S])
def apply[Sel <: Tuple, Inner](selector: Selector[Sel])(using cr: Aux[Field[T, F, N, S], Sel, Inner]): Inner

Attributes

Inherited from:
FieldDsl
extension [T, F, N <: FieldName, S](field: Field[T, F, N, S])
def addExamples(exs: F*): Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
def addValidators(vals: Validator[F]*): Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
def modifyComponent[Sel <: Tuple, Inner](selector: Selector[Sel])(using cr: Aux[Field[T, F, N, S], Sel, Inner]): Updater[Field[T, F, N, S], Inner, Sel]

Attributes

Inherited from:
FieldDsl
def modifySchema[NewS](modifier: Aux[F, S] => Aux[F, NewS]): Field[T, F, N, NewS]

Attributes

Inherited from:
FieldDsl
def rebuild: FieldBuilder[T, F, N, Aux[F, S], S, T => F]

Attributes

Inherited from:
FieldDsl
def rebuildSchema(using rb: SchemaRebuilder[F, S]): FieldSchemaRebuilder[Builder, T, F, N, S]

Attributes

Inherited from:
FieldDsl
def withDefault(defaultValue: F): Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
def withDescription(desc: String): Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
def withExamples(exs: F*): Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
def withName[N1 <: FieldName](name: N1): Field[T, F, N1, S]

Attributes

Inherited from:
FieldDsl
def withSchema[S1](sch: Aux[F, S1]): Field[T, F, N, S1]

Attributes

Inherited from:
FieldDsl
def withValidation(vals: Validator[F]*): Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
def withoutDefault: Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
def withoutDescription: Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
def withoutExamples: Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
def withoutValidation: Field[T, F, N, S]

Attributes

Inherited from:
FieldDsl
extension (sch: Schema.type)
def productBuilder[T]: ProductSchemaBuilder[T, EmptyTuple, EmptyTuple, Nothing, Unit, Unit, Unit]

Attributes

Inherited from:
SchemaDsl
extension (sch: Schema.type)
def singleton[T <: Singleton, N <: TypeName](value: T, name: N): Aux[T, SingletonShape[T, N]]

Attributes

Inherited from:
SchemaDsl
def singletonBuilder[T <: Singleton]: SingletonSchemaBuilder[T, Unit]

Attributes

Inherited from:
SchemaDsl
def singletonBuilderOf[T <: Singleton](value: T): SingletonSchemaBuilder[T, Unit]

Attributes

Inherited from:
SchemaDsl
extension (sch: Schema.type)
def primitive[T]: Aux[T, Unit]

Attributes

Inherited from:
SchemaDsl
def primitiveBuilder[T]: PrimitiveSchemaBuilder[T]

Attributes

Inherited from:
SchemaDsl
extension (sch: Schema.type)
def coproductBuilder[T]: CoproductSchemaBuilder[T, EmptyTuple, Unit, Unit]

Attributes

Inherited from:
SchemaDsl
extension (sch: Schema.type)
def derived[T](using sd: SchemaDeriver[T]): Aux[T, Shape]

Attributes

Inherited from:
SchemaDsl
extension (sch: Schema.type)
def derivedBuilder[T](using bldDeriv: SchemaBuildDeriver[T]): Builder

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def modifyComponent[Sel <: Tuple, Inner](selector: Selector[Sel])(using crt: Aux[Aux[T, S], Sel, Inner]): Updater[Aux[T, S], Inner, Sel]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def withExamples(examples: T*): Aux[T, S]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def withDescription(description: String): Aux[T, S]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def withValidation(validators: Validator[T]*): Aux[T, S]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def withoutName: Aux[T, S]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def withName(name: String): Aux[T, S]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def apply[Sel <: Tuple](selector: Selector[Sel])(using crt: ComponentRetriever[Aux[T, S], Sel]): Inner

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def withoutValidation: Aux[T, S]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def extractSchema[InnerT](using extr: SchemaExtractor[InnerT, Aux[T, S]]): Aux[InnerT, Shape]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def as[OtherSchema[_]](using tr: SchemaTranslator[T, S, OtherSchema]): OtherSchema[T]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def validate(value: T)(using valid: Validation[T, Aux[T, S]]): Boolean

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def withoutExamples: Aux[T, S]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def withoutDeprecated: Aux[T, S]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def withoutDescription: Aux[T, S]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def withDeprecated: Aux[T, S]

Attributes

Inherited from:
SchemaDsl
extension [T, S](schema: Aux[T, S])
def rebuild(using srb: SchemaRebuilder[T, S]): Builder

Attributes

Inherited from:
SchemaDsl
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 (subtype: Subtype.type)
def builder[T, ST, D, DN](using dn: ValueOf[DN], tsEv: ToSuperGenerator[T, ST]): SubtypeBuilder[T, ST, D, DN, Unit, TS, Unit, Unit, Nothing, Unit]

Attributes

Inherited from:
SubtypeDsl
extension [T, ST, D, DN, DV, N <: TypeName, S](subtype: Subtype[T, ST, D, DN, DV, N, S])
def addExamples(example: ST, otherExamples: ST*): Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def addValidators(validator: Validator[ST], otherValidators: Validator[ST]*): Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def apply[Sel <: Tuple, Inner](selector: Selector[Sel])(using cr: Aux[Subtype[T, ST, D, DN, DV, N, S], Sel, Inner]): Inner

Attributes

Inherited from:
SubtypeDsl
def asDeprecated: Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def asUndeprecated: Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def modifyComponent[Sel <: Tuple, Inner](selector: Selector[Sel])(using cr: Aux[Subtype[T, ST, D, DN, DV, N, S], Sel, Inner]): Updater[Subtype[T, ST, D, DN, DV, N, S], Inner, Sel]

Attributes

Inherited from:
SubtypeDsl
def modifySchema[NewS](modifier: Aux[ST, S] => Aux[ST, NewS]): Subtype[T, ST, D, DN, DV, N, NewS]

Attributes

Inherited from:
SubtypeDsl
def rebuild: SubtypeBuilder[T, ST, D, DN, DV, ST => T, T => Option[ST], N, S, Aux[ST, S]]

Attributes

Inherited from:
SubtypeDsl
def withDefault(default: ST): Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def withDescription(description: String): Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def withDiscriminatorValue[NewDV <: D & Singleton](value: NewDV)(using ev: NotGiven[D =:= Unit]): Subtype[T, ST, D, DN, NewDV, N, S]

Attributes

Inherited from:
SubtypeDsl
def withExamples(example: ST, otherExamples: ST*): Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def withFromSuper(fromSuper: T => Option[ST]): Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def withName[NewN <: TypeName](name: NewN): Subtype[T, ST, D, DN, DV, NewN, S]

Attributes

Inherited from:
SubtypeDsl
def withSchema[NewS](schema: Aux[ST, NewS]): Subtype[T, ST, D, DN, DV, N, NewS]

Attributes

Inherited from:
SubtypeDsl
def withToSuper(toSuper: ST => T): Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def withValidation(validator: Validator[ST], otherValidators: Validator[ST]*): Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def withoutDefault: Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def withoutDescription: Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def withoutDiscriminator: Subtype[T, ST, Unit, Unit, Unit, N, S]

Attributes

Inherited from:
SubtypeDsl
def withoutExamples: Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
def withoutValidators: Subtype[T, ST, D, DN, DV, N, S]

Attributes

Inherited from:
SubtypeDsl
extension [T, ST, D, DN, DV, N <: TypeName](subtype: LazySubtype[T, ST, D, DN, DV, N])
def addExamples(example: ST, otherExamples: ST*): LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def addValidators(validator: Validator[ST], otherValidators: Validator[ST]*): LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def apply[Sel <: Tuple, Inner](selector: Selector[Sel])(using cr: Aux[LazySubtype[T, ST, D, DN, DV, N], Sel, Inner]): Inner

Attributes

Inherited from:
SubtypeDsl
def asDeprecated: LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def asUndeprecated: LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def modifyComponent[Sel <: Tuple, Inner](selector: Selector[Sel])(using cr: Aux[LazySubtype[T, ST, D, DN, DV, N], Sel, Inner]): Updater[LazySubtype[T, ST, D, DN, DV, N], Inner, Sel]

Attributes

Inherited from:
SubtypeDsl
def rebuild: SubtypeBuilder[T, ST, D, DN, DV, ST => T, T => Option[ST], N, Nothing, Unit]

Attributes

Inherited from:
SubtypeDsl
def withDefault(default: ST): LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def withDescription(description: String): LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def withDiscriminatorValue[NewDV <: D & Singleton](value: NewDV)(using ev: NotGiven[D =:= Unit]): LazySubtype[T, ST, D, DN, NewDV, N]

Attributes

Inherited from:
SubtypeDsl
def withExamples(example: ST, otherExamples: ST*): LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def withFromSuper(fromSuper: T => Option[ST]): LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def withName[NewN <: TypeName](name: NewN): LazySubtype[T, ST, D, DN, DV, NewN]

Attributes

Inherited from:
SubtypeDsl
def withToSuper(toSuper: ST => T): LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def withValidators(validator: Validator[ST], otherValidators: Validator[ST]*): LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def withoutDefault: LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def withoutDescription: LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def withoutDiscriminator: LazySubtype[T, ST, Unit, Unit, Unit, N]

Attributes

Inherited from:
SubtypeDsl
def withoutExamples: LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
def withoutValidators: LazySubtype[T, ST, D, DN, DV, N]

Attributes

Inherited from:
SubtypeDsl
Generated with