On Tue, 5 Sep 2000 12:33:47 +0200 (MET DST) "Ch. A. Herrmann"
<[EMAIL PROTECTED]> wrote:
> Hi Diego,
>
> >>>>> "Diego" == Diego Dainese <[EMAIL PROTECTED]> writes:
>
> Diego> - In Haskell is there some way to combine IO and ST?
>
> there is a so-called IOS-Monad combining IO and State, appended below.
> Thanks to John O'Donnell who told me about it and gave it to me a few weeks ago.
>
> Cheers
> Christoph
> ------------------------------------------------------------------------------
> IOS: Input/Output with state
>
> > module IOS where
>
> > newtype IOS s a = IOS (s -> IO (a, s))
I were looking for a way to combine the *builtins* IO and ST Monads.
(AFAICT is not possible, but since I'm a newbie I'm not sure ;-)
Note the followup to haskell-cafe.
Bye,
--
Diego Dainese
