[Haskell-cafe] Monad classes and FreeT
Alejandro Serrano Mena
trupill at gmail.com
Wed Nov 27 09:00:00 UTC 2013
Great! When is the new package expected to be uploaded?
Thanks very much :)
2013/11/27 Nickolay Kudasov <nickolay.kudasov at gmail.com>
> Hi Alejandro,
> That instance (and others) should be in HEAD  and will be included in
> the next release.
> As for considering Free at “the bottom of the stack”, I’m not sure I
> understand what you mean. Nonetheless, I think FreeT f m a can be
> considered as m actions *delimited* by f actions. Thus Free f a being
> simply FreeT f Identity a is just a “sequence” of f actions to be
>  <https://github.com/ekmett/free>https://github.com/ekmett/free
> 2013/11/27 Alejandro Serrano Mena <trupill at gmail.com>
>> Dear Café,
>> I'm continuing my travel through operational and free, and was wondering:
>> which is the reason why there's no instance such as
>> (Functor f, MonadReader e m) => MonadReader e (FreeT f m)
>> included in the 'free' package? It seems reasonable to me to have those
>> instances. At least, there's the corresponding one for MonadIO.
>> Should Free be considered as some monad to have 'at the bottom of the
>> stack' as IO is?
>> Thanks in advance.
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe