Data.Complex

data Cartesian a

Complex number defined by its real and imaginary parts

Constructors

• Cartesian a a

Instances

• (Show a, Ord a, Semiring a, Ring a) => Show (Cartesian a)
• (Eq a) => Eq (Cartesian a)
• (Ring a) => Semiring (Cartesian a)
• Functor Cartesian
• (Ring a) => Ring (Cartesian a)
• (CommutativeRing a) => CommutativeRing (Cartesian a)
• (DivisionRing a) => DivisionRing (Cartesian a)
• EuclideanRing (Cartesian Number)
• EuclideanRing (Cartesian Int)

angle :: Cartesian Number -> Number

Angle in radians

conjugate :: forall a. Ring a => Cartesian a -> Cartesian a

Conjugate

fromPolar :: Number -> Number -> Cartesian Number

From radius and angle in radians

i :: forall a. Semiring a => Cartesian a

Imaginary unit

imag :: forall a. Cartesian a -> a

Imaginary part

magnitudeSquared :: forall a. Ring a => Cartesian a -> a

Magnitude Squared

normalize :: Cartesian Number -> Cartesian Number

Normalize to norm 1

pow :: Cartesian Number -> Number -> Cartesian Number

Real power of a complex

real :: forall a. Cartesian a -> a

Real part