chalmers-lava2000-1.4.1: Hardware description EDSL

Safe HaskellNone

Lava.MyST

Documentation

data ST s a Source

Instances

Monad (ST s) 
Functor (ST s) 

data STRef s a Source

Instances

Eq (STRef s a) 

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

readSTRef :: STRef s a -> ST s aSource

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

runST :: (forall s. ST s a) -> aSource

fixST :: (a -> ST s a) -> ST s aSource

unsafePerformST :: ST s a -> aSource

unsafeInterleaveST :: ST s a -> ST s aSource

unsafeIOtoST :: IO a -> ST s aSource