Name:		        IOSpec
Version:        	0.2.2
License:        	BSD3
License-file:		LICENSE
Author:			Wouter Swierstra, Yusaku Hashimoto
Maintainer:     	Wouter Swierstra <wss@cs.nott.ac.uk>
Homepage:       	http://www.cs.nott.ac.uk/~wss/repos/IOSpec
Synopsis:       	A pure specification of the IO monad.
Description:		This package consists of several modules, that give a
			pure specification of functions in the IO monad:
			.
                           * "Test.IOSpec.Fork": a pure specification of
			      'forkIO'.
			.
			   * "Test.IOSpec.IORef": a pure specification of most
			      functions that create and manipulate on 'IORefs'.
			.
			   * "Test.IOSpec.MVar": a pure specification of most
			      functions that create and manipulate and 'MVars'.
			.
			   * "Test.IOSpec.STM": a pure specification of
			      'atomically' and the 'STM' monad.
			.
			   * "Test.IOSpec.Teletype": a pure specification of
			      'getChar', 'putChar', and several related
			      Prelude functions.
			.
			Besides these modules containing the specifications,
			there are a few other important modules:
			.
			   * "Test.IOSpec.Types": defines the 'IOSpec' type and
			     several amenities.
			.
			   * "Test.IOSpec.VirtualMachine": defines a virtual
			     machine on which to execute pure specifications.
			.
			   * "Test.IOSpec.Surrogate": a drop-in replacement for
			     the other modules. Import this and recompile your
			     code once you've finished testing and debugging.
			.
			There are several well-documented examples included 
			with the source distribution.
Category:       	Testing
Build-Type:		Simple
Build-Depends:  	base >= 2 && < 4.4, mtl, QuickCheck >= 2 && < 3, Stream
Extensions:		MultiParamTypeClasses, OverlappingInstances
Ghc-options:		-Wall
Hs-source-dirs:		src
Extra-source-files:	README
			, examples/Channels.hs
			, examples/Echo.hs
			, examples/Queues.hs
			, examples/Refs.hs
			, examples/Sudoku.hs
Exposed-modules:	Test.IOSpec
			, Test.IOSpec.Fork
			, Test.IOSpec.IORef
			, Test.IOSpec.MVar
			, Test.IOSpec.STM
			, Test.IOSpec.Surrogate
			, Test.IOSpec.Teletype
			, Test.IOSpec.Types
			, Test.IOSpec.VirtualMachine