We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Reversed
Unordered
1 parent 59afe5e commit 8a451bfCopy full SHA for 8a451bf
_sips/sips/2017-09-20-opaque-types.md
@@ -670,8 +670,8 @@ package object groups {
670
671
opaque type Unordered[A] = A
672
object Unordered extends Wrapper[Unordered] {
673
- def wraps[G[_], A](ga: G[A]): G[Reversed[A]] = ga
674
- def unwrap[G[_], A](gfa: G[Reversed[A]]): G[A] = gfa
+ def wraps[G[_], A](ga: G[A]): G[Unordered[A]] = ga
+ def unwrap[G[_], A](gfa: G[Unordered[A]]): G[A] = gfa
675
implicit def unorderedOrdering[A]: Ordering[Unordered[A]] =
676
Ordering.by(_ => ())
677
}
0 commit comments