-- Initial invariants.cabal generated by cabal init. For further -- documentation, see http://haskell.org/cabal/users-guide/ -- The name of the package. name: control-invariants -- The package version. See the Haskell package versioning policy (PVP) -- for standards guiding when and how versions should be incremented. -- http://www.haskell.org/haskellwiki/Package_versioning_policy -- PVP summary: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change version: 0.1.0.0 -- A short (one-line) description of the package. synopsis: Invariants and contract monitoring -- A longer description of the package. description: Invariants and contract monitoring -- The license under which the package is released. license: MIT -- The file containing the license text. license-file: LICENSE -- The package author(s). author: Simon Hudon -- An email address to which users can send suggestions, bug reports, and -- patches. maintainer: simon@cse.yorku.ca -- A copyright notice. -- copyright: category: Control build-type: Simple -- Extra files to be distributed with the package, such as examples or a -- README. -- extra-source-files: -- Constraint on the version of Cabal needed to build this package. cabal-version: >=1.10 source-repository head type: git location: https://github.com/literate-unitb/invariants.git library -- Modules exported by the library. exposed-modules: Control.Invariant Control.Precondition GHC.Stack.Utils -- Modules included in this library but not exported. -- other-modules: -- LANGUAGE extensions used by modules in this package. default-extensions: StandaloneDeriving, TypeFamilies, RankNTypes, TemplateHaskell, ImplicitParams, ConstraintKinds, QuasiQuotes, DefaultSignatures, MultiParamTypeClasses, FunctionalDependencies, GeneralizedNewtypeDeriving, DeriveFunctor, DeriveFoldable, DeriveTraversable -- Other library packages from which modules are imported. build-depends: base >=4.8 && <5, deepseq >=1.4 && <1.5, lens >=4.12 && <4.15, mtl >=2.2 && <2.3, data-default >=0.5 && <0.8, transformers >=0.4 && <0.6, containers >=0.5 && <0.6, assert >=0.0 && <0.1, either >=4.4 && <4.5, semigroups >=0.16 && <0.19, template-haskell >=2.10 && <2.12, th-lift, th-printf, QuickCheck ghc-options: -W -fwarn-missing-signatures -fwarn-incomplete-uni-patterns -fwarn-missing-methods -fno-ignore-asserts -fwarn-tabs -j8 -- Directories containing source files. hs-source-dirs: . -- Base language which the package is written in. default-language: Haskell2010