diff options
| author | Seraphime Kirkovski <kirkseraph@gmail.com> | 2016-06-06 12:29:38 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-06-06 15:07:18 +0200 |
| commit | a90085bd45239fffd65c01c24752a9bbcef346f1 (patch) | |
| tree | 41a85ba36720d8fba0a3296ea7a844dd9fc0042a /libraries/base/Data/Complex.hs | |
| parent | 48e9a1f5521fa3185510d144dd28a87e452ce134 (diff) | |
| download | haskell-a90085bd45239fffd65c01c24752a9bbcef346f1.tar.gz | |
Add @since annotations to base instances
Add @since annotations to instances in `base`.
Test Plan:
* ./validate # some commets shouldn't break the build
* review the annotations for absurdities.
Reviewers: ekmett, goldfire, RyanGlScott, austin, hvr, bgamari
Reviewed By: RyanGlScott, hvr, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2277
GHC Trac Issues: #11767
Diffstat (limited to 'libraries/base/Data/Complex.hs')
| -rw-r--r-- | libraries/base/Data/Complex.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/libraries/base/Data/Complex.hs b/libraries/base/Data/Complex.hs index dd831bbb91..17ef805410 100644 --- a/libraries/base/Data/Complex.hs +++ b/libraries/base/Data/Complex.hs @@ -115,6 +115,7 @@ phase (x:+y) = atan2 y x -- ----------------------------------------------------------------------------- -- Instances of Complex +-- | @since 2.01 instance (RealFloat a) => Num (Complex a) where {-# SPECIALISE instance Num (Complex Float) #-} {-# SPECIALISE instance Num (Complex Double) #-} @@ -127,6 +128,7 @@ instance (RealFloat a) => Num (Complex a) where signum z@(x:+y) = x/r :+ y/r where r = magnitude z fromInteger n = fromInteger n :+ 0 +-- | @since 2.01 instance (RealFloat a) => Fractional (Complex a) where {-# SPECIALISE instance Fractional (Complex Float) #-} {-# SPECIALISE instance Fractional (Complex Double) #-} @@ -138,6 +140,7 @@ instance (RealFloat a) => Fractional (Complex a) where fromRational a = fromRational a :+ 0 +-- | @since 2.01 instance (RealFloat a) => Floating (Complex a) where {-# SPECIALISE instance Floating (Complex Float) #-} {-# SPECIALISE instance Floating (Complex Double) #-} @@ -210,6 +213,7 @@ instance (RealFloat a) => Floating (Complex a) where | otherwise = exp x - 1 {-# INLINE expm1 #-} +-- | @since 4.8.0.0 instance Storable a => Storable (Complex a) where sizeOf a = 2 * sizeOf (realPart a) alignment a = alignment (realPart a) @@ -223,9 +227,11 @@ instance Storable a => Storable (Complex a) where poke q r pokeElemOff q 1 i +-- | @since 4.9.0.0 instance Applicative Complex where pure a = a :+ a f :+ g <*> a :+ b = f a :+ g b +-- | @since 4.9.0.0 instance Monad Complex where a :+ b >>= f = realPart (f a) :+ imagPart (f b) |