blob: 5b014ec178fb77f670f5fbcc3eeb24cb82e73506 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
Index: lens-4.6.0.1/src/Data/Complex/Lens.hs
===================================================================
--- lens-4.6.0.1.orig/src/Data/Complex/Lens.hs 2014-12-22 00:17:16.254766098 +0100
+++ lens-4.6.0.1/src/Data/Complex/Lens.hs 2014-12-22 00:17:16.250766018 +0100
@@ -30,7 +30,7 @@
-- $setup
-- >>> import Debug.SimpleReflect
--- >>> let { a ≈ b = abs (a - b) < 1e-6; infix 4 ≈ }
+-- >>> let { a ~~ b = abs (a - b) < 1e-6; infix 4 ~~ }
-- | Access the 'realPart' of a 'Complex' number.
--
@@ -104,7 +104,7 @@
-- | Access the 'phase' of a 'Complex' number.
--
--- >>> (mkPolar 10 (2-pi) & _phase +~ pi & view _phase) ≈ 2
+-- >>> (mkPolar 10 (2-pi) & _phase +~ pi & view _phase) ~~ 2
-- True
--
-- This isn't /quite/ a legal 'Lens'. Notably the
@@ -126,7 +126,7 @@
-- >>> (2.0 :+ 3.0) & _conjugate . _imagPart -~ 1
-- 2.0 :+ 4.0
--
--- >>> (mkPolar 10.0 2.0 ^. _conjugate . _phase) ≈ (-2.0)
+-- >>> (mkPolar 10.0 2.0 ^. _conjugate . _phase) ~~ (-2.0)
-- True
_conjugate :: RealFloat a => Iso' (Complex a) (Complex a)
_conjugate = involuted conjugate
|
