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.
1 parent 96e5223 commit 147df8eCopy full SHA for 147df8e
src/Type/Data/Ordering.purs
@@ -23,7 +23,7 @@ data OProxy :: PO.Ordering -> Type
23
data OProxy ordering = OProxy
24
25
-- | Class for reflecting a type level `Ordering` at the value level
26
-class IsOrdreing :: PO.Ordering -> Constraint
+class IsOrdering :: PO.Ordering -> Constraint
27
class IsOrdering ordering where
28
reflectOrdering :: forall proxy. proxy ordering -> Ordering
29
0 commit comments