schrodinger-math
schrodinger-math
schrodinger.math
Bound
Bound
Closed
Open
Interval
Interval
LogDouble
given_CommutativeSemifield_LogDouble_Order_LogDouble_Hash_LogDouble
UInt128
UInt128
syntax
schrodinger-math
/
schrodinger.math
/
Interval
Interval
object
Interval
Companion:
class
Graph
Supertypes
Self type
trait
Product
trait
Mirror
class
Object
trait
Matchable
class
Any
Interval
.type
Type members
Extensions
Type members
Types
type
<=@<
[
+
A
,
+
B
] =
Interval
[
Closed
[
A
],
Open
[
B
]]
type
<=@<=
[
+
A
,
+
B
] =
Interval
[
Closed
[
A
],
Closed
[
B
]]
type
<@<
[
+
A
,
+
B
] =
Interval
[
Open
[
A
],
Open
[
B
]]
type
<@<=
[
+
A
,
+
B
] =
Interval
[
Open
[
A
],
Closed
[
B
]]
Inherited types
type
MirroredElemLabels
<:
Tuple
The names of the product elements
The names of the product elements
Inherited from:
Mirror
type
MirroredLabel
<:
String
The name of the type
The name of the type
Inherited from:
Mirror
Extensions
Extensions
extension
[
A
<:
Singleton
](a:
A
)
inline
def
<=@<
[
B
<:
Singleton
](
inline
b:
B
):
A
<=@<
B
inline
def
<=@<=
[
B
<:
Singleton
](
inline
b:
B
):
A
<=@<=
B
inline
def
<@<
[
B
<:
Singleton
](
inline
b:
B
):
A
<@<
B
inline
def
<@<=
[
B
<:
Singleton
](
inline
b:
B
):
A
<@<=
B