diff options
| author | Andrew Pritchard <awpr@google.com> | 2021-11-11 20:57:07 -0800 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-17 05:12:17 -0500 |
| commit | 7bcd91f45f468abf158753ac46679d4d3aeccd4a (patch) | |
| tree | c1fe2824d5ef1a09a7b8d68b3f1d7777d38bb9f7 | |
| parent | 33c0c83d565cc87413f98b929e042d5a7d5204bb (diff) | |
| download | haskell-7bcd91f45f468abf158753ac46679d4d3aeccd4a.tar.gz | |
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.
| -rw-r--r-- | libraries/base/Data/Type/Ord.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |