typed-ontology-metameta/ru.primetalk.typed.ontology.simplemeta3/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
type Values = EmptyTuple

Inherited types

type HValues[H[_]] = Map[Values, H]
Inherited from:
RecordSchema
type IndicesOfProps[S2 <: RecordSchema] = S2 match { case EmptySchema => EmptyTuple case SchemaCons[p, s] => IndexOfProp[p] *: IndicesOfProps[s] }
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 PropertyGetter[P] = Values => PropertyValueType[P]
Inherited from:
RecordSchema
type PropertySet = Union[Properties] & RecordProperty0
Inherited from:
RecordSchema
type Rec = Record[R]
Inherited from:
RecordSchema
type ValueAt[I] = I match { case Int => ValueAt[RecordSchema, I] case Any => Nothing }
Inherited from:
RecordSchema

Value members

Concrete methods

def convertToMap(v: Values, m: Map[String, Any]): Map[String, Any]
def get[P2 <: RecordProperty0](p2: P2)(v: Values): Option[P]
transparent inline def indexOfProp[This >: EmptySchema.type <: RecordSchema, P2 <: PropertySet](inline p2: P2): IndexOfProp[p2]
def isEmpty: Boolean
transparent inline def projectorFrom[This >: EmptySchema.type <: RecordSchema, S1 <: RecordSchema](inline s1: S1): () => Values
transparent inline def propertyGetter[This >: EmptySchema.type <: RecordSchema, P](inline p: P): () => p
def unapply(e: EmptySchema): true

Inherited methods

transparent inline def concat[This >: EmptySchema.type <: RecordSchema, S2 <: RecordSchema](inline schema2: S2): Concat[This, schema2]
Inherited from:
RecordSchema
transparent inline def concatValues[This >: EmptySchema.type <: RecordSchema, S2 <: RecordSchema](inline schema2: S2): (Values, Values) => Concat[This, S2]
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
def indexOfPropR[This >: EmptySchema.type <: RecordSchema](p2: RecordProperty0): Int
Inherited from:
RecordSchema
transparent inline def indicesOfProps[This >: EmptySchema.type <: RecordSchema, S2 <: RecordSchema](inline s2: S2): IndicesOfProps[s2]
Inherited from:
RecordSchema
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
override def toString: String
Definition Classes
Inherited from:
RecordSchema
inline def values(inline v: Values): Values
Inherited from:
RecordSchema

Concrete fields