libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/Compared

Compared

libretto.CoreLib.Compared$
opaque object Compared

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

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.

Attributes

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.

Attributes

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]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL