Skip to content

Commit

Permalink
Fix link to recursive do in ghc user guide
Browse files Browse the repository at this point in the history
  • Loading branch information
ehamberg committed Aug 9, 2021
1 parent 698ff08 commit 9c7e6a2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion typeclassopedia.md
Original file line number Diff line number Diff line change
Expand Up @@ -854,7 +854,7 @@ There is an alternative way to compose monads, using coproducts, as described by

## `do rec` notation

The `MonadFix` class describes monads which support the special fixpoint operation `mfix :: (a -> m a) -> m a`, which allows the output of monadic computations to be defined via (effectful) recursion. This is [supported in GHC](http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#recursive-do-notation) by a special recursive do notation, enabled by the `-XRecursiveDo` flag. Within a `do` block, one may have a nested `rec` block, like so:
The `MonadFix` class describes monads which support the special fixpoint operation `mfix :: (a -> m a) -> m a`, which allows the output of monadic computations to be defined via (effectful) recursion. This is [supported in GHC](https://downloads.haskell.org/~ghc/9.0.1/docs/html/users_guide/exts/recursive_do.html) by a special recursive do notation, enabled by the `-XRecursiveDo` flag. Within a `do` block, one may have a nested `rec` block, like so:
```haskell
do { x <- foo
; rec { y <- baz
Expand Down

0 comments on commit 9c7e6a2

Please sign in to comment.