Packages

object HoTTgen

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

Type Members

  1. sealed trait Move extends AnyRef

Value Members

  1. val PairTerm: (Term, Term) => Option[Term]
  2. def dynTypFlow(dyn: AdjDiffbleFunction[FiniteDistribution[Term], FiniteDistribution[Term]]): (FiniteDistribution[Term]) => FiniteDistribution[Term]
  3. val funcappl: (Term, Term) => Option[Term]
  4. val functyp: (Term, Term) => Option[Term]
  5. def getTyps(d: FiniteDistribution[Term]): FiniteDistribution[Typ[Term]]
  6. val hottDyn: (Int) => AdjDiffbleFunction[(FiniteDistribution[Move], FiniteDistribution[Term]), (FiniteDistribution[Move], FiniteDistribution[Term])]
  7. val icons: (Term) => Option[Term]
  8. def inDomain: (Term) => (Term) => Boolean
  9. def isFunc(t: Term): Boolean
  10. def isTyp(t: Term): Boolean
  11. val jcons: (Term) => Option[Term]
  12. def lambdaFn[M](l: M, f: AdjDiffbleFunction[(FiniteDistribution[M], FiniteDistribution[Term]), (FiniteDistribution[M], FiniteDistribution[Term])])(typ: Typ[Term]): AdjDiffbleFunction[(FiniteDistribution[M], FiniteDistribution[Term]), (FiniteDistribution[M], FiniteDistribution[Term])]
  13. def lambdaSum[M](l: M)(f: AdjDiffbleFunction[(FiniteDistribution[M], FiniteDistribution[Term]), (FiniteDistribution[M], FiniteDistribution[Term])]): BigSum[(FiniteDistribution[M], FiniteDistribution[Term]), (FiniteDistribution[M], FiniteDistribution[Term])]
  14. val mapTyp: MoveFn[Term, Typ[Term]]
  15. lazy val moves: List[(Move, AdjDiffbleFunction[FiniteDistribution[Term], FiniteDistribution[Term]])]
  16. val paircons: (Term) => Option[Term]
  17. val pairtyp: (Term, Term) => Option[Term]
  18. val pityp: (Term) => Option[Term]
  19. val sigmatyp: (Term) => Option[Term]
  20. val typFlow: (FiniteDistribution[Term]) => FiniteDistribution[Term]
  21. val wtdDyn: (Move, AdjDiffbleFunction[FiniteDistribution[Term], FiniteDistribution[Term]]) => AdjDiffbleFunction[(FiniteDistribution[Move], FiniteDistribution[Term]), FiniteDistribution[Term]]
  22. val wtdMoveList: List[AdjDiffbleFunction[(FiniteDistribution[Move], FiniteDistribution[Term]), (FiniteDistribution[Move], FiniteDistribution[Term])]]
  23. val wtdMoveSum: AdjDiffbleFunction[(FiniteDistribution[Move], FiniteDistribution[Term]), (FiniteDistribution[Move], FiniteDistribution[Term])]
  24. object Move