From da11a22547426f717cab676c6fc03cda42dbd6c5 Mon Sep 17 00:00:00 2001 From: Ross Paterson Date: Fri, 4 Nov 2011 15:40:19 +0000 Subject: fix #5602: (<+>) example in User's Guide --- docs/users_guide/glasgow_exts.xml | 4 ++-- 1 file 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 ArrowChoice class includes a combinator +For example, the ArrowPlus class includes a combinator -ArrowChoice a => (<+>) :: a e c -> a e c -> a e c +ArrowPlus a => (<+>) :: a e c -> a e c -> a e c so we can use it to build commands: -- cgit v1.2.1