pure -> pureM in depeff tutorial
commit3cf106e5aebe7449299bf3b711fb231bbea4c7b1
authorMitchell Rosen <mitchellwrosen@gmail.com>
dateSat 3 Oct 2015, 11:55 (11 years ago)
parent97d9240
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