Permalink
Browse files

Fix bitrot in Data.Functor.Extend documentation

  • Loading branch information...
chowells79 committed Feb 9, 2014
1 parent 03bb1ca commit 0f62c63119b84748e28d37f8d722ec638a8d0a2d
Showing with 3 additions and 7 deletions.
  1. +3 −7 src/Data/Functor/Extend.hs
View
@@ -120,21 +120,17 @@ instance Extend NonEmpty where
-- $definition
-- There are two ways to define an 'Extend' instance:
--
--- I. Provide definitions for 'extend'
+-- I. Provide definitions for 'extended'
-- satisfying this law:
--
-- > extended f . extended g = extended (f . extended g)
--
--- II. Alternately, you may choose to provide definitions for 'duplicate'
+-- II. Alternately, you may choose to provide definitions for 'duplicated'
-- satisfying this law:
--
-- > duplicated . duplicated = fmap duplicated . duplicated
--
--- These are both equivalent to the statement that (->-) is associative
---
--- > (f ->- g) ->- h = f ->- (g ->- h)
---
--- You may of course, choose to define both 'duplicate' /and/ 'extend'.
+-- You may of course, choose to define both 'duplicated' /and/ 'extended'.
-- In that case you must also satisfy these laws:
--
-- > extended f = fmap f . duplicated

0 comments on commit 0f62c63

Please sign in to comment.