open-witness-0.6: open witnesses

Safe Haskell	None
Language	Haskell2010

Data.Type.OpenWitness.ST

Contents

The ST Monad
Converting ST to OW and IO
STRefs

Description

This is an approximate re-implementation of Control.Monad.ST and Data.STRef using open witnesses.

Synopsis

type ST s = StateT (WitnessMapOf (OpenWitness s :: Type -> Type)) (OW s)
runST :: (forall s. ST s a) -> a
fixST :: (a -> ST s a) -> ST s a
stToOW :: ST s a -> OW s a
data RealWorld
stToIO :: ST RealWorld a -> IO a
type STRef s = OpenWitness s :: k -> Type
newSTRef :: a -> ST s (STRef s a)
readSTRef :: STRef s a -> ST s a
writeSTRef :: STRef s a -> a -> ST s ()
modifySTRef :: STRef s a -> (a -> a) -> ST s ()

The `ST` Monad

type ST s = StateT (WitnessMapOf (OpenWitness s :: Type -> Type)) (OW s) Source #

runST :: (forall s. ST s a) -> a Source #

fixST :: (a -> ST s a) -> ST s a Source #

Converting `ST` to `OW` and `IO`

stToOW :: ST s a -> OW s a Source #

data RealWorld Source #

The s type for running OW in IO.

stToIO :: ST RealWorld a -> IO a Source #

STRefs

type STRef s = OpenWitness s :: k -> Type Source #

newSTRef :: a -> ST s (STRef s a) Source #

readSTRef :: STRef s a -> ST s a Source #

writeSTRef :: STRef s a -> a -> ST s () Source #

modifySTRef :: STRef s a -> (a -> a) -> ST s () Source #