gas: Limit how many steps a program may take.

[ bsd3, control, library ] [ Propose Tags ] [ Report a vulnerability ]

Programs constructed using free applicatives or free monads may be analyzed statically or dynamically (respectively). This package uses such analysis to limit the number of steps the program may take. This is useful for EDSLs with untrusted input, or in general when you want to guarantee termination by cutting off a program.

Note that this package does not avoid infinite loops in bottom values. Use the System.Timeout module for that instead.

Modules

[Index] [Quick Jump]

Control
- Applicative
  - Free
    - Control.Applicative.Free.Gas
- Monad
  - Free
    - Control.Monad.Free.Gas

Downloads

gas-0.0.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

rightfold

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.0.0.1
Dependencies	base (>=4.11 && <4.12), free (>=5.0 && <6), transformers (>=0.5.5 && <0.5.6) [details]
License	BSD-3-Clause
Author
Maintainer	rightfold <rightfold@gmail.com>
Category	Control
Source repo	head: git clone https://gitlab.com/semilattice/gas.git
Uploaded	by rightfold at 2018-08-14T18:59:10Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	763 total (1 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2018-08-14 [all 1 reports]