From d5c6f0ec8d9bffed3d1d60af9ca323178e6a9d8e Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 17 Apr 2024 10:23:20 +0200 Subject: Neater haddocks --- src/Data/Array/Nested/Internal.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Data') 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) -- cgit v1.2.3-70-g09d2