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
Learn more about member selection
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