abstract class RQuotient[V] extends Quotient with RSemanticType[V]
- Alphabetic
- By Inheritance
- RQuotient
- RSemanticType
- Quotient
- SemanticType
- SemanticObject
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new RQuotient(of: RSemanticType[V])
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
=>:(args: List[SemanticType]): SemOpType
- Definition Classes
- SemanticType
-
def
=>:(arg: SemanticType): SemOpType
enables the notation (a,b) =>: c for function types
enables the notation (a,b) =>: c for function types
- Definition Classes
- SemanticType
-
def
apply(v: V): Any
does nothing but triggers Scala type checking
does nothing but triggers Scala type checking
- Definition Classes
- RSemanticType
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
asString: String
string representation of this type (should be toString, but we want to force people to implement this)
string representation of this type (should be toString, but we want to force people to implement this)
- Definition Classes
- Quotient → SemanticType
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
val
cls: Class[V]
this must be the class object of V (which cannot be implemented generically here in Scala)
this must be the class object of V (which cannot be implemented generically here in Scala)
- Definition Classes
- RQuotient → RSemanticType
-
def
embed(into: SemanticType): Option[Unary]
returns a canonical embedding from this type into some other type only the identity of this type by default, override as needed
returns a canonical embedding from this type into some other type only the identity of this type by default, override as needed
- Definition Classes
- SemanticType
-
def
enumerate: Option[Iterator[Any]]
for a finite quotient of an infinite type, hasNext will eventually run forever
for a finite quotient of an infinite type, hasNext will eventually run forever
- returns
a fresh iterator over values of this type
- Definition Classes
- Quotient → SemanticType
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
escapedLiteral(begin: String, end: String): Some[AsymmetricEscapeLexer]
convenience method to construct a lexer for this type
convenience method to construct a lexer for this type
- Definition Classes
- SemanticType
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
fromString(s: String): Any
converts strings into values; pre: s == toString(u) for some u with valid(u) == true
converts strings into values; pre: s == toString(u) for some u with valid(u) == true
- Definition Classes
- Quotient → SemanticType
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
id: Unary
the identify function of this type
the identify function of this type
- Definition Classes
- SemanticType
-
def
init: Unit
errors in Java initializers are hard to debug; therefore, objects should put initialization code here, which will be called by MMT empty by default, may throw errors
errors in Java initializers are hard to debug; therefore, objects should put initialization code here, which will be called by MMT empty by default, may throw errors
- Definition Classes
- SemanticObject
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
lex: Option[LexFunction]
- returns
a LexerExtension that is to be used when this type is in scope
- Definition Classes
- Quotient → SemanticType
-
lazy val
mpath: MPath
the MMT URI of this object, derived from its Scala name: scala://package?name
the MMT URI of this object, derived from its Scala name: scala://package?name
- Definition Classes
- SemanticObject
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
normalform(u: Any): Any
the equivalence relation (given as a normal form conversion) on the semantic type used to obtain quotient types pre: valid(u) == true identity by default
the equivalence relation (given as a normal form conversion) on the semantic type used to obtain quotient types pre: valid(u) == true identity by default
- Definition Classes
- Quotient → SemanticType
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
val
of: SemanticType
- Definition Classes
- Quotient
-
def
quotedLiteral(key: String): Some[AsymmetricEscapeLexer]
convenience method to construct a lexer for this type
convenience method to construct a lexer for this type
- Definition Classes
- SemanticType
-
def
repr: Unary
the projection of an element to its representative
the projection of an element to its representative
- Definition Classes
- Quotient
-
def
subtype(of: SemanticType): Boolean
subtype relation only reflexivity by default, override as needed invariant: if true, embed must return identity
subtype relation only reflexivity by default, override as needed invariant: if true, embed must return identity
- Definition Classes
- SemanticType
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(u: Any): String
converts values into strings; pre: valid(u) == true
converts values into strings; pre: valid(u) == true
- Definition Classes
- Quotient → SemanticType
-
def
toString(): String
- Definition Classes
- SemanticType → AnyRef → Any
-
def
unapply(u: Any): Option[V]
does nothing but refines the Scala type if possible
does nothing but refines the Scala type if possible
- Definition Classes
- RSemanticType
-
def
valid(u: Any): Boolean
the predicate on the semantic type used to obtain subtypes
the predicate on the semantic type used to obtain subtypes
true by default
- Definition Classes
- Quotient → SemanticType
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()