Portability | Haskell2010 |
---|---|

Stability | provisional |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Safe Haskell | Safe-Infered |

# Documentation

real :: Simple Lens (Complex a) aSource

Access the real part of a complex number

real :: Functor f => (a -> f a) -> Complex a -> f (Complex a)

imaginary :: Simple Lens (Complex a) aSource

Access the imaginary part of a complex number

imaginary :: Functor f => (a -> f a) -> Complex a -> f (Complex a)

polarize :: (RealFloat a, RealFloat b) => Iso (Complex a) (Complex b) (a, a) (b, b)Source

This isn't *quite* a legal lens. Notably the `view l (set l b a) = b`

law
is violated when you set a polar value with 0 magnitude and non-zero phase
as the phase information is lost. So don't do that! Otherwise, this is a
perfectly cromulent lens.

traverseComplex :: Traversal (Complex a) (Complex b) a bSource

Traverse both the real and imaginary parts of a complex number.

traverseComplex :: Applicative f => (a -> f b) -> Complex a -> f (Complex b)