Data.Complex.Lens

Documentation

real :: Simple Lens (Complex a) a

Access the realPart of a Complex number

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

imaginary :: Simple Lens (Complex a) a

Access the imaginaryPart 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)

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 b

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

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