IdrisDoc: Data.ComplexData.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