@hackage computations0.0.0.0

Advanced notions of computation

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.