ru.primetalk.typed.ontology.metameta
Type members
Classlikes
Phantom type that represents a collection of elements of type A.
Phantom type that represents a collection of elements of type A.
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.
Phantom type that represents a record.
Phantom type that represents a record.
This provides information about some named instance. For example, an instance might be of type Module and contain other types.
This provides information about some named instance. For example, an instance might be of type Module and contain other types.
A type that represents a simple Scala type that is supported.
A type that represents a simple Scala type that is supported.