IdrisDoc: Data.Complex

Data.Complex

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