Commit 76734205 authored by Ben Gamari's avatar Ben Gamari 🐢

Remove fail from Monad instances

parent 75f898ba
......@@ -33,7 +33,6 @@ instance Applicative Pure where
instance Monad Pure where
Pure x >>= k = k x
return = pure
fail s = error s
instance MonadEval Pure where
doOp = doPureOp
......@@ -306,7 +305,9 @@ instance Monad Abs where
AbsState r s' -> runAbs (k r) s'
AbsFail m -> AbsFail m)
return = pure
fail s = Abs (\ n -> AbsFail s)
instance MonadFail Abs where
fail s = Abs (\ n -> AbsFail s)
instance MonadEval Abs where
doOp = doAbsOp
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment