 | IOSpec-0.1.1: A pure specification of the IO monad. | Contents | Index |
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.
 Data | |||||||||||||||||
| |||||||||||||||||
| Test | |||||||||||||||||
| |||||||||||||||||