Packages

o

provingground.interface

ConciseTermJson

object ConciseTermJson

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConciseTermJson
  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 fdJson(fd: FiniteDistribution[Term]): Arr
  3. val hashReg: Regex
  4. def jsToFD(exst: ExstInducStrucs)(js: Value): FiniteDistribution[Term]
  5. def jsToTermExst(exst: ExstInducStrucs): OrElse[Value, Term]
  6. def jsonToTerm(inds: (Typ[Term]) => Option[ConstructorSeqTL[_, Term, _]] = (_) => None, indexedInds: (Term) => Option[IndexedConstructorSeqDom[_, Term, _, _, _]] = (_) => None): OrElse[Value, Term]
  7. val jsonToTermBase: OrElse[Value, Term]
  8. val termToJson: OrElse[Term, Value]
  9. def termToJsonGet(t: Term): Value
  10. implicit val travNamed: Traverse[Named]
  11. object ContextJson