Merge pull request #2691 from mitchellwrosen/patch-1
pure -> pureM in depeff tutorial
commit3d5ead30c9d064df2790d3bdf4cdd45284d9517d
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 21 Oct 2015, 08:27 (11 years ago)
parent06edf433cf106e
docs/effects/depeff.rst+1−1
@@ -96,7 +96,7 @@ value read from the user was valid. We can express this in the type:
9696 else [STATE (Vect n Int), STDIO])
9797 readInt = do let x = trim !getStr
9898 case all isDigit (unpack x) of
99− False => pure False
99+ False => pureM False
100100 True => do putM (cast x :: !get)
101101 pureM True
102102