@hackage IOSpec0.1.1

A pure specification of the IO monad.

At the moment this package consists of four modules:

  • Test.IOSpec.Teletype: a specification of getChar and putChar.

  • Test.IOSpec.IORef: a specification of most functions on IORefs.

  • Test.IOSpec.Concurrent: specification of forkIO and MVars.

  • Data.Stream: a library for manipulating infinite lists.

There are several well-documented examples included with the source distribution.