Packages

object TermPack

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

Value Members

  1. def deHash(s: String): String
  2. def fdMsg(fd: FiniteDistribution[Term]): Arr
  3. val hashReg: Regex
  4. def msgToFD(exst: ExstInducStrucs)(msg: Msg): FiniteDistribution[Term]
  5. def msgToTerm(inds: (Typ[Term]) => Option[ConstructorSeqTL[_, Term, _]] = (_) => None, indexedInds: (Term) => Option[IndexedConstructorSeqDom[_, Term, _, _, _]] = (_) => None): OrElse[Msg, Term]
  6. val msgToTermBase: OrElse[Msg, Term]
  7. def msgToTermExst(exst: ExstInducStrucs): OrElse[Msg, Term]
  8. val termToMsg: OrElse[Term, Msg]
  9. def termToMsgGet(t: Term): Msg
  10. implicit val travNamed: Traverse[Named]
  11. implicit val travNumbered: Traverse[Numbered]