agt
IntrinsicSyntax
Related Doc:
package agt
object
IntrinsicSyntax
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
IntrinsicSyntax
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
EType
=
GType
evidence stuff
case class
Evidence
(
l:
EType
,
r:
EType
)
extends
Highlighteable
with
Boxeable
with
Product
with
Serializable
case class
EvidenceTerm
(
e:
Evidence
,
t:
IntrinsicTerm
)
extends
Product
with
Serializable
case class
IAdd
(
t1:
IntrinsicTerm
,
t2:
IntrinsicTerm
,
ev1:
Evidence
,
ev2:
Evidence
)
extends
ISerious
with
Product
with
Serializable
terms *
case class
IApp
(
t1:
IntrinsicTerm
,
t2:
IntrinsicTerm
,
ev1:
Evidence
,
ev2:
Evidence
,
tpeAnn:
GType
)
extends
ISerious
with
Product
with
Serializable
case class
IAsc
(
e:
IntrinsicTerm
,
t:
GType
,
ev:
Evidence
)
extends
ISerious
with
IValue
with
Product
with
Serializable
case class
IAssign
(
t1:
IntrinsicTerm
,
t2:
IntrinsicTerm
,
ev1:
Evidence
,
ev2:
Evidence
,
tpeAnn:
GType
)
extends
ISerious
with
Product
with
Serializable
case class
IBool
(
b:
Boolean
)
extends
SimpleValue
with
Product
with
Serializable
case class
IClosure
(
x:
IVar
,
t:
IntrinsicTerm
,
env:
RuntimeEnvironment
)
(
implicit
substitutionMode:
SubstitutionModel
)
extends
SimpleValue
with
Product
with
Serializable
case class
IDeref
(
t:
IntrinsicTerm
,
ev:
Evidence
,
tpeAnn:
GType
)
extends
ISerious
with
Product
with
Serializable
case class
IHole
()
extends
IntrinsicTerm
with
Product
with
Serializable
case class
IIte
(
t1:
IntrinsicTerm
,
t2:
IntrinsicTerm
,
t3:
IntrinsicTerm
,
ev1:
Evidence
,
ev2:
Evidence
,
ev3:
Evidence
)
extends
ISerious
with
Product
with
Serializable
case class
ILambda
(
x:
IVar
,
t:
IntrinsicTerm
)
extends
ISerious
with
Product
with
Serializable
case class
ILoc
(
l:
String
,
t:
GType
)
extends
SimpleValue
with
Product
with
Serializable
case class
INumber
(
v:
Int
)
extends
SimpleValue
with
Product
with
Serializable
case class
IRef
(
t:
IntrinsicTerm
,
ev:
Evidence
,
tpeAnn:
GType
)
extends
ISerious
with
Product
with
Serializable
trait
ISerious
extends
IntrinsicTerm
case class
IUnit
()
extends
SimpleValue
with
Product
with
Serializable
trait
IValue
extends
IntrinsicTerm
values *
case class
IVar
(
x:
String
,
tpe:
GType
)
extends
ISerious
with
Product
with
Serializable
trait
IntrinsicTerm
extends
Term
with
Highlighteable
with
Boxeable
with
Latexable
trait
Judgment
extends
AnyRef
case class
Sim
(
ev:
Evidence
,
t1:
GType
,
t2:
GType
)
extends
Judgment
with
Product
with
Serializable
trait
SimpleValue
extends
IValue
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
object
IAdd
extends
Serializable
object
IApp
extends
Serializable
object
IAsc
extends
Serializable
object
IAssign
extends
Serializable
object
IDeref
extends
Serializable
object
IIte
extends
Serializable
object
IRef
extends
Serializable
object
Interior
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
meet
(
t1:
GType
,
t2:
GType
)
:
GType
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
terror
(
t1:
GType
,
t2:
GType
)
:
Nothing
def
toString
()
:
String
Definition Classes
AnyRef → Any
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
(
...
)
Inherited from
AnyRef
Inherited from
Any
Ungrouped