core/it.unich.scalafix.lattice/Domain

Domain

object Domain extends LowPriorityImplicitDomains
Companion:
class
class Object
trait Matchable
class Any
Domain.type

Value members

Concrete methods

def apply[A](implicit dom: Domain[A]): Domain[A]

Add a syntactic sugar to easily get the current implicit Domain.

Add a syntactic sugar to easily get the current implicit Domain.

Implicits

Implicits

implicit def infixDomainOps[A](a: A)(implicit dom: Domain[A]): Ops

An implicit conversion from A to Domain[A].Ops, which allows the seamsless use of the infix operators.

An implicit conversion from A to Domain[A].Ops, which allows the seamsless use of the infix operators.

Inherited implicits

implicit def orderingIsDomain[A](implicit o: Ordering[A]): Domain[A]

An implicit domain obtained by an ordering, taking the max to be the upper bound operator.

An implicit domain obtained by an ordering, taking the max to be the upper bound operator.

Inherited from:
LowPriorityImplicitDomains