Uploaded at Nov 27 22:14:37 2024 (UTC)
Succesfully tested at Dec 4 02:33:42 2024

Curry Package allvalues

allvalues: Encapsulate non-deterministic computations

This package contains the library Control.AllValues which defines operations to encapsulate non-deterministic computations so that they can be embedded in purely functional computations, e.g., in I/O computations. The operations returns all values of an expression in a list structure or a single value in a Maybe container.

The Curry implementations PAKCS and KiCS2 use an incomplete depth-first search strategy to encapsulate non-determinism, but KiCS2 provides more operators to select the search strategy (see package searchtree). The Curry implementation Curry2Go uses a complete (parallel) search strategy.

The library implements strong encapsulation as discussed in this paper.

Note that the functionality of this package is largely contained in the modules Control.Search/... of the base package since version 3.3.0, which is part of newer Curry distributions.



Download

Checkout with CPM:
cypm checkout allvalues 4.0.0
Package source:
allvalues-4.0.0.tar.gz [browse]
Source repository:
https://github.com/curry-packages/allvalues.git