setfunctions-3.0.0 ------------------ Version 3.0.0 Author Michael Hanus Synopsis Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner Category Logic Programming Dependencies base >= 3.0.0, < 4.0.0 allvalues >= 3.0.0, < 4.0.0 searchtree >= 3.0.0, < 4.0.0 Exported modules Control.SetFunctions Test suite Directory test Test modules TestSetFunctions TestFuncPattern Source Git https://github.com/curry-packages/setfunctions.git@v3.0.0 License BSD-3-Clause License file LICENSE