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

RecordSchema

sealed trait RecordSchema[R]

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

Companion:
object
class Object
trait Matchable
class Any

Type members

Types

type HValues[H[_]] <: Tuple
type Properties <: Tuple
type RT = R
type Rec = Record[R]
type Values <: Tuple

Value members

Abstract methods

def convertToMap(v: Values, m: Map[String, Any]): Map[String, Any]
def get[A, P <: SimplePropertyId[Record[R], A]](p: P)(v: Values): Option[A]

Concrete methods

override def toString: String
Definition Classes
Any

Abstract fields