cabal-version: >= 1.10
build-type: Simple

name: gas
version: 0.0.0.1

category: Control
synopsis: Limit how many steps a program may take.
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.

maintainer: rightfold <rightfold@gmail.com>
license: BSD3
license-file: COPYING

source-repository head
    type: git
    location: https://gitlab.com/semilattice/gas.git

library
    hs-source-dirs: library
    exposed-modules:
        Control.Applicative.Free.Gas,
        Control.Monad.Free.Gas

    build-depends:
        base >= 4.11 && < 4.12,
        free >= 5.0 && < 6,
        transformers >= 0.5.5 && < 0.5.6

    default-language: Haskell2010
    default-extensions:
        ApplicativeDo,
        RankNTypes,
        ScopedTypeVariables,
        StrictData

    ghc-options:
        -Wall,
        -Wincomplete-record-updates,
        -Wincomplete-uni-patterns