Functional Programming Utilities

These modules provide a data structure (the simple Ariadne zipper) and transitioning classes for such collections. These modules depend on two sets of libraries: Edward Kmett's category-extras library (particularly the Copointed and Comonad classes) and Einar Karttunen's Comonad classes (I use a variation of the Stream data type, but the duals of the more useful monad classes are illuminating). Please note the syntax is incompatible between the two authors — I use Kmett's.

It may appear odd to place these functional programming libraries under the head of "Logic", but I use these libraries for the overriding purpose of logic programming using Haskell, so the fit is a good one for me. The functional programming libraries are available under the caveat geophf license. Other sources on this page are copyright under their respective licenses.

Category geophf library	library archive	manual

The library includes the following modules:

• Control.Monad.Utils
• Data.BinaryTree
• Data.Mutable
• Data.Transitive
• Data.Zipper