schrodinger-laws
0.4-f7b3ed8
schrodinger-laws
API
schrodinger.laws
LogarithmicLaws
LogarithmicLaws
LogarithmicTests
LogarithmicTests
MonusLaws
MonusLaws
MonusTests
MonusTests
schrodinger-laws
/
schrodinger.laws
/
MonusLaws
MonusLaws
schrodinger.laws.MonusLaws
See the
MonusLaws
companion object
trait
MonusLaws
[
A
](
using
val
A
:
Monus
[
A
])
Attributes
Companion:
object
Source:
MonusLaws.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
monusAxiom1
(
x
:
A
,
y
:
A
):
IsEq
[
A
]
Attributes
Source:
MonusLaws.scala
def
monusAxiom2
(
x
:
A
,
y
:
A
,
z
:
A
):
IsEq
[
A
]
Attributes
Source:
MonusLaws.scala
def
monusAxiom3
(
x
:
A
):
IsEq
[
A
]
Attributes
Source:
MonusLaws.scala
def
monusAxiom4
(
x
:
A
):
IsEq
[
A
]
Attributes
Source:
MonusLaws.scala
def
monusNaturalOrderConsistency
(
x
:
A
,
y
:
A
):
Boolean
Attributes
Source:
MonusLaws.scala
Givens
Givens
given
A
:
Monus
[
A
]
Attributes
Source:
MonusLaws.scala