diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-04-17 10:23:20 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-04-17 10:23:20 +0200 |
commit | d5c6f0ec8d9bffed3d1d60af9ca323178e6a9d8e (patch) | |
tree | e74754c059c9559d7d11b22e1d36dc6473439731 /src/Data/Array/Nested | |
parent | f88dfced066710e42e8e48d06b55e5661f73d617 (diff) |
Neater haddocks
Diffstat (limited to 'src/Data/Array/Nested')
-rw-r--r-- | src/Data/Array/Nested/Internal.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs index e6e9ab4..d6808a0 100644 --- a/src/Data/Array/Nested/Internal.hs +++ b/src/Data/Array/Nested/Internal.hs @@ -529,7 +529,7 @@ newtype instance MixedVecs s sh (Shaped sh' a) = MV_Shaped (MixedVecs s sh (Mixe -- 'Ranked' and 'Shaped' can already be used at the top level of an array nest; -- these instances allow them to also be used as elements of arrays, thus -- making them first-class in the API. -instance (KnownINat n, Elt a) => Elt (Ranked n a) where +instance (Elt a, KnownINat n) => Elt (Ranked n a) where mshape (M_Ranked arr) | Dict <- lemKnownReplicate (Proxy @n) = mshape arr mindex (M_Ranked arr) i | Dict <- lemKnownReplicate (Proxy @n) = Ranked (mindex arr i) @@ -643,7 +643,7 @@ lemMapJustPlusApp _ _ = go (knownShape @sh1) go ShNil = Refl go (ShCons _ sh) | Refl <- go sh = Refl -instance (KnownShape sh, Elt a) => Elt (Shaped sh a) where +instance (Elt a, KnownShape sh) => Elt (Shaped sh a) where mshape (M_Shaped arr) | Dict <- lemKnownMapJust (Proxy @sh) = mshape arr mindex (M_Shaped arr) i | Dict <- lemKnownMapJust (Proxy @sh) = Shaped (mindex arr i) |