EmptySchema
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait RecordSchema
class Object
trait Matchable
class Any
EmptySchema.type
Type members
Types
Inherited types
type IndicesOfProps[S2 <: RecordSchema] = S2 match {
case EmptySchema => EmptyTuple
case SchemaCons[p, s] => IndexOfProp[p] *: IndicesOfProps[s]
}
Returns the tuple made of indices of properties of another schema.
Returns the tuple made of indices of properties of another schema.
- Inherited from:
- RecordSchema
type PrependOtherSchema[S1 <: RecordSchema] = S1 match {
case EmptySchema => RecordSchema
case SchemaCons[p, s] => SchemaCons[p, PrependOtherSchema[s]]
}
Type of the concatenation of two schemas.
Type of the concatenation of two schemas.
- Inherited from:
- RecordSchema
A type function that applies a given type function to each property.
A type function that applies a given type function to each property.
- Inherited from:
- RecordSchema
Simple tuple representing an instance of this schema.
Simple tuple representing an instance of this schema.
- Inherited from:
- RecordSchema
Value members
Concrete methods
transparent inline def propertyGetter[This >: EmptySchema.type <: RecordSchema, P <: RecordProperty0](inline p: P): () => p
transparent inline def propertyUpdater[This >: EmptySchema.type <: RecordSchema, P <: RecordProperty0](inline p: P): () => p
transparent inline def replace[P1 <: RecordProperty0, P2 <: RecordProperty0](inline p1: P1, inline p2: P2): RecordSchema
Inherited methods
@targetName("SchemaCons")
inline def #:[P <: RecordProperty0, This >: EmptySchema.type <: RecordSchema](p: P): SchemaCons[P, This]
- Inherited from:
- RecordSchema
transparent inline def appendValues[S2 <: RecordSchema](inline schema2: S2)(inline schema3: AppendOtherSchema[S2]): (Values, Values) => Values
- Inherited from:
- RecordSchema
Concatenates properties of another schema.
Concatenates properties of another schema.
- Inherited from:
- RecordSchema
transparent inline def concatValues[S2 <: RecordSchema](inline schema2: S2)(inline schema3: Concat[EmptySchema.type, schema2]): (Values, Values) => Values
- Inherited from:
- RecordSchema
transparent inline def prependOtherSchema[S1 <: RecordSchema](inline s1: S1): PrependOtherSchema[S1]
- Inherited from:
- RecordSchema
transparent inline def prependValues[S1 <: RecordSchema](inline schema1: S1)(inline schema3: PrependOtherSchema[S1]): (Values, Values) => Values
- Inherited from:
- RecordSchema
transparent inline def rename[T, P1 <: RecordProperty[T], P2 <: RecordProperty[T]](inline p1: P1, inline p2: P2): RecordSchema
Replaces properties of the same type. A bit more restricted version of replace.
Replaces properties of the same type. A bit more restricted version of replace.
- Inherited from:
- RecordSchema
Concrete fields
Extensions
Inherited extensions
extension (values: Values)
transparent inline def updated[P <: RecordProperty0](inline p: P)(inline v: PropertyValueType[p]): Values
- Inherited from:
- RecordSchema