schrodinger-laws
0.4-fc81a2e
API
Generated with
schrodinger-laws/schrodinger.laws/MonusLaws

MonusLaws

schrodinger.laws.MonusLaws
See theMonusLaws companion object
trait MonusLaws[A](using val A: Monus[A])

Attributes

Companion
object
Source
MonusLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

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
Generated with