diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-06-07 21:46:05 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-06-07 21:46:05 +0200 |
| commit | cf42449abd68cc5c5648a1321df21f3c481e8b87 (patch) | |
| tree | d593fefbd6313fdc9c9bfe5fa13ab77462c43e5f /src/Data/Array/Nested/Internal/Ranked.hs | |
| parent | 83da7fe89c52cf84b6181141b1b0f6ffcf4ecd7c (diff) | |
Generalise Ord instances to full lexicographical order
Diffstat (limited to 'src/Data/Array/Nested/Internal/Ranked.hs')
| -rw-r--r-- | src/Data/Array/Nested/Internal/Ranked.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Internal/Ranked.hs b/src/Data/Array/Nested/Internal/Ranked.hs index f834d54..ec18899 100644 --- a/src/Data/Array/Nested/Internal/Ranked.hs +++ b/src/Data/Array/Nested/Internal/Ranked.hs @@ -59,7 +59,7 @@ type Ranked :: Nat -> Type -> Type newtype Ranked n a = Ranked (Mixed (Replicate n Nothing) a) deriving instance Show (Mixed (Replicate n Nothing) a) => Show (Ranked n a) deriving instance Eq (Mixed (Replicate n Nothing) a) => Eq (Ranked n a) -deriving instance Ord (Mixed '[] a) => Ord (Ranked 0 a) +deriving instance Ord (Mixed (Replicate n Nothing) a) => Ord (Ranked n a) deriving instance NFData (Mixed (Replicate n Nothing) a) => NFData (Ranked n a) -- just unwrap the newtype and defer to the general instance for nested arrays |