Packages

object TermToExpr

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

Type Members

  1. class NewNameFactory extends AnyRef

Value Members

  1. def decode(names: Vector[(Term, String)]): (Term) => Term
  2. def encode(names: Vector[(Term, String)]): (Term) => Term
  3. val formalIdInduc: FuncLike[Typ[Term], FuncLike[FuncLike[Term, FuncLike[Term, FuncLike[Equality[Term], Typ[Term]]]], Func[FuncLike[Term, Term], FuncLike[Term, FuncLike[Term, Func[Equality[Term], Term]]]]]]
  4. val formalIdRec: FuncLike[Typ[Term], FuncLike[Typ[Term], U]] forSome {type U >: _1.type <: Term with Subs[U], val _1: Term}
  5. val formalRefl: FuncLike[Typ[Term], FuncLike[Term, Equality[Term]]]
  6. def fromFormalInduc(term: Term): (Typ[Term], FuncLike[Term, FuncLike[Term, Term]])
  7. val idInduc: FuncLike[Typ[Term], FuncLike[FuncLike[Term, FuncLike[Term, FuncLike[Equality[Term], Typ[Term]]]], Func[FuncLike[Term, Term], FuncLike[Term, FuncLike[Term, Func[Equality[Term], Term]]]]]]
  8. val idRec: FuncLike[Typ[Term], FuncLike[Typ[Term], Term]]
  9. def newTermOpt(term: Term, prefix: String = "."): Option[Term]
  10. def rebuild(t: Term, prefix: String = "."): Term
  11. def rebuildList(ts: List[Term], prefix: String = "."): List[Term]
  12. def rebuildMap[U <: Term with Subs[U]](m: Map[Term, Set[(U, Term)]], prefix: String = "."): Map[Term, Set[(U, Term)]]
  13. def rebuildTyp(t: Typ[Term], prefix: String): Typ[Term]
  14. val reflFn: FuncLike[Typ[Term], FuncLike[Term, Refl[Term]]]