diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-12 23:24:33 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-12 23:24:33 +0100 |
| commit | bcda5b7eb20874f948fbdc23b6daa3ebb792ffe0 (patch) | |
| tree | f2ea02510688f3b8684626673f5ad0572e4c65bd /src/Data/Array/Nested/Internal/Ranked.hs | |
| parent | 11c3fda9ff63c466566e1f1375f5d8ae03833c90 (diff) | |
Remove redundant constraints on arith instances
Diffstat (limited to 'src/Data/Array/Nested/Internal/Ranked.hs')
| -rw-r--r-- | src/Data/Array/Nested/Internal/Ranked.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Data/Array/Nested/Internal/Ranked.hs b/src/Data/Array/Nested/Internal/Ranked.hs index bc47579..3bdd44e 100644 --- a/src/Data/Array/Nested/Internal/Ranked.hs +++ b/src/Data/Array/Nested/Internal/Ranked.hs @@ -198,7 +198,7 @@ arithPromoteRanked2 :: forall n a b c. -> Ranked n a -> Ranked n b -> Ranked n c arithPromoteRanked2 = coerce -instance (NumElt a, PrimElt a, Num a) => Num (Ranked n a) where +instance (NumElt a, PrimElt a) => Num (Ranked n a) where (+) = arithPromoteRanked2 (+) (-) = arithPromoteRanked2 (-) (*) = arithPromoteRanked2 (*) @@ -207,12 +207,12 @@ instance (NumElt a, PrimElt a, Num a) => Num (Ranked n a) where signum = arithPromoteRanked signum fromInteger = error "Data.Array.Nested(Ranked).fromInteger: No singletons available, use explicit rreplicateScal" -instance (FloatElt a, PrimElt a, Num a) => Fractional (Ranked n a) where +instance (FloatElt a, PrimElt a) => Fractional (Ranked n a) where fromRational _ = error "Data.Array.Nested(Ranked).fromRational: No singletons available, use explicit rreplicateScal" recip = arithPromoteRanked recip (/) = arithPromoteRanked2 (/) -instance (FloatElt a, PrimElt a, Num a) => Floating (Ranked n a) where +instance (FloatElt a, PrimElt a) => Floating (Ranked n a) where pi = error "Data.Array.Nested(Ranked).pi: No singletons available, use explicit rreplicateScal" exp = arithPromoteRanked exp log = arithPromoteRanked log |