Down

enum Down[a: Type]Source

case Down(a)

Type of values with reversed ordering.

Wrapping values in Down conveniently reverses the sort order of a.

Instances

instance Add[Down[a]] with Add[a]Source

instance Coerce[Down[a]]Source

type Out = a

instance Eq[Down[a]] with Eq[a]Source

instance JoinLattice[Down[a]] with MeetLattice[a]Source

instance LowerBound[Down[a]] with UpperBound[a]Source

instance MeetLattice[Down[a]] with JoinLattice[a]Source

instance Order[Down[a]] with Order[a]Source

instance PartialOrder[Down[a]] with PartialOrder[a]Source

instance ToString[Down[a]] with ToString[a]Source

instance UpperBound[Down[a]] with LowerBound[a]Source