Lava.MyST

Documentation

data ST s a

Instances

Monad (ST s)

Methods

(>>=) :: ST s a -> (a -> ST s b) -> ST s b

(>>) :: ST s a -> ST s b -> ST s b

return :: a -> ST s a

fail :: String -> ST s a

Functor (ST s)

Methods

fmap :: (a -> b) -> ST s a -> ST s b

(<$) :: a -> ST s b -> ST s a

Applicative (ST s)

Methods

pure :: a -> ST s a

(<*>) :: ST s (a -> b) -> ST s a -> ST s b

(*>) :: ST s a -> ST s b -> ST s b

(<*) :: ST s a -> ST s b -> ST s a

data STRef s a

Instances

Eq (STRef s a)

Methods

(==) :: STRef s a -> STRef s a -> Bool

(/=) :: STRef s a -> STRef s a -> Bool

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

readSTRef :: STRef s a -> ST s a

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

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

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

unsafePerformST :: ST s a -> a

unsafeInterleaveST :: ST s a -> ST s a

unsafeIOtoST :: IO a -> ST s a