From bcda5b7eb20874f948fbdc23b6daa3ebb792ffe0 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 12 Mar 2025 23:24:33 +0100 Subject: Remove redundant constraints on arith instances --- src/Data/Array/Nested/Internal/Shaped.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/Data/Array/Nested/Internal/Shaped.hs') diff --git a/src/Data/Array/Nested/Internal/Shaped.hs b/src/Data/Array/Nested/Internal/Shaped.hs index fe36ffe..f75519f 100644 --- a/src/Data/Array/Nested/Internal/Shaped.hs +++ b/src/Data/Array/Nested/Internal/Shaped.hs @@ -196,7 +196,7 @@ arithPromoteShaped2 :: forall sh a b c. -> Shaped sh a -> Shaped sh b -> Shaped sh c arithPromoteShaped2 = coerce -instance (NumElt a, PrimElt a, Num a) => Num (Shaped sh a) where +instance (NumElt a, PrimElt a) => Num (Shaped sh a) where (+) = arithPromoteShaped2 (+) (-) = arithPromoteShaped2 (-) (*) = arithPromoteShaped2 (*) @@ -205,12 +205,12 @@ instance (NumElt a, PrimElt a, Num a) => Num (Shaped sh a) where signum = arithPromoteShaped signum fromInteger = error "Data.Array.Nested.fromInteger: No singletons available, use explicit sreplicateScal" -instance (FloatElt a, PrimElt a, Fractional a) => Fractional (Shaped sh a) where +instance (FloatElt a, PrimElt a) => Fractional (Shaped sh a) where fromRational = error "Data.Array.Nested.fromRational: No singletons available, use explicit sreplicateScal" recip = arithPromoteShaped recip (/) = arithPromoteShaped2 (/) -instance (FloatElt a, PrimElt a, Floating a) => Floating (Shaped sh a) where +instance (FloatElt a, PrimElt a) => Floating (Shaped sh a) where pi = error "Data.Array.Nested.pi: No singletons available, use explicit sreplicateScal" exp = arithPromoteShaped exp log = arithPromoteShaped log -- cgit v1.2.3-70-g09d2