Skip to content
Browse files

Replaced incorrect docs identifier

It was looking for $documentation rather than $definition
  • Loading branch information...
1 parent 2844f59 commit 8326247ead091df633b847d20187c8ae425bb962 @Taneb Taneb committed Nov 5, 2012
Showing with 25 additions and 28 deletions.
  1. +25 −28 Data/Functor/Extend.hs
View
53 Data/Functor/Extend.hs
@@ -12,7 +12,7 @@
module Data.Functor.Extend
( -- * Extendable Functors
- -- $documentation
+ -- $definition
Extend(..)
) where
@@ -95,30 +95,27 @@ instance Extend NonEmpty where
[] -> []
(a:as) -> toList (extended f (a :| as))
-{- $definition
-
-There are two ways to define an 'Extend' instance:
-
-I. Provide definitions for 'extend'
-satisfying this law:
-
-> extended f . extended g = extended (f . extended g)
-
-II. Alternately, you may choose to provide definitions for 'duplicate'
-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'.
-In that case you must also satisfy these laws:
-
-> extended f = fmap f . duplicated
-> duplicated = extended id
-
-These are the default definitions of 'extended' and 'duplicated'.
-
--}
+-- $definition
+--There are two ways to define an 'Extend' instance:
+--
+--I. Provide definitions for 'extend'
+--satisfying this law:
+--
+--> extended f . extended g = extended (f . extended g)
+--
+--II. Alternately, you may choose to provide definitions for 'duplicate'
+--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'.
+--In that case you must also satisfy these laws:
+--
+--> extended f = fmap f . duplicated
+--> duplicated = extended id
+--
+--These are the default definitions of 'extended' and 'duplicated'.

0 comments on commit 8326247

Please sign in to comment.
Something went wrong with that request. Please try again.