IOSpec-0.2.1: A pure specification of the IO monad.Source codeContentsIndex
The IOSpec type
The specifications
This module contains a few type signatures to help replace pure specifications by their effectful counterparts.
type IOSpec f a = IO a
data ForkS
data MVarS
data IORefS
data STMS
data Teletype
data f :+: g
The IOSpec type
type IOSpec f a = IO aSource

The IOSpec f a is merely type synonym for IO a. Once you've tested a module, you can use these definitions to avoid having to change your type signatures.

Note that because this definition of IOSpec ignores its f argument, each of ForkS, MVarS, etc., is simply an empty data type.

The specifications
data ForkS Source
data MVarS Source
data IORefS Source
data STMS Source
data Teletype Source
data f :+: g Source
Produced by Haddock version 2.4.2