cats-docs
2.12.0
API
Generated with
cats-docs/cats/cats.kernel/cats.kernel.laws/PartialOrderLaws

PartialOrderLaws

cats.kernel.laws.PartialOrderLaws
See thePartialOrderLaws companion object
trait PartialOrderLaws[A] extends EqLaws[A]

Attributes

Companion
object
Source
PartialOrderLaws.scala
Graph
Supertypes
trait EqLaws[A]
class Object
trait Matchable
class Any
Known subtypes
trait LowerBoundedLaws[A]
trait OrderLaws[A]
trait PartialNextLaws[A]
trait UpperBoundedLaws[A]
Show all

Members list

Value members

Concrete methods

def antisymmetry(x: A, y: A): IsEq[Boolean]

Attributes

Source
PartialOrderLaws.scala
def gt(x: A, y: A): IsEq[Boolean]

Attributes

Source
PartialOrderLaws.scala
def gteqv(x: A, y: A): IsEq[Boolean]

Attributes

Source
PartialOrderLaws.scala
def lt(x: A, y: A): IsEq[Boolean]

Attributes

Source
PartialOrderLaws.scala
def partialCompare(x: A, y: A): IsEq[Boolean]

Attributes

Source
PartialOrderLaws.scala
def pmax(x: A, y: A): IsEq[Boolean]

Attributes

Source
PartialOrderLaws.scala
def pmin(x: A, y: A): IsEq[Boolean]

Attributes

Source
PartialOrderLaws.scala
def reflexivityGt(x: A): IsEq[Boolean]

Attributes

Source
PartialOrderLaws.scala
def reflexivityLt(x: A): IsEq[Boolean]

Attributes

Source
PartialOrderLaws.scala
def transitivity(x: A, y: A, z: A): IsEq[Boolean]

Attributes

Source
PartialOrderLaws.scala

Inherited methods

def antiSymmetryEq(x: A, y: A, f: A => A): IsEq[Boolean]

Attributes

Inherited from:
EqLaws
Source
EqLaws.scala
def reflexivityEq(x: A): IsEq[A]

Attributes

Inherited from:
EqLaws
Source
EqLaws.scala
def symmetryEq(x: A, y: A): IsEq[Boolean]

Attributes

Inherited from:
EqLaws
Source
EqLaws.scala
def transitivityEq(x: A, y: A, z: A): IsEq[Boolean]

Attributes

Inherited from:
EqLaws
Source
EqLaws.scala

Implicits

Implicits

implicit override def E: PartialOrder[A]

Attributes

Definition Classes
Source
PartialOrderLaws.scala
Generated with