Safe Haskell | None |
---|---|
Language | Haskell98 |
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.
The IOSpec
type.
foldIOSpec :: Functor f => (a -> b) -> (f b -> b) -> IOSpec f a -> b Source
The fold over IOSpec
values.