Skip to content

Commit

Permalink
Fixed '-->'s in the updated documentation.
Browse files Browse the repository at this point in the history
  • Loading branch information
ekmett committed Nov 5, 2012
1 parent c2314d3 commit b9dae3e
Show file tree
Hide file tree
Showing 2 changed files with 15 additions and 16 deletions.
29 changes: 14 additions & 15 deletions Data/Functor/Extend.hs
Expand Up @@ -11,7 +11,6 @@
----------------------------------------------------------------------------
module Data.Functor.Extend
( -- * Extendable Functors

-- $definition
Extend(..)
) where
Expand Down Expand Up @@ -96,26 +95,26 @@ instance Extend NonEmpty where
(a:as) -> toList (extended f (a :| as))

-- $definition
--There are two ways to define an 'Extend' instance:
-- There are two ways to define an 'Extend' instance:
--
--I. Provide definitions for 'extend'
--satisfying this law:
-- I. Provide definitions for 'extend'
-- satisfying this law:
--
--> extended f . extended g = extended (f . extended g)
-- > extended f . extended g = extended (f . extended g)
--
--II. Alternately, you may choose to provide definitions for 'duplicate'
--satisfying this law:
-- II. Alternately, you may choose to provide definitions for 'duplicate'
-- satisfying this law:
--
--> duplicated . duplicated = fmap duplicated . duplicated
-- > duplicated . duplicated = fmap duplicated . duplicated
--
--These are both equivalent to the statement that (->-) is associative
-- These are both equivalent to the statement that (->-) is associative
--
--> (f ->- g) ->- h = f ->- (g ->- h)
-- > (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:
-- 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
-- > extended f = fmap f . duplicated
-- > duplicated = extended id
--
--These are the default definitions of 'extended' and 'duplicated'.
-- These are the default definitions of 'extended' and 'duplicated'.
2 changes: 1 addition & 1 deletion semigroupoids.cabal
@@ -1,6 +1,6 @@
name: semigroupoids
category: Control, Comonads
version: 3.0
version: 3.0.1
license: BSD3
cabal-version: >= 1.6
license-file: LICENSE
Expand Down

0 comments on commit b9dae3e

Please sign in to comment.