homepage: ''
changelog-type: ''
hash: a6ad89a83fc08091aa6a84e25559c936463c3132917d804ca97b9ac81c44f06b
test-bench-deps: {}
maintainer: rightfold <rightfold@gmail.com>
synopsis: Limit how many steps a program may take.
changelog: ''
basic-deps:
  free: ! '>=5.0 && <6'
  base: ! '>=4.11 && <4.12'
  transformers: ! '>=0.5.5 && <0.5.6'
all-versions:
- '0.0.0.1'
author: ''
latest: '0.0.0.1'
description-type: haddock
description: ! '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.'
license-name: BSD3

Update from Hackage at 2018-08-14T19:08:51Z
Update from Hackage at 2018-08-14T19:08:51Z
