schrodinger.laws

Members list

Type members

Classlikes

trait LogarithmicLaws[A, L](using val L: Logarithmic[A, L])

Attributes

Companion
object
Source
LogarithmicLaws.scala
Supertypes
class Object
trait Matchable
class Any

Attributes

Companion
trait
Source
LogarithmicLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait LogarithmicTests[A, L](laws: LogarithmicLaws[A, L]) extends Laws

Attributes

Companion
object
Source
LogarithmicTests.scala
Supertypes
trait Laws
class Object
trait Matchable
class Any

Attributes

Companion
trait
Source
LogarithmicTests.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait MonusLaws[A](using val A: Monus[A])

Attributes

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

Attributes

Companion
trait
Source
MonusLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
MonusLaws.type
trait MonusTests[A](laws: MonusLaws[A]) extends Laws

Attributes

Companion
object
Source
MonusTests.scala
Supertypes
trait Laws
class Object
trait Matchable
class Any
object MonusTests

Attributes

Companion
trait
Source
MonusTests.scala
Supertypes
class Object
trait Matchable
class Any
Self type
MonusTests.type