




Description 
This module contains the basic data types underlying the
IOSpec library. Most of the types and classes in this module
are described in
http://www.cs.nott.ac.uk/~wss/Publications/DataTypesALaCarte.pdf.


Synopsis 




The IOSpec type.



A value of type IOSpec f a is either a pure value of type a
or some effect, determined by f. Crucially, IOSpec f is a
monad, provided f is a functor.
 Constructors   Instances  



The fold over IOSpec values.


Coproducts of functors



The coproduct of functors
 Constructors   Instances  


Injections from one functor to another



The (:<:) class
  Instances  




Produced by Haddock version 2.4.2 