computations: Advanced notions of computation

[ bsd3, control, library ] [ Propose Tags ]

This package provides a framework for computations with certain consistency constraints. Based on this framework, it implements resourceful computations, which are an alternative to the IO mondad. In the case of resourceful computations, the consistency constraint is a single-use policy, also known as linearity.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
Dependencies base (>=3.0 && <5) [details]
License BSD-3-Clause
Copyright © 2012–2015 Wolfgang Jeltsch
Author Wolfgang Jeltsch
Category Control
Home page
Source repo head: darcs get
this: darcs get --tag computations-
Uploaded by WolfgangJeltsch at 2015-05-03T19:13:52Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1034 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-05-18 [all 1 reports]