19 Jan
2006
19 Jan
'06
1:15 a.m.
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@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@gmail.com> "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra