Permalink
Browse files

Avoid using the name 'iso' in the patch for #671 as it is a combinato…

…r name.
  • Loading branch information...
1 parent f8f3ce0 commit a3f808dfdd78982e0d4ff43988ace9e8a5ddb884 @ekmett committed Aug 22, 2016
Showing with 3 additions and 3 deletions.
  1. +3 −3 src/Control/Lens/Type.hs
View
6 src/Control/Lens/Type.hs
@@ -332,11 +332,11 @@ type IndexPreservingSetter' s a = IndexPreservingSetter s s a a
-- | Isomorphism families can be composed with another 'Lens' using ('.') and 'id'.
--
-- Since every 'Iso' is both a valid 'Lens' and a valid 'Prism', the laws for those types
--- imply the following laws for 'Iso':
+-- imply the following laws for an 'Iso' 'f':
--
-- @
--- iso '.' 'Control.Lens.Iso.from' iso ≡ 'id'
--- 'Control.Lens.Iso.from' iso '.' iso ≡ 'id'
+-- f '.' 'Control.Lens.Iso.from' f ≡ 'id'
+-- 'Control.Lens.Iso.from' f '.' f ≡ 'id'
-- @
--
-- Note: Composition with an 'Iso' is index- and measure- preserving.

0 comments on commit a3f808d

Please sign in to comment.