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/Shaped.hs | |
| parent | 83da7fe89c52cf84b6181141b1b0f6ffcf4ecd7c (diff) | |
Generalise Ord instances to full lexicographical order
Diffstat (limited to 'src/Data/Array/Nested/Internal/Shaped.hs')
| -rw-r--r-- | src/Data/Array/Nested/Internal/Shaped.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Internal/Shaped.hs b/src/Data/Array/Nested/Internal/Shaped.hs index c640a44..b4dc80d 100644 --- a/src/Data/Array/Nested/Internal/Shaped.hs +++ b/src/Data/Array/Nested/Internal/Shaped.hs @@ -57,7 +57,7 @@ type Shaped :: [Nat] -> Type -> Type newtype Shaped sh a = Shaped (Mixed (MapJust sh) a) deriving instance Show (Mixed (MapJust sh) a) => Show (Shaped sh a) deriving instance Eq (Mixed (MapJust sh) a) => Eq (Shaped sh a) -deriving instance Ord (Mixed '[] a) => Ord (Shaped '[] a) +deriving instance Ord (Mixed (MapJust sh) a) => Ord (Shaped sh a) deriving instance NFData (Mixed (MapJust sh) a) => NFData (Shaped sh a) -- just unwrap the newtype and defer to the general instance for nested arrays |