schrodinger.laws

Members list

Concise view

Type members

Classlikes

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

Attributes

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

Attributes

Companion:
trait
Source:
LogarithmicLaws.scala
Graph
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
Graph
Supertypes
trait Laws
class Object
trait Matchable
class Any

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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