Safe Haskell	Safe
Language	Haskell98

Test.IOSpec.MVar

Contents

Description

A pure specification of basic operations on MVars.

Synopsis

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).

Instances

Functor MVarS Source #
Instance details Defined in Test.IOSpec.MVar Methods fmap :: (a -> b) -> MVarS a -> MVarS b # (<$) :: a -> MVarS b -> MVarS a #
Executable MVarS Source #
Instance details Defined in Test.IOSpec.MVar Methods step :: MVarS a -> VM (Step a) Source #

Supported functions

An MVar is a shared, mutable variable.

The newEmptyMVar function creates a new MVar that is initially empty.

The takeMVar function removes the value stored in an MVar. If the MVar is empty, the thread is blocked.

The putMVar function fills an MVar with a new value. If the MVar is not empty, the thread is blocked.