@hackage / computations

Advanced notions of computation

Latest0.0.0.0

About

Metadata

  • Last updated , by WolfgangJeltsch
  • License BSD-3-Clause

  • Maintained by: wolfgang@cs.ioc.ee

  • Lottery factor: 0

Links

Installation

Readme

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.