chalmers-lava2000-1.5.1: Hardware description EDSL

Safe Haskell	None
Language	Haskell98

Lava.MyST

Documentation

data ST s a Source

Instances

Monad (ST s) Source
Functor (ST s) Source
Applicative (ST s) Source

data STRef s a Source

Instances

Eq (STRef s a) 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

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

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

unsafePerformST :: ST s a -> a Source

unsafeInterleaveST :: ST s a -> ST s a Source

unsafeIOtoST :: IO a -> ST s a Source