schrodinger-laws/schrodinger.laws

schrodinger.laws

package schrodinger.laws

Type members

Classlikes

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