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

SchemaCons

final case class SchemaCons[P <: RecordProperty0, S <: RecordSchema](p: P, schema: S) extends NonEmptySchema
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 IndicesOfProps[S2 <: RecordSchema] = S2 match { case EmptySchema => EmptyTuple case SchemaCons[p, s] => IndexOfProp[p] *: IndicesOfProps[s] }
Inherited from:
RecordSchema
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
type Values = Map[Properties, PropertyValueType]
Inherited from:
RecordSchema
type ValuesElem[I <: Int] = Elem[Values, I]
Inherited from:
NonEmptySchema

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 >: SchemaCons[P, S] <: RecordSchema, P2](inline p2: P2): IndexOfProp[p2]
def indexOfThisProp(p: P): 0
def isEmpty: Boolean
transparent inline def projection[S2 <: RecordSchema](inline schema2: S2)(using ev: PropertySet <:< PropertySet): Values => Values
transparent inline def projectorFrom[This >: SchemaCons[P, S] <: RecordSchema, S1 <: RecordSchema](inline s1: S1): () => Values
transparent inline def propertyGetter[This >: SchemaCons[P, S] <: RecordSchema, P](inline p: P): () => p
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
transparent inline def concatValues[This >: SchemaCons[P, S] <: RecordSchema, S2 <: RecordSchema](inline schema2: S2): (Values, Values) => Concat[This, S2]
Inherited from:
RecordSchema
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 >: SchemaCons[P, S] <: RecordSchema](p2: RecordProperty0): Int
Inherited from:
RecordSchema
transparent inline def indicesOfProps[This >: SchemaCons[P, S] <: 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
transparent inline def valueAt[N <: Int](n: N): Values => Elem[Values, N]
Inherited from:
NonEmptySchema
inline def values(inline v: Values): Values
Inherited from:
RecordSchema

Concrete fields