Packages

trait TermRec[U] extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
ShapeTreeFormat, TermShapeTree
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TermRec
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def appln(func: U, arg: U): U
  2. abstract def arrow(dom: U, codom: U): U
  3. abstract def equality(dom: U, lhs: U, rhs: U): U
  4. abstract def fromString(str: String)(implicit typ: Typ[Term]): U
  5. abstract def lambda(variable: U, typ: U, value: U): U
  6. abstract def pair(first: U, second: U): U
  7. abstract def pi(fibre: U): U
  8. abstract def plus(first: U, second: U): U
  9. abstract def sigma(fibre: U): U
  10. abstract val specialTerms: PartialFunction[Term, U]
  11. abstract def symbobj(term: SymbObj[Term]): U
  12. abstract def symbolic(name: AnySym, typ: Typ[Term]): U
  13. abstract def symbtyp(term: SymbTyp): U
  14. abstract def univ(n: Int): U

Concrete Value Members

  1. def apply(term: Term): U