typed-ontology-metameta/ru.primetalk.typed.ontology.simplemeta2/SchemaCons

SchemaCons

final case class SchemaCons[P <: RecordProperty0, S <: RecordSchema](p: P, schema: S) extends RecordSchema
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Types

type R = R | R

Inherited types

type HValues[H[_]] = Map[Values, H]
Inherited from:
RecordSchema
type PropertySet = Union[Properties]
Inherited from:
RecordSchema
type Rec = Record[R]
Inherited from:
RecordSchema
type Values = Map[Properties, PropertyValueType]
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 >: SchemaCons[P, S] <: RecordSchema](inline p2: P2): IndexOfProp[p2]
def indexOfThisProp(p: P): 0
def isEmpty: Boolean
def unapply[This >: SchemaCons[P, S] <: SchemaCons[P, S]]: Unapply[This]

Inherited methods

transparent inline def concat[This >: SchemaCons[P, S] <: RecordSchema, S2 <: RecordSchema](inline schema2: S2): Concat[This, schema2]
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
def values(v: Values): Values
Inherited from:
RecordSchema

Concrete fields