[Haskell-cafe] An interesting monad: "Prompt"

Brent Yorgey byorgey at gmail.com
Sat Nov 24 13:02:14 EST 2007


> > -- Just for fun, make it work with StateT as well
> > -- (needs -fallow-undecidable-instances)
>
> > instance (Monad (t m), MonadTrans t, MonadPrompt p m) => MonadPrompt p
> (tm) where
> >    prompt = lift . prompt
>

Looks like that should be MonadPrompt p (t m) rather than (tm).  Note the
space.

-Brent
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20071124/0f6614da/attachment.htm


More information about the Haskell-Cafe mailing list