IOSpec-0.2.3: A pure specification of the IO monad.
This module contains a few type signatures to help replace pure
specifications by their effectful counterparts.
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.
IOSpec f a
Note that because this definition of IOSpec ignores its f
argument, each of ForkS, MVarS, etc., is simply an empty data
data ForkS Source
data MVarS Source
data IORefS Source
data STMS Source
data Teletype Source
data f :+: g Source
Produced by Haddock version 2.9.4