core/spire.optional.unicode

spire.optional.unicode

package spire.optional.unicode

Type members

Types

type ℂ = Complex[Real]
type ℕ = Natural
type ℚ = Rational
type ℝ = Real
type ℤ = SafeLong

Value members

Concrete methods

def ¬[A](a: A)(using ev: Heyting[A]): A
def Π[A](as: Iterable[A])(using ev: MultiplicativeMonoid[A]): A
def Σ[A](as: Iterable[A])(using ev: AdditiveMonoid[A]): A
def √[A](a: A)(using ev: NRoot[A]): A
def ∛[A](a: A)(using ev: NRoot[A]): A
def ∜[A](a: A)(using ev: NRoot[A]): A
def ⊤[A](using ev: Heyting[A]): A
def ⊥[A](using ev: Heyting[A]): A

Concrete fields

val π: Real
val φ: Real
val ℕ: Natural
val ℝ: Real
val ⅇ: Real

Extensions

Extensions

extension [A](lhs: A)
def ≤(using ev: PartialOrder[A])(rhs: A): Boolean
def ≥(using ev: PartialOrder[A])(rhs: A): Boolean
extension [A](lhs: A)
def ⊻(using ev: Bool[A])(rhs: A): A
def ⊼(using ev: Bool[A])(rhs: A): A
def ⊽(using ev: Bool[A])(rhs: A): A
extension [A](lhs: A)
def ∨(using ev: JoinSemilattice[A])(rhs: A): A
extension [A](lhs: A)
def ⊃(using ev: Heyting[A])(rhs: A): A
extension [A](lhs: Set[A])
def \(rhs: Set[A]): Set[A]
def ∈:[A]: Boolean
def ∉:[A]: Boolean
def ∋(a: A): Boolean
def ∌(a: A): Boolean
def ∩(rhs: Set[A]): Set[A]
def ∪(rhs: Set[A]): Set[A]
def ⊂(rhs: Set[A]): Boolean
def ⊃(rhs: Set[A]): Boolean
def ⊆(rhs: Set[A]): Boolean
def ⊇(rhs: Set[A]): Boolean
extension [A](lhs: A)
def ∧(using ev: MeetSemilattice[A])(rhs: A): A
extension [A](lhs: A)
def ∙(using ev: MultiplicativeSemigroup[A])(rhs: A): A
extension [A](lhs: A)
def ≠(using ev: Eq[A])(rhs: A): Boolean
def ≡(using ev: Eq[A])(rhs: A): Boolean