schrodinger-math
0.4-00b475f
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
schrodinger-math/schrodinger.math/Monus

Monus

schrodinger.math.Monus
See theMonus companion object
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

Attributes

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

Members list

Concise view

Value members

Abstract methods

def monus(x: A, y: A): A

Attributes

Source:
Monus.scala
def naturalOrder: PartialOrder[A]

Attributes

Source:
Monus.scala

Extensions

Extensions

extension (x: A)
final def ∸(y: A): A

Attributes

Source:
Monus.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL