Packages

p

spire.optional

unicode

package unicode

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

Type Members

  1. implicit class BoolOps[A] extends AnyRef
  2. implicit class EqOps[A] extends AnyRef
  3. implicit class HeytingOps[A] extends AnyRef
  4. implicit class JoinSemilatticeOps[A] extends AnyRef
  5. implicit class MeetSemilatticeOps[A] extends AnyRef
  6. implicit class PartialOrderOps[A] extends AnyRef
  7. implicit final class SymbolicSetOps[A] extends AnyVal
  8. implicit class TimesOp[A] extends AnyRef
  9. type ℂ = Complex[Real]
  10. type ℍ = Quaternion[Real]
  11. type ℕ = Natural
  12. type ℚ = Rational
  13. type ℝ = Real
  14. type ℤ = SafeLong

Value Members

  1. def ¬[A](a: A)(implicit ev: Heyting[A]): A
  2. def Π[A](as: Iterable[A])(implicit ev: MultiplicativeMonoid[A]): A
  3. def Σ[A](as: Iterable[A])(implicit ev: AdditiveMonoid[A]): A
  4. val π: Real
  5. val φ: Real
  6. val ℕ: Natural.type
  7. val ℚ: Rational.type
  8. val ℝ: Real.type
  9. val ℤ: SafeLong.type
  10. val ⅇ: Real
  11. val ⅈ: Complex[Real]
  12. val ⅉ: Quaternion[Real]
  13. def √[A](a: A)(implicit ev: NRoot[A]): A
  14. def ∛[A](a: A)(implicit ev: NRoot[A]): A
  15. def ∜[A](a: A)(implicit ev: NRoot[A]): A
  16. def ⊤[A](implicit ev: Heyting[A]): A
  17. def ⊥[A](implicit ev: Heyting[A]): A

Inherited from AnyRef

Inherited from Any

Ungrouped