schrodinger-laws
0.4-1b78ed5
schrodinger-laws
API
schrodinger.laws
LogarithmicLaws
LogarithmicLaws
LogarithmicTests
LogarithmicTests
MonusLaws
MonusLaws
MonusTests
MonusTests
schrodinger-laws
/
schrodinger.laws
/
LogarithmicLaws
LogarithmicLaws
schrodinger.laws.LogarithmicLaws
See the
LogarithmicLaws
companion object
trait
LogarithmicLaws
[
A
,
L
](
using
val
L
:
Logarithmic
[
A
,
L
])
Attributes
Companion:
object
Source:
LogarithmicLaws.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Clear all
Members list
Concise view
Value members
Concrete methods
def
divIsMinus
(
x
:
L
,
y
:
L
):
IsEq
[
A
]
Attributes
Source:
LogarithmicLaws.scala
def
linearRoundTrip
(
l
:
L
):
IsEq
[
L
]
Attributes
Source:
LogarithmicLaws.scala
def
logarithmRoundTrip
(
a
:
A
):
IsEq
[
A
]
Attributes
Source:
LogarithmicLaws.scala
def
oneIsZero
:
IsEq
[
A
]
Attributes
Source:
LogarithmicLaws.scala
def
timesIsPlus
(
x
:
L
,
y
:
L
):
IsEq
[
A
]
Attributes
Source:
LogarithmicLaws.scala
Givens
Givens
given
L
:
Logarithmic
[
A
,
L
]
Attributes
Source:
LogarithmicLaws.scala