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

Safe HaskellNone

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