git.iko.soy/Idris-dev
on master help sign in
added instance declarations of complex a for class eq and show
c31ae84Mekeor Melire
lib/prelude/complex.idr+8
compare with master
unifiedsplit
@@ -15,6 +15,14 @@ imagPart : Complex a -> a
15imagPart (r:+i) = i
15imagPart (r:+i) = i
16
16
17
17
18+------------------------------ Instances
19+
20+instance Eq a => Eq (Complex a) where
21+ (==) a b = realPart a == realPart b && imagPart a == imagPart b
22+
23+instance Show a => Show (Complex a) where
24+ show (r:+i) = "("++show r++":+"++show i++")"
25+
18------------------------------ Polarform
26------------------------------ Polarform
19
27
20mkPolar : Float -> Float -> Complex Float
28mkPolar : Float -> Float -> Complex Float