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

RecordSchema

sealed trait RecordSchema

Schema of properties for record R. We can use tuples to represent instances of this schema.

Companion:
object
class Object
trait Matchable
class Any
object EmptySchema.type
class SchemaCons[P, S]

Type members

Types

type HValues[H[_]] = Map[Values, H]
type ParentSchemaOrNothing <: RecordSchema { type R <: R; }
type Properties <: Tuple
type PropertySet = Union[Properties]
type R
type Rec = Record[R]

Value members

Abstract 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 >: RecordSchema <: RecordSchema](inline p2: P2): IndexOfProp[p2]
def isEmpty: Boolean

Concrete methods

transparent inline def concat[This >: RecordSchema <: RecordSchema, S2 <: RecordSchema](inline schema2: S2): Concat[This, schema2]
override def toString: String
Definition Classes
Any

Abstract fields