Assuming you have "ioAction :: IO x -> BrowserAction x"
(from http://homepages.paradise.net.nz/warrickg/haskell/http/#browser)
you can do:
> instance MonadIO BrowserAction where liftIO = ioAction
Then you can derive MonadIO with GHC's newtype deriving.
Alternatively, you can implement it directly on your type:
> instance MonadIO RBAction where
> liftIO = RBAction . lift . lift . ioAction
This just inserts the proper number of "lift"s to bring the
BrowserAction through your monad transformer stack, and then wraps it
with your newtype constructor.
On Thu, Apr 10, 2008 at 7:50 AM, Adam Smyczek <[EMAIL PROTECTED]> wrote:
> For a small webapi binding I try to implement a session like monad
> by building a stack including BrowserAction from Network.Browser
> module as following:
>
> newtype RBAction a = RBAction
> { exec :: ErrorT String (StateT RBState BrowserAction) a }
> deriving (Functor, Monad, MonadState RBState)
>
> I would like the RBAction to implement MonadIO as well,
> but fight with the liftIO function for hours now, without success.
> Any idea how the implementation of liftIO could look like?
>
> Thanks for help,
> Adam
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
