typed-ontology-simple-meta/ru.primetalk.typed.ontology.simple.meta/EmptySchema

EmptySchema

case object EmptySchema extends RecordSchema
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Types

type ParentSchemaOrNothing = Nothing
type Properties = EmptyTuple
type R = Nothing

Inherited types

type EitherValues[E] = ValuesMap[[V] =>> Either[E, V]]
Inherited from:
RecordSchema
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 MirroredElemLabels = EmptyTuple
Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror
type MirroredMonoType = Singleton
Inherited from:
Singleton
type MirroredType = Singleton
Inherited from:
Singleton
type OptionValues = ValuesMap[Option]
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
type PropertiesMap[F[_]] = Map[Properties, F]

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
type PropertySet = Union[Properties] & RecordProperty0
Inherited from:
RecordSchema
type ValueAt[I] = I match { case Int => ValueAt[RecordSchema, I] case Any => Nothing }
Inherited from:
RecordSchema
type Values = PropertiesMap[PropertyValueType]

Simple tuple representing an instance of this schema.

Simple tuple representing an instance of this schema.

Inherited from:
RecordSchema
type ValuesMap[H[_]] = Map[Values, H]
Inherited from:
RecordSchema

Value members

Concrete methods

transparent inline def appendOtherSchema[S2 <: RecordSchema](inline s2: S2): AppendOtherSchema[S2]
def convertToMap(v: Values, m: Map[String, Any]): Map[String, Any]
def get[P2](p2: P2)(v: Values): Option[PropertyValueType[p2]]
transparent inline def projectorFrom[S1 <: RecordSchema](inline s1: S1): Values => Values
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 remove[P1 <: RecordProperty0](inline p1: P1): Remove[p1]
transparent inline def replace[P1 <: RecordProperty0, P2 <: RecordProperty0](inline p1: P1, inline p2: P2): RecordSchema
transparent inline def transformEither[E]: EitherValues[E] => Either[List[E], Values]
transparent inline def transformOption: OptionValues => Option[Values]
def unapply(e: EmptySchema): true

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
inline def concat[S2 <: RecordSchema](inline schema2: S2): Concat[EmptySchema.type, schema2]

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 fkPredicate[FK <: ForeignKeyId0](inline fk: FK): Values => Boolean
Inherited from:
RecordSchema
def fromProduct(p: Product): MirroredMonoType
Inherited from:
Singleton
transparent inline def getByIndex[I <: Int](inline i: I)(v: Values): ValueAt[I]
Inherited from:
RecordSchema
def getByIndexRuntime(i: Int)(v: Values): Any
Inherited from:
RecordSchema
transparent inline def indexOfProp[P2 <: RecordProperty0](inline p2: P2): IndexOfProp[p2]
Inherited from:
RecordSchema
transparent inline def indicesOfProps[S2 <: RecordSchema](inline s2: S2): IndicesOfProps[s2]
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
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
transparent inline def projection[S2 <: RecordSchema](inline schema2: S2): 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
override def toString: String
Definition Classes
Inherited from:
RecordSchema

Concrete fields

Extensions

Inherited extensions

extension (values: Values)
transparent inline def apply[P <: RecordProperty0](inline p: P): PropertyValueType[p]
Inherited from:
RecordSchema
transparent inline def updated[P <: RecordProperty0](inline p: P)(inline v: PropertyValueType[p]): Values
Inherited from:
RecordSchema