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.
Hi Alejandro, That instance (and others) should be in HEAD [1] 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 interpreted. [1] <https://github.com/ekmett/free>https://github.com/ekmett/free 2013/11/27 Alejandro Serrano Mena <trupill@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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Great! When is the new package expected to be uploaded? Thanks very much :) 2013/11/27 Nickolay Kudasov <nickolay.kudasov@gmail.com>
Hi Alejandro,
That instance (and others) should be in HEAD [1] 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 interpreted.
[1] <https://github.com/ekmett/free>https://github.com/ekmett/free
2013/11/27 Alejandro Serrano Mena <trupill@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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
participants (2)
-
Alejandro Serrano Mena -
Nickolay Kudasov