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

[Keean Schupke]

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.

    Keean.

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
>telescopes."
>    -- 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