name: verifiable-expressions
version: '0.6.3'
category: Language
author: Bradley Hardy
maintainer: madgenhetic@gmail.com
github: camfort/verifiable-expressions
license: Apache-2.0
synopsis: An intermediate language for Hoare logic style verification.
description:
  A typed intermediate language for Hoare logic style verification. It defines
  the intermediate language and combinators to interact it.
tested-with:            GHC == 9.0, GHC == 9.2, GHC == 9.4, GHC == 9.6, GHC == 9.8, GHC == 9.10, GHC == 9.12

extra-source-files:
- CHANGELOG.md

dependencies:
- base >=4.9 && <5
- containers >=0.5.7 && <0.7
- transformers >=0.5 && <0.7
- mtl >=2.0 && <3
- lens >=4.16.1 && <5.5
- union >=0.1.2 && <0.2
- vinyl >=0.14.3 && <0.15

when:
- condition: impl(ghc >= 9.6)
  dependencies:
  - sbv >=10.0 && <11
- condition: impl(ghc < 9.6)
  dependencies:
  - sbv >=8.0 && <10

library:
  ghc-options: -Wall
  exposed-modules:
  - Language.Expression
  - Language.Expression.Example
  - Language.Expression.Choice
  - Language.Expression.Scope
  - Language.Expression.GeneralOp
  - Language.Expression.Prop
  - Language.Expression.Pretty
  - Language.Expression.Util
  - Language.Verification
  - Language.Verification.Conditions
  - Language.Verification.Core
  - Language.While.Hoare
  - Language.While.Hoare.Prover
  - Language.While.Syntax
  - Language.While.Syntax.Sugar
  - Language.While.Test