Packages

object Monoid

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

Value Members

  1. val M: Typ[Term]
  2. val MVars: Vector[Weighted[Term]]
  3. val X: Typ[Term]
  4. val Y: Typ[Term]
  5. val a: Term
  6. val assoc: FuncLike[Term, FuncLike[Term, FuncLike[Term, Equality[Term]]]]
  7. val b: Term
  8. val c: Term
  9. val ded: Deducer
  10. val dist: FiniteDistribution[Term]
  11. val elTyps: Func[Term, Func[Term, IdentityTyp[Term]]]
  12. val elemDist: FiniteDistribution[Term]
  13. val extensionality: FuncLike[Typ[Term], FuncLike[Typ[Term], FuncLike[Func[Term, Term], FuncLike[Term, FuncLike[Term, Func[Equality[Term], Equality[Term]]]]]]]
  14. val f: Func[Term, Term]
  15. val g: Func[Term, Term]
  16. val idUnique: GenFuncTyp[Term, Func[FuncLike[Term, Equality[Term]], Equality[Term]]]
  17. val l: Term
  18. val leftId: FuncLike[Term, Equality[Term]]
  19. val names: Vector[(FuncLike[Typ[Term], FuncLike[Typ[Term], FuncLike[Func[Term, Term], FuncLike[Func[Term, Term], FuncLike[Term, Func[Equality[Func[Term, Term]], Equality[Term]]]]]]], String)]
  20. val op: Func[Term, Func[Term, Term]]
  21. val r: Term
  22. val refl: FuncLike[Term, Refl[Term]]
  23. val rightId: FuncLike[Term, Equality[Term]]
  24. def sigma(t: Term): Term with Subs[Term]
  25. val smallDist: FiniteDistribution[Term]
  26. def smooth(fd: FiniteDistribution[Term]): FiniteDistribution[Term with Subs[Term]]
  27. val sym: FuncLike[Term, FuncLike[Term, Func[Equality[Term], Equality[Term]]]]
  28. val trans: FuncLike[Term, FuncLike[Term, FuncLike[Term, Func[Equality[Term], Func[Equality[Term], Equality[Term]]]]]]
  29. val transfer: FuncLike[Typ[Term], FuncLike[Typ[Term], FuncLike[Func[Term, Term], FuncLike[Func[Term, Term], FuncLike[Term, Func[Equality[Func[Term, Term]], Equality[Term]]]]]]]
  30. val vars: Vector[Term]
  31. val x: Term