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

ru.primetalk.typed.ontology

package ru.primetalk.typed.ontology

Type members

Classlikes

final abstract class MetaSeq[+A <: OntologyType] extends OntologyType

Phantom type that represents a collection of elements of type A.

Phantom type that represents a collection of elements of type A.

sealed trait OntologyType

Meta-meta package contains instruments to define meta level of ontology.

Meta-meta package contains instruments to define meta level of ontology.

For instance here we define type classes that allows us to use arbitrary types as property identifiers.

trait PropertyIdTypeClass[PropertyId[_, _ <: OntologyType]]
final abstract class Record[+A] extends OntologyType

Phantom type that represents a record.

Phantom type that represents a record.

final abstract class Scalar[A] extends OntologyType

A type that represents a simple Scala type that is supported.

A type that represents a simple Scala type that is supported.