projects
/
haskell-directory.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
move fix to Data.Function
[haskell-directory.git]
/
Control
/
Monad
/
Fix.hs
diff --git
a/Control/Monad/Fix.hs
b/Control/Monad/Fix.hs
index
e04a7f6
..
ea481d8
100644
(file)
--- a/
Control/Monad/Fix.hs
+++ b/
Control/Monad/Fix.hs
@@
-25,11
+25,7
@@
module Control.Monad.Fix (
import Prelude
import System.IO
import Control.Monad.Instances ()
import Prelude
import System.IO
import Control.Monad.Instances ()
-
--- | @'fix' f@ is the least fixed point of the function @f@,
--- i.e. the least defined @x@ such that @f x = x@.
-fix :: (a -> a) -> a
-fix f = let x = f x in x
+import Data.Function (fix)
-- | Monads having fixed points with a \'knot-tying\' semantics.
-- Instances of 'MonadFix' should satisfy the following laws:
-- | Monads having fixed points with a \'knot-tying\' semantics.
-- Instances of 'MonadFix' should satisfy the following laws: