On 26-Apr-2000, Jan Brosius <[EMAIL PROTECTED]> wrote:
>
> runST :: forall s. (ST s a) -> a
It would be clearer to write that as
runST :: (forall s. ST s a) -> a
rather than relying on the relative precedences
of `.' and `->'.
> give runST the type signature
>
> On 26-Apr-2000, Jan Brosius <[EMAIL PROTECTED]> wrote:
> > Hi,
> >
> > First I give the following primitive operations
> >
> > newVar :: a -> ST s (MutVar s a)
> >
> > readVar :: MutVar s a -> ST s a
> >
> > writeVar :: MutVar s a -> a -> ST s ()
> >
> > Next consider the
On 26-Apr-2000, Jan Brosius <[EMAIL PROTECTED]> wrote:
> Hi,
>
> First I give the following primitive operations
>
> newVar :: a -> ST s (MutVar s a)
>
> readVar :: MutVar s a -> ST s a
>
> writeVar :: MutVar s a -> a -> ST s ()
>
> Next consider the function
>
Hi,
First I give the following primitive
operations
newVar :: a
-> ST s (MutVar s a)
readVar :: MutVar
s a -> ST s a
writeVar :: MutVar
s a -> a -> ST s ()
Next consider the function
f :: MutVar s a
-> Mut Var s a
f v = runST
(n
