rec-def: Recursively defined values

[ bsd2, data, library ] [ Propose Tags ] [ Report a vulnerability ]

This library provides safe APIs that allow you to define and calculate values recursively, and still get a result out:

let s1 = RS.insert 23 s2
    s2 = RS.insert 42 s1
in RS.get s1

will not loop, but rather produces the set fromList [23,42]

See Data.Recursive.Examples for more examples, or just browse the modules

More APIs (e.g. for maps or Natural) can be added over time, as need and good use-cases arise.

For the (unsafe) building blocks to build such APIs, see

Data.Propagator.Purify for the wrapper that turns an IO-implemented propagator into a pure data structure
Data.Propagator.Naive for a naive propagator implementation
Data.Propagator.P2 for a smarter propagator implementation for the two-point lattice, i.e. Bool

The library is not (yet) focussed on performance, and uses a rather naive propagator implementation. Expect this to be slow if you have large graphs. This may be improved in the future (e.g. by propagating only deltas, and accumulating deltas before applying a function), but for now the focus is on foremost providing this capability in the first place and getting the user-facing API right.

[Skip to Readme]

Modules

[Index] [Quick Jump]

Data
System
- IO
  - System.IO.RecThunk

Downloads

rec-def-0.2.2.tar.gz [browse] (Cabal source package)
Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

JoachimBreitner

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1, 0.2, 0.2.1, 0.2.2
Change log	CHANGELOG.md
Dependencies	base (>=4.9 && <5), containers (>=0.5.11 && <0.8) [details]
Tested with	ghc ==9.6.1, ghc ==9.4.4, ghc ==9.2.7, ghc ==9.0.2, ghc ==8.10.7, ghc ==8.8.4
License	BSD-2-Clause
Copyright	2022 Joachim Breitner
Author	Joachim Breitner
Maintainer	mail@joachim-breitner.de
Revised	Revision 1 made by JoachimBreitner at 2024-10-26T18:24:36Z
Category	Data
Home page	https://github.com/nomeata/haskell-rec-def
Bug tracker	https://github.com/nomeata/haskell-rec-def/issues/new
Source repo	head: git clone git://github.com/nomeata/haskell-rec-def
Uploaded	by JoachimBreitner at 2023-08-19T08:13:31Z
Distributions	LTSHaskell:0.2.2, NixOS:0.2.2, Stackage:0.2.2
Downloads	476 total (18 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2023-08-19 [all 1 reports]

Readme for rec-def-0.2.2

[back to package description]

rec-def - Pure recursive definition