spire
.
optional
unicode
package
unicode
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
unicode
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
implicit
class
BoolOps
[
A
]
extends
AnyRef
implicit
class
EqOps
[
A
]
extends
AnyRef
implicit
class
HeytingOps
[
A
]
extends
AnyRef
implicit
class
JoinSemilatticeOps
[
A
]
extends
AnyRef
implicit
class
MeetSemilatticeOps
[
A
]
extends
AnyRef
implicit
class
PartialOrderOps
[
A
]
extends
AnyRef
implicit final
class
SymbolicSetOps
[
A
]
extends
AnyVal
implicit
class
TimesOp
[
A
]
extends
AnyRef
type
ℂ
=
Complex
[
Real
]
type
ℍ
=
Quaternion
[
Real
]
type
ℕ
=
Natural
type
ℚ
=
Rational
type
ℝ
=
Real
type
ℤ
=
SafeLong
Value Members
def
¬
[
A
]
(
a:
A
)
(
implicit
ev:
Heyting
[
A
]
)
:
A
def
Π
[
A
]
(
as:
Iterable
[
A
]
)
(
implicit
ev:
MultiplicativeMonoid
[
A
]
)
:
A
def
Σ
[
A
]
(
as:
Iterable
[
A
]
)
(
implicit
ev:
AdditiveMonoid
[
A
]
)
:
A
val
π
:
Real
val
φ
:
Real
val
ℕ
:
Natural
.type
val
ℚ
:
Rational
.type
val
ℝ
:
Real
.type
val
ℤ
:
SafeLong
.type
val
ⅇ
:
Real
val
ⅈ
:
Complex
[
Real
]
val
ⅉ
:
Quaternion
[
Real
]
def
√
[
A
]
(
a:
A
)
(
implicit
ev:
NRoot
[
A
]
)
:
A
def
∛
[
A
]
(
a:
A
)
(
implicit
ev:
NRoot
[
A
]
)
:
A
def
∜
[
A
]
(
a:
A
)
(
implicit
ev:
NRoot
[
A
]
)
:
A
def
⊤
[
A
]
(
implicit
ev:
Heyting
[
A
]
)
:
A
def
⊥
[
A
]
(
implicit
ev:
Heyting
[
A
]
)
:
A
Inherited from
AnyRef
Inherited from
Any
Ungrouped
