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. def fromTerm(t: Term): Option[FreeExpr]
  2. def readDist(s: String, names: Vector[(Term, String)] = Vector()): FiniteDistribution[Term]
  3. def readTerm(s: String): Term
  4. def readTyp(s: String): Typ[Term]
  5. implicit def rw: upickle.default.ReadWriter[FreeExpr]
  6. def writeDist(fd: FiniteDistribution[Term], names: Vector[(Term, String)] = Vector()): String
  7. def writeExpr(fr: FreeExpr): String
  8. def writeTerm(t: Term): String
  9. object AnonVar extends Serializable
  10. case object FF extends FreeExpr with Product with Serializable
  11. object FreeAppln extends Serializable
  12. object FreeEquality extends Serializable
  13. object FreeIncl1 extends Serializable
  14. object FreeIncl2 extends Serializable
  15. object FreeLambda extends Serializable
  16. implicit object FreeLang extends ExprLang[FreeExpr] with ExprPatterns[FreeExpr]
  17. object FreePair extends Serializable
  18. object FreePi extends Serializable
  19. object FreeProj1 extends Serializable
  20. object FreeProj2 extends Serializable
  21. object FreeSigma extends Serializable
  22. object FromTerm extends TermToExpr[FreeExpr]
  23. object MetaVar extends Serializable
  24. object Numeral extends Serializable
  25. object Or extends Serializable
  26. object OrCases extends Serializable
  27. case object QED extends FreeExpr with Product with Serializable
  28. object Special extends Serializable
  29. case object TT extends FreeExpr with Product with Serializable
  30. object TypVariable extends Serializable
  31. case object Univ extends Product with Serializable
  32. object Variable extends Serializable