IOSpec-0.2.3: A pure specification of the IO monad.

Test.IOSpec

Contents

Synopsis

The specifications

module Test.IOSpec.Fork

module Test.IOSpec.MVar

module Test.IOSpec.IORef

module Test.IOSpec.STM

module Test.IOSpec.Teletype

The basic types

module Test.IOSpec.Types

The virtual machine

module Test.IOSpec.VirtualMachine