diff options
| author | Ross Paterson <ross@soi.city.ac.uk> | 2011-11-04 15:40:19 +0000 |
|---|---|---|
| committer | Ross Paterson <ross@soi.city.ac.uk> | 2011-11-04 15:40:19 +0000 |
| commit | da11a22547426f717cab676c6fc03cda42dbd6c5 (patch) | |
| tree | 32a746bfb85656ae2365ffebbcf550007195438a | |
| parent | f699ccb4baef6ad3597451610cd78c3639236f3b (diff) | |
| download | haskell-da11a22547426f717cab676c6fc03cda42dbd6c5.tar.gz | |
fix #5602: (<+>) example in User's Guide
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index be5d85d250..1ea87ebd52 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -7332,9 +7332,9 @@ The basic idea is that a command defines an arrow from environments to values. These environments assign values to the free local variables of the command. Thus combinators that produce arrows from arrows may also be used to build commands from commands. -For example, the <literal>ArrowChoice</literal> class includes a combinator +For example, the <literal>ArrowPlus</literal> class includes a combinator <programlisting> -ArrowChoice a => (<+>) :: a e c -> a e c -> a e c +ArrowPlus a => (<+>) :: a e c -> a e c -> a e c </programlisting> so we can use it to build commands: <programlisting> |