libretto/libretto/CoreLib/Compared

Compared

object Compared
class Object
trait Matchable
class Any

Type members

Types

opaque type Compared[A, B]

Value members

Concrete methods

def compared[A, B, C](caseLt: A |*| B -⚬ C, caseEq: A |*| B -⚬ C, caseGt: A |*| B -⚬ C): Compared[A, B] -⚬ C

Destructor.

Destructor.

def elimWith[A, B, C, D](caseLt: A |*| B |*| C -⚬ D, caseEq: A |*| B |*| C -⚬ D, caseGt: A |*| B |*| C -⚬ D): Compared[A, B] |*| C -⚬ D

Destructor that allows to combine the compared values with another value.

Destructor that allows to combine the compared values with another value.

def enrichWith[A, B, C, S, T](f: A |*| B |*| C -⚬ S |*| T): Compared[A, B] |*| C -⚬ Compared[S, T]
def equiv[A, B]: A |*| B -⚬ Compared[A, B]
def gt[A, B]: A |*| B -⚬ Compared[A, B]
def lt[A, B]: A |*| B -⚬ Compared[A, B]