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

NonEmptySchema

sealed trait NonEmptySchema extends RecordSchema
class Object
trait Matchable
class Any
class SchemaCons[P, S]

Type members

Types

type Properties <: NonEmptyTuple
type ValuesElem[I <: Int] = Elem[Values, I]

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 ParentSchemaOrNothing <: RecordSchema { type R <: R; }
Inherited from:
RecordSchema
type PropertyGetter[P] = Values => PropertyValueType[P]
Inherited from:
RecordSchema
type PropertySet = Union[Properties] & RecordProperty0
Inherited from:
RecordSchema
type R
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

Value members

Concrete methods

transparent inline def valueAt[N <: Int](n: N): Values => Elem[Values, N]

Inherited methods

transparent inline def concat[This >: NonEmptySchema <: RecordSchema, S2 <: RecordSchema](inline schema2: S2): Concat[This, schema2]
Inherited from:
RecordSchema
transparent inline def concatValues[This >: NonEmptySchema <: RecordSchema, S2 <: RecordSchema](inline schema2: S2): (Values, Values) => Concat[This, S2]
Inherited from:
RecordSchema
def convertToMap(v: Values, m: Map[String, Any]): Map[String, Any]
Inherited from:
RecordSchema
def get[P2 <: RecordProperty0](p2: P2)(v: Values): Option[P]
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
transparent inline def indexOfProp[This >: NonEmptySchema <: RecordSchema, P2 <: PropertySet](inline p2: P2): IndexOfProp[p2]
Inherited from:
RecordSchema
def indexOfPropR[This >: NonEmptySchema <: RecordSchema](p2: RecordProperty0): Int
Inherited from:
RecordSchema
transparent inline def indicesOfProps[This >: NonEmptySchema <: RecordSchema, S2 <: RecordSchema](inline s2: S2): IndicesOfProps[s2]
Inherited from:
RecordSchema
def isEmpty: Boolean
Inherited from:
RecordSchema
transparent inline def projectorFrom[This >: NonEmptySchema <: RecordSchema, S1 <: RecordSchema](inline s1: S1): () => Values
Inherited from:
RecordSchema
transparent inline def propertyGetter[This >: NonEmptySchema <: RecordSchema, P](inline p: P): () => p
Inherited from:
RecordSchema
override def toString: String
Definition Classes
Inherited from:
RecordSchema
inline def values(inline v: Values): Values
Inherited from:
RecordSchema

Inherited fields