From 7bcd91f45f468abf158753ac46679d4d3aeccd4a Mon Sep 17 00:00:00 2001 From: Andrew Pritchard Date: Thu, 11 Nov 2021 20:57:07 -0800 Subject: Provide in-line kind signatures for Data.Type.Ord.Compare. Haddock doesn't know how to render SAKS, so the only current way to make the documentation show the kind is to write what it should say into the type family declaration. --- libraries/base/Data/Type/Ord.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libraries/base/Data/Type/Ord.hs b/libraries/base/Data/Type/Ord.hs index 45cefbb64a..463568898b 100644 --- a/libraries/base/Data/Type/Ord.hs +++ b/libraries/base/Data/Type/Ord.hs @@ -48,7 +48,7 @@ import Data.Ord -- -- @since 4.16.0.0 type Compare :: k -> k -> Ordering -type family Compare a b +type family Compare (a :: k) (b :: k) :: Ordering type instance Compare (a :: Natural) b = CmpNat a b type instance Compare (a :: Symbol) b = CmpSymbol a b -- cgit v1.2.1