schrodinger.math

Members list

Concise view

Type members

Classlikes

trait CommutativeLogarithmic[A, L] extends Logarithmic[A, L]

Attributes

Source:
Logarithmic.scala
Graph
Supertypes
trait Logarithmic[A, L]
class Object
trait Matchable
class Any
Known subtypes
object LogDouble

Attributes

Source:
LogDouble.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Logarithmic[A, L]

Attributes

Companion:
object
Source:
Logarithmic.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Attributes

Companion:
trait
Source:
Logarithmic.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Monus[A]

Amer, K. Equationally complete classes of commutative monoids with monus. Algebra Universalis 18, 129–131 (1984). https://doi.org/10.1007/BF01182254

Amer, K. Equationally complete classes of commutative monoids with monus. Algebra Universalis 18, 129–131 (1984). https://doi.org/10.1007/BF01182254

Attributes

Companion:
object
Source:
Monus.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Monus

Attributes

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

Types

opaque type LogDouble

Attributes

Source:
LogDouble.scala