typed-ontology-metameta/ru.primetalk.typed.ontology.simplemeta2/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 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 PropertySet = Union[Properties]
Inherited from:
RecordSchema
type Rec = Record[R]
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[P2 <: RecordProperty0, This >: EmptySchema.type <: RecordSchema](inline p2: P2): IndexOfProp[p2]
def isEmpty: Boolean
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
def fromProduct(p: Product): MirroredMonoType
Inherited from:
Singleton
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
override def toString: String
Definition Classes
Inherited from:
RecordSchema
def values(v: Values): Values
Inherited from:
RecordSchema

Concrete fields