[Haskell-cafe] Downsides of the Prompt Monad

Ertugrul Söylemez esz at posteo.de
Fri Apr 7 12:41:35 UTC 2017

>> For another the same can be achieved with free monads in a more
>> transparent and flexible manner:
>>     import Control.Monad.Free.Class
>>     data PromptF a b x = PromptF (b -> x) a
>>         deriving (Functor)
> More accurately,
>     data PromptF' p x = forall a. PromptF (a -> x) (p a)
> (with the obvious Functor instance).

Are we talking about the same PromptT here?  I was assuming this one:

Even if not, it seems to me that it should be an abstraction layer above
free monads.  It could be a very thin layer around F/FT.  That would
facilitate reuse.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20170407/4657b21a/attachment.sig>

More information about the Haskell-Cafe mailing list