Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.MyST
Documentation
writeSTRef :: STRef s a -> a -> ST s () Source
unsafePerformST :: ST s a -> a Source
unsafeInterleaveST :: ST s a -> ST s a Source
unsafeIOtoST :: IO a -> ST s a Source
chalmers-lava2000-1.6: Hardware description EDSL
Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.MyST
writeSTRef :: STRef s a -> a -> ST s () Source
unsafePerformST :: ST s a -> a Source
unsafeInterleaveST :: ST s a -> ST s a Source
unsafeIOtoST :: IO a -> ST s a Source