Object

agt

IntrinsicSyntaxGLSecRef

Related Doc: package agt

Permalink

object IntrinsicSyntaxGLSecRef

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IntrinsicSyntaxGLSecRef
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class CJoinLabelFunc(t1: LabelFunction, t2: LabelFunction) extends LabelFunction with Product with Serializable

    Permalink
  2. case class CJoinTypeFunc(t1: TypeFunction, t2: TypeFunction) extends TypeFunction with Product with Serializable

    Permalink
  3. trait CJudgment extends AnyRef

    Permalink
  4. case class CLeq(ev: Evidence, F1: JudgmentFunction, F2: JudgmentFunction) extends CJudgment with Product with Serializable

    Permalink
  5. case class CMeetLabelFunc(t1: LabelFunction, t2: LabelFunction) extends LabelFunction with Product with Serializable

    Permalink
  6. case class CMeetTypeFunc(t1: TypeFunction, t2: TypeFunction) extends TypeFunction with Product with Serializable

    Permalink
  7. case class CSub(ev: Evidence, F1: JudgmentFunction, F2: JudgmentFunction) extends CJudgment with Product with Serializable

    Permalink
  8. case class EBoolType(lbl: Interval) extends EType with Product with Serializable

    Permalink
  9. case class EFuncType(t1: EType, t2: EType, lbl: Interval, lat: Interval) extends EType with Product with Serializable

    Permalink
  10. case class EIntType(lbl: Interval) extends EType with Product with Serializable

    Permalink
  11. type ELType = Interval

    Permalink
  12. case class ERefType(t: EType, lbl: Interval) extends EType with Product with Serializable

    Permalink
  13. trait EType extends AnyRef

    Permalink
  14. case class EUnitType(lbl: Interval) extends EType with Product with Serializable

    Permalink
  15. trait Evidence extends Boxeable with Highlighteable

    Permalink
  16. case class EvidenceLabel(l: ELType, r: ELType) extends Evidence with Highlighteable with Boxeable with Product with Serializable

    Permalink
  17. case class EvidenceTerm(e: Evidence, t: IntrinsicTerm) extends Product with Serializable

    Permalink
  18. case class EvidenceType(l: EType, r: EType) extends Evidence with Highlighteable with Boxeable with Product with Serializable

    Permalink
  19. case class IAdd(pc: IPc, t1: IntrinsicTerm, t2: IntrinsicTerm, ev1: Evidence, ev2: Evidence, lbl1: GLabel, lbl2: GLabel) extends ISerious with Product with Serializable

    Permalink

    terms *

  20. case class IApp(pc: IPc, t1: IntrinsicTerm, t2: IntrinsicTerm, ev1: Evidence, ev2: Evidence, tpeAnn: GType, evl: Evidence) extends ISerious with Product with Serializable

    Permalink
  21. case class IAsc(pc: IPc, e: IntrinsicTerm, t: GType, ev: Evidence) extends ISerious with IValue with Product with Serializable

    Permalink
  22. case class IAssign(pc: IPc, t1: IntrinsicTerm, t2: IntrinsicTerm, ev1: Evidence, ev2: Evidence, tpeAnn: GType, evl: Evidence) extends ISerious with Product with Serializable

    Permalink
  23. case class IBool(pc: IPc, b: Boolean, lbl: GLabel) extends SimpleValue with Product with Serializable

    Permalink
  24. case class IBoolOp(pc: IPc, t1: IntrinsicTerm, t2: IntrinsicTerm, op: String, ev1: Evidence, ev2: Evidence, lbl1: GLabel, lbl2: GLabel) extends ISerious with Product with Serializable

    Permalink
  25. case class IClosure(pc: IPc, x: IVar, t: IntrinsicTerm, lbl: GLabel, env: RuntimeEnvironment)(implicit substitutionMode: SubstitutionModel) extends SimpleValue with Product with Serializable

    Permalink
  26. case class IDeref(pc: IPc, t: IntrinsicTerm, ev: Evidence, tpeAnn: GType) extends ISerious with Product with Serializable

    Permalink
  27. case class IHole(pc: IPc) extends IntrinsicTerm with Product with Serializable

    Permalink
  28. case class IIte(pc: IPc, t1: IntrinsicTerm, t2: IntrinsicTerm, t3: IntrinsicTerm, ev1: Evidence, ev2: Evidence, ev3: Evidence, lbl: GLabel) extends ISerious with Product with Serializable

    Permalink
  29. case class ILambda(pc: IPc, x: IVar, t: IntrinsicTerm, lbl: GLabel) extends ISerious with Product with Serializable

    Permalink
  30. case class ILoc(pc: IPc, l: String, t: GType, lbl: GLabel) extends SimpleValue with Product with Serializable

    Permalink
  31. case class INumber(pc: IPc, v: Int, lbl: GLabel) extends SimpleValue with Product with Serializable

    Permalink
  32. case class IPc(evr: Evidence, lr: GLabel, lc: GLabel) extends Product with Serializable

    Permalink
  33. case class IProt(pc: IPc, t: IntrinsicTerm, l: GLabel, ev: Evidence, lc: GLabel, lbl: GLabel, tpeAnn: GType, evr: Evidence, evl: Evidence) extends ISerious with Product with Serializable

    Permalink
  34. case class IRef(pc: IPc, t: IntrinsicTerm, ev: Evidence, tpeAnn: GType, evl: Evidence) extends ISerious with Product with Serializable

    Permalink
  35. trait ISerious extends IntrinsicTerm

    Permalink
  36. case class IUnit(pc: IPc, lbl: GLabel) extends SimpleValue with Product with Serializable

    Permalink
  37. trait IValue extends IntrinsicTerm

    Permalink

    values *

  38. case class IVar(pc: IPc, x: String, tpe: GType) extends ISerious with Product with Serializable

    Permalink
  39. case class Interval(lbl1: GLabel, lbl2: GLabel) extends Product with Serializable

    Permalink

    evidence stuff

  40. trait IntrinsicTerm extends Term with Highlighteable with Boxeable with Latexable

    Permalink
  41. trait Judgment extends AnyRef

    Permalink
  42. trait JudgmentFunction extends AnyRef

    Permalink
  43. trait LabelFunction extends JudgmentFunction

    Permalink
  44. case class Leq(f1: LabelFunction, f2: LabelFunction) extends Judgment with Product with Serializable

    Permalink
  45. case class MeetLabelFunc(t1: LabelFunction, t2: LabelFunction) extends LabelFunction with Product with Serializable

    Permalink
  46. case class MeetTypeFunc(t1: TypeFunction, t2: TypeFunction) extends TypeFunction with Product with Serializable

    Permalink
  47. trait SimpleValue extends IValue

    Permalink
  48. case class Sub(f1: TypeFunction, f2: TypeFunction) extends Judgment with Product with Serializable

    Permalink
  49. trait TypeFunction extends JudgmentFunction

    Permalink
  50. case class UnitLabelFunc(t: GLabel) extends LabelFunction with Product with Serializable

    Permalink
  51. case class UnitTypeFunc(t: GType) extends TypeFunction with Product with Serializable

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object IAdd extends Serializable

    Permalink
  5. object IApp extends Serializable

    Permalink
  6. object IAsc extends Serializable

    Permalink
  7. object IAssign extends Serializable

    Permalink
  8. object IBoolOp extends Serializable

    Permalink
  9. object IDeref extends Serializable

    Permalink
  10. object IIte extends Serializable

    Permalink
  11. object IRef extends Serializable

    Permalink
  12. object Interior

    Permalink
  13. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  14. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  15. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  17. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  19. implicit def glabel2UnitFunction(t: GLabel): UnitLabelFunc

    Permalink
  20. implicit def gtype2UnitFunction(t: GType): UnitTypeFunc

    Permalink
  21. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  22. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  23. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  24. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  25. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  26. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  27. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  28. def triangle(l: EType, m: EType, r: EType): Evidence

    Permalink
  29. def triangle(l: ELType, m: ELType, r: ELType): Evidence

    Permalink
  30. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped