| |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
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. | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
The fold over IOSpec values. | |||||||||||||||||
Coproducts of functors | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
Injections from one functor to another | |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
| |||||||||||||||||
Produced by Haddock version 2.4.2 |