IdrisDoc: Data.Complex

Data.Complex

realPart : Complex a -> a
phase : Complex Double -> Double
mkPolar : Double -> Double -> Complex Double
magnitude : Complex Double -> Double
imagPart : Complex a -> a
conjugate : Neg a => Complex a -> Complex a
cis : Double -> Complex Double
data Complex : Type -> Type
(:+) : a -> a -> Complex a
Fixity
Non-associative, precedence 6