Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

docs: preview is in Control.Lens.Fold, not .Type

  • Loading branch information...
commit c283fea5f6ac31ade0aed5347a68fe7645d63114 1 parent a51457c
@mauke mauke authored
Showing with 3 additions and 3 deletions.
  1. +3 −3 src/Control/Lens/Type.hs
View
6 src/Control/Lens/Type.hs
@@ -307,15 +307,15 @@ type Iso' s a = Iso s s a a
--
-- There are two laws that a 'Prism' should satisfy:
--
--- First, if I 'Control.Lens.Review.re' or 'Control.Lens.Prism.review' a value with a 'Prism' and then 'Control.Lens.Type.preview' or use ('Control.Lens.Fold.^?'), I will get it back:
+-- First, if I 'Control.Lens.Review.re' or 'Control.Lens.Prism.review' a value with a 'Prism' and then 'Control.Lens.Fold.preview' or use ('Control.Lens.Fold.^?'), I will get it back:
--
-- @
--- 'Control.Lens.Type.preview' l ('Control.Lens.Prism.review' l b) ≡ 'Just' b
+-- 'Control.Lens.Fold.preview' l ('Control.Lens.Prism.review' l b) ≡ 'Just' b
-- @
--
-- Second, if you can extract a value @a@ using a 'Prism' @l@ from a value @s@, then the value @s@ is completely described my @l@ and @a@:
--
--- If @'Control.Lens.Type.preview' l s ≡ 'Just' a@ then @'Control.Lens.Prism.review' l a ≡ s@
+-- If @'Control.Lens.Fold.preview' l s ≡ 'Just' a@ then @'Control.Lens.Prism.review' l a ≡ s@
--
-- These two laws imply that the 'Traversal' laws hold for every 'Prism' and that we 'Data.Traversable.traverse' at most 1 element:
--
Please sign in to comment.
Something went wrong with that request. Please try again.