I'm twisting my brain into knots trying to understand how to combine the State
monad with Maybe
.
Let's start with a concrete (and intentionally trivial/unnecessary) example in which we use a State
monad to find the sum of a list of numbers:
import Control.Monad.State
list :: [Int]
list = [1,4,5,6,7,0,3,2,1]
adder :: Int
adder = evalState addState list
addState :: State [Int] Int
addState = do
ms <- get
case ms of
[] -> return 0
(x:xs) -> put xs >> fmap (+x) addState
Cool.
Now let's modify it so that it returns a Nothing
if the list contains the number 0
. In other words, evalState addState' list
should return Nothing
(since list
contains a 0
). I thought it might look something like this...
addState' :: State [Int] (Maybe Int)
addState' = do
ms <- get
case ms of
[] -> return (Just 0)
(0:xs) -> return Nothing
(x:xs) -> put xs >> fmap (fmap (+x)) addState'
...it works but I assume there's a better way to do this...
I've played around with StateT
and MaybeT
and I can't get them to work. I've looked at a couple of intros to Monad transformers but they either didn't touch on this particular combo (i.e., State + Maybe) or the examples were too complex for me to understand.
TL;DR: I'd appreciate if someone could show how to write this (admittedly trivial) piece of code using StateT
and MaybeT
(two examples). (I'm assuming it isn't possible to write this code without the use of transformers - is that incorrect?)
P.S. My understanding is that StateT
is probably better suited for this example, but it would be helpful conceptually to see both examples, if not too much trouble.
Update: As pointed out by @Brenton Alker, my first version of the code above doesn't work because of simple typo (I was missing an apostrophe). In the interest of focusing the question on the use of StateT
/MaybeT
, I'm correcting the post above. Just wanted to include this note to give context to his post.
The type I would recommend using is:
A really simple way to use
Maybe
/MaybeT
is to just callmzero
whenever you want to fail andmplus
whenever you want to recover from a failed computation. This works even if they are layered within other monad transformers.Here's an example:
Notice that I wrote that in such a way that I didn't use any
Maybe
-specific operations. In fact, if you let the compiler infer the type signature it will deduce this more general type instead:This works because
StateT
has the followingMonadPlus
instance:And
Maybe
will type-check as an instance ofMonadPlus
, which is why the above code works when we specializem
toMaybe
.