ch26 OuterInner

[Bassov]

Hi, there is an exercise to implement the

embedded :: MaybeT (ExceptT String (ReaderT () IO)) Int
embedded = ??? (const (Right (Just 1)))

My solution is:

embedded :: MaybeT (ExceptT String (ReaderT () IO)) Int
embedded = MaybeT $ ExceptT $ ReaderT $ ExceptT (const (Right (Just 1)))

Haven't found it in your solutions, so maybe it will be helpful for someone:)

[dmvianna]

Sure. Submit a push request and I’ll approve it. But it would be more useful if you explained how you arrived at the solution. Maybe a long comment?

…

-- Daniel Vianna

On 31 Oct 2017, at 12:18 am, Basov Alexandr Evgenievich ***@***.***> wrote: Hi, there is an exercise to implement the embedded :: MaybeT (ExceptT String (ReaderT () IO)) Int embedded = ??? (const (Right (Just 1))) My solution is: embedded :: MaybeT (ExceptT String (ReaderT () IO)) Int embedded = MaybeT $ ExceptT $ ReaderT $ ExceptT (const (Right (Just 1))) Haven't found it in your solutions, so maybe it will be helpful for someone:) — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.