Packages

object ExprLang

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

Type Members

  1. case class All[E](term: E) extends Product with Serializable
  2. case class Exists[E](term: E) extends Product with Serializable

Value Members

  1. def anonVar[E](implicit arg0: ExprLang[E]): (E) => Option[E]
  2. def appln[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  3. def applnQ[E](func: E, arg: E)(implicit arg0: ExprLang[E]): Option[E]
  4. def equality[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  5. def ff[E](implicit arg0: ExprLang[E]): Option[E]
  6. def func[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  7. def i1[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  8. def i2[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  9. def incl1[E](implicit arg0: ExprLang[E]): (E) => Option[E]
  10. def incl2[E](implicit arg0: ExprLang[E]): (E) => Option[E]
  11. def lambda[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  12. def metaVar[E](implicit arg0: ExprLang[E]): (E) => Option[E]
  13. def numeral[E](implicit arg0: ExprLang[E]): (Int) => Option[E]
  14. def or[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  15. def orCases[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  16. def pair[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  17. def pairTyp[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  18. def pi[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  19. def proj1[E](implicit arg0: ExprLang[E]): (E) => Option[E]
  20. def proj2[E](implicit arg0: ExprLang[E]): (E) => Option[E]
  21. def qed[E](implicit arg0: ExprLang[E]): Option[E]
  22. def sigma[E](implicit arg0: ExprLang[E]): ((E, E)) => Option[E]
  23. def tt[E](implicit arg0: ExprLang[E]): Option[E]
  24. def variable[E](implicit arg0: ExprLang[E]): ((String, E)) => Option[E]