Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
A pure specification of basic operations on MVars.
The MVarS
spec
An expression of type IOSpec MVarS a
corresponds to an IO
computation that uses shared, mutable variables and returns a
value of type a
.
By itself, MVarS
is not terribly useful. You will probably want
to use IOSpec (ForkS :+: MVarS)
.
Supported functions
newEmptyMVar :: (Typeable a, MVarS :<: f) => IOSpec f (MVar a) Source #
The newEmptyMVar
function creates a new MVar
that is initially empty.