data Complex r = (:+) !r !r |
|
class Subtype c r => IsComplexRectangular r c | c -> r where |
|
|
abssquare :: (IsComplexRectangular r c, Multiplicative c c c) => c -> r |
|
class (Subtype c r, HasAbsolute r c, HasSignum c) => IsComplexPolar r c | c -> r where |
|
|
magnitude :: IsComplexPolar r c => c -> r |