schrodinger-laws/schrodinger.laws

schrodinger.laws

package schrodinger.laws

Type members

Classlikes

trait MonusLaws[A](using val A: Monus[A])
Companion:
object
Source:
MonusLaws.scala
object MonusLaws
Companion:
class
Source:
MonusLaws.scala
trait MonusTests[A](laws: MonusLaws[A]) extends Laws
Companion:
object
Source:
MonusTests.scala
object MonusTests
Companion:
class
Source:
MonusTests.scala