[Haskell-cafe] Re: [Haskell] Simple IO Regions

Keean Schupke k.schupke at imperial.ac.uk
Wed Jan 18 12:15:08 EST 2006

up3 is quite easy to define, but it is specific to the monad-transformer 
you are lifting through... see attached for definition for
the state-monad-transformer.


Taral wrote:

>On 1/18/06, Keean Schupke <k.schupke at imperial.ac.uk> wrote:
>>It didnt when I wrote the MonadIO stuff that I use! Here is the missing
>>file ... I tried to put it all in
>>one, but missed the use of up3. (see attached)
>All I see is "up3 = undefined"... somehow I don't think that will work.
>As far as I know, (t m a -> m a) is only possible for very specific
>monad transformers...
>Taral <taralx at gmail.com>
>"Computer science is no more about computers than astronomy is about
>    -- Edsger Dijkstra

-------------- next part --------------
A non-text attachment was scrubbed...
Name: StateT.hs
Type: text/x-haskell
Size: 2016 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/haskell-cafe/attachments/20060118/8f84d30c/StateT.bin

More information about the Haskell-Cafe mailing list