core/it.unich.scalafix.lattice/Magma

Magma

object Magma
Companion:
class
class Object
trait Matchable
class Any
Magma.type

Value members

Concrete methods

def apply[A](implicit magma: Magma[A]): Magma[A]

Add syntactic sugar to easily get the current implicit Magma.

Add syntactic sugar to easily get the current implicit Magma.

Implicits

Implicits

implicit def domainIsMagma[A](implicit dom: Domain[A]): Magma[A]

An implicit magma whose op operator corresponds to the upper bound of a directed partial ordering.

An implicit magma whose op operator corresponds to the upper bound of a directed partial ordering.

implicit def infixMagmaOps[A](a: A)(implicit magma: Magma[A]): Ops

An implicit conversion from A to Magma[A].Ops, which allows the seamsless use of the |+| operator.

An implicit conversion from A to Magma[A].Ops, which allows the seamsless use of the |+| operator.