Packages

object FreeExpr

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

Type Members

  1. case class AnonVar(typ: FreeExpr) extends FreeExpr with Product with Serializable
  2. case class FreeAppln(func: FreeExpr, arg: FreeExpr) extends FreeExpr with Product with Serializable
  3. case class FreeEquality(lhs: FreeExpr, rhs: FreeExpr) extends FreeExpr with Product with Serializable
  4. case class FreeIncl1(typ: FreeExpr) extends FreeExpr with Product with Serializable
  5. case class FreeIncl2(typ: FreeExpr) extends FreeExpr with Product with Serializable
  6. case class FreeLambda(variable: FreeExpr, value: FreeExpr) extends FreeExpr with Product with Serializable
  7. case class FreePair(first: FreeExpr, second: FreeExpr) extends FreeExpr with Product with Serializable
  8. case class FreePi(variable: FreeExpr, value: FreeExpr) extends FreeExpr with Product with Serializable
  9. case class FreeProj1(xy: FreeExpr) extends FreeExpr with Product with Serializable
  10. case class FreeProj2(xy: FreeExpr) extends FreeExpr with Product with Serializable
  11. case class FreeSigma(variable: FreeExpr, value: FreeExpr) extends FreeExpr with Product with Serializable
  12. case class MetaVar(typ: FreeExpr) extends FreeExpr with Product with Serializable
  13. case class Numeral(n: Int) extends FreeExpr with Product with Serializable
  14. case class Or(first: FreeExpr, second: FreeExpr) extends FreeExpr with Product with Serializable
  15. case class OrCases(first: FreeExpr, second: FreeExpr) extends FreeExpr with Product with Serializable
  16. case class Special(name: String, typ: FreeExpr, args: List[FreeExpr]) extends FreeExpr with Product with Serializable
  17. case class TypVariable(name: String, level: Int) extends FreeExpr with Product with Serializable
  18. case class Variable(name: String, typ: FreeExpr) extends FreeExpr with Product with Serializable

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. def fromTerm(t: Term): Option[FreeExpr]
  9. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  15. def readDist(s: String, names: Vector[(Term, String)] = Vector()): FiniteDistribution[Term]
  16. def readTerm(s: String): Term
  17. def readTyp(s: String): Typ[Term]
  18. implicit def rw: upickle.default.ReadWriter[FreeExpr]
  19. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  20. def toString(): String
    Definition Classes
    AnyRef → Any
  21. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  22. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  23. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  24. def writeDist(fd: FiniteDistribution[Term], names: Vector[(Term, String)] = Vector()): String
  25. def writeExpr(fr: FreeExpr): String
  26. def writeTerm(t: Term): String
  27. object AnonVar extends Serializable
  28. case object FF extends FreeExpr with Product with Serializable
  29. object FreeAppln extends Serializable
  30. object FreeEquality extends Serializable
  31. object FreeIncl1 extends Serializable
  32. object FreeIncl2 extends Serializable
  33. object FreeLambda extends Serializable
  34. implicit object FreeLang extends ExprLang[FreeExpr] with ExprPatterns[FreeExpr]
  35. object FreePair extends Serializable
  36. object FreePi extends Serializable
  37. object FreeProj1 extends Serializable
  38. object FreeProj2 extends Serializable
  39. object FreeSigma extends Serializable
  40. object FromTerm extends TermToExpr[FreeExpr]
  41. object MetaVar extends Serializable
  42. object Numeral extends Serializable
  43. object Or extends Serializable
  44. object OrCases extends Serializable
  45. case object QED extends FreeExpr with Product with Serializable
  46. object Special extends Serializable
  47. case object TT extends FreeExpr with Product with Serializable
  48. object TypVariable extends Serializable
  49. case object Univ extends Product with Serializable
  50. object Variable extends Serializable

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped