Packages

c

info.kwarc.mmt.api.uom

RQuotient

abstract class RQuotient[V] extends Quotient with RSemanticType[V]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RQuotient
  2. RSemanticType
  3. Quotient
  4. SemanticType
  5. SemanticObject
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new RQuotient(of: RSemanticType[V])

Abstract Value Members

  1. abstract def by(u: Any): Any
    Definition Classes
    Quotient

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def =>:(args: List[SemanticType]): SemOpType
    Definition Classes
    SemanticType
  5. 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
  6. def apply(v: V): Any

    does nothing but triggers Scala type checking

    does nothing but triggers Scala type checking

    Definition Classes
    RSemanticType
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. 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
    QuotientSemanticType
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  10. 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
    RQuotientRSemanticType
  11. 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
  12. 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
    QuotientSemanticType
  13. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  15. 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
  16. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. 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
    QuotientSemanticType
  18. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. def id: Unary

    the identify function of this type

    the identify function of this type

    Definition Classes
    SemanticType
  21. 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
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. def lex: Option[LexFunction]

    returns

    a LexerExtension that is to be used when this type is in scope

    Definition Classes
    QuotientSemanticType
  24. 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
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. 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
    QuotientSemanticType
  27. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. val of: SemanticType
    Definition Classes
    Quotient
  30. 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
  31. def repr: Unary

    the projection of an element to its representative

    the projection of an element to its representative

    Definition Classes
    Quotient
  32. 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
  33. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  34. def toString(u: Any): String

    converts values into strings; pre: valid(u) == true

    converts values into strings; pre: valid(u) == true

    Definition Classes
    QuotientSemanticType
  35. def toString(): String
    Definition Classes
    SemanticType → AnyRef → Any
  36. 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
  37. 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
    QuotientSemanticType
  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from RSemanticType[V]

Inherited from Quotient

Inherited from SemanticType

Inherited from SemanticObject

Inherited from AnyRef

Inherited from Any

Ungrouped