case class Product(left: SemanticType, right: SemanticType) extends SemanticType with scala.Product with Serializable
- Alphabetic
- By Inheritance
- Product
- Serializable
- Serializable
- Product
- Equals
- SemanticType
- SemanticObject
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Product(left: SemanticType, right: SemanticType)
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
-
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
- Product → SemanticType
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
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
- Product → SemanticType
-
def
enumerate: Option[Iterator[Any]]
- returns
a fresh iterator over values of this type
- Definition Classes
- Product → SemanticType
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
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, 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
- Product → SemanticType
-
final
def
getClass(): Class[_]
- 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
- val left: SemanticType
-
def
lex: Option[LexFunction]
- returns
a LexerExtension that is to be used when this type is in scope
- Definition Classes
- 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
- Product → SemanticType
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def pairOps(f1: Unary, f2: Unary): Unary
-
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
- val right: SemanticType
-
def
subtype(that: 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
- Product → SemanticType
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- val toLeft: Unary
- val toRight: Unary
-
def
toString(u: Any): String
converts values into strings; pre: valid(u) == true
converts values into strings; pre: valid(u) == true
- Definition Classes
- Product → SemanticType
-
def
toString(): String
- Definition Classes
- SemanticType → AnyRef → Any
-
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
- Product → 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()