« Return to Thread: An interesting monad: "Prompt"

Re: An interesting monad: "Prompt"

by Brent Yorgey :: Rate this Message:

> -- 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

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe

« Return to Thread: An interesting monad: "Prompt"