X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=monad_transformers.mdwn;h=57affe5995da3cd4b2cc918b1d4270132825ee9a;hp=ebe9b0c1f5684079b2cf8de9d3170b846e88433a;hb=4bab63e9b62e289b7feeae89cea4a1e27a0fe0f1;hpb=6620761d57706f681ccf431c19d6d6fd77fa2942 diff --git a/monad_transformers.mdwn b/monad_transformers.mdwn index ebe9b0c1..57affe59 100644 --- a/monad_transformers.mdwn +++ b/monad_transformers.mdwn @@ -184,9 +184,9 @@ This is fun. Notice the difference it makes whether the second `plus` is native # module LL = List_monad.T(List_monad);; # LL.(run(plus (unit 1) (unit 2) >>= fun i -> plus (unit i) (unit(10*i)) ));; - - : ('_a, int) LL.result = [[1; 10; 2; 20]] + - : ('_a, int) LL.result = \[[1; 10; 2; 20]] # LL.(run(plus (unit 1) (unit 2) >>= fun i -> elevate L.(plus (unit i) (unit(10*i)) )));; - - : ('_a, int) LL.result = [[1; 2]; [1; 20]; [10; 2]; [10; 20]] + - : ('_a, int) LL.result = \[[1; 2]; [1; 20]; [10; 2]; [10; 20]]