free-foil-0.4.0: free-foil.cabal

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.39.1.
--
-- see: https://github.com/sol/hpack

name:           free-foil
version:        0.4.0
synopsis:       Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)
description:    Please see the README on GitHub at <https://github.com/fizruk/free-foil#readme>
category:       Parsing
homepage:       https://github.com/fizruk/free-foil#readme
bug-reports:    https://github.com/fizruk/free-foil/issues
author:         Nikolai Kudasov
maintainer:     nickolay.kudasov@gmail.com
copyright:      2023–2024 Nikolai Kudasov, Renata Shakirova, Egor Shalagin, Karina Tyulebaeva
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md
    LICENSE

source-repository head
  type: git
  location: https://github.com/fizruk/free-foil

library
  exposed-modules:
      Control.Monad.Foil
      Control.Monad.Foil.Blocks
      Control.Monad.Foil.Example
      Control.Monad.Foil.Internal
      Control.Monad.Foil.Internal.ValidNameBinders
      Control.Monad.Foil.Registry
      Control.Monad.Foil.Relative
      Control.Monad.Foil.Telescope
      Control.Monad.Foil.TH
      Control.Monad.Foil.TH.MkFoilData
      Control.Monad.Foil.TH.MkFromFoil
      Control.Monad.Foil.TH.MkInstancesFoil
      Control.Monad.Foil.TH.MkToFoil
      Control.Monad.Foil.TH.Util
      Control.Monad.Free.Foil
      Control.Monad.Free.Foil.Annotated
      Control.Monad.Free.Foil.Artifact
      Control.Monad.Free.Foil.Binary
      Control.Monad.Free.Foil.Binary.TH
      Control.Monad.Free.Foil.Example
      Control.Monad.Free.Foil.TH
      Control.Monad.Free.Foil.TH.Convert
      Control.Monad.Free.Foil.TH.MkFreeFoil
      Control.Monad.Free.Foil.TH.PatternSynonyms
      Control.Monad.Free.Foil.TH.Signature
      Data.ZipMatchK
      Data.ZipMatchK.Bifunctor
      Data.ZipMatchK.Functor
      Data.ZipMatchK.Generic
      Data.ZipMatchK.Mappings
      Data.ZipMatchK.TH
  other-modules:
      Paths_free_foil
  hs-source-dirs:
      src
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -optP-Wno-nonportable-include-path
  build-depends:
      array >=0.5.3.0 && <0.6
    , base >=4.19 && <5
    , bifunctors >=5.5 && <5.7
    , binary >=0.8
    , bytestring >=0.11
    , containers >=0.6.8 && <0.9
    , deepseq >=1.4 && <1.6
    , kind-generics >=0.5.0 && <0.6
    , template-haskell >=2.21.0.0 && <2.24
    , text >=1.2.3.1 && <2.2
  default-language: Haskell2010

test-suite doctests
  type: exitcode-stdio-1.0
  main-is: Main.hs
  hs-source-dirs:
      src/
      test/doctests
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -optP-Wno-nonportable-include-path
  build-depends:
      array >=0.5.3.0 && <0.6
    , base >=4.19 && <5
    , bifunctors >=5.5 && <5.7
    , binary >=0.8
    , bytestring >=0.11
    , containers >=0.6.8 && <0.9
    , deepseq >=1.4 && <1.6
    , doctest-parallel
    , free-foil
    , kind-generics >=0.5.0 && <0.6
    , template-haskell >=2.21.0.0 && <2.24
    , text >=1.2.3.1 && <2.2
  default-language: Haskell2010

test-suite spec
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Control.Monad.Foil.BlocksSpec
      Control.Monad.Foil.NameMapSpec
      Control.Monad.Foil.NameRangeSpec
      Control.Monad.Foil.PatternTransportSpec
      Control.Monad.Foil.SinkableSpec
      Control.Monad.Foil.UnifiablePatternSpec
      Control.Monad.Foil.UnifyNameBindersSpec
      Control.Monad.Free.Foil.AlphaEquivSpec
      Control.Monad.Free.Foil.AnnotatedSpec
      Control.Monad.Free.Foil.SupportSpec
      Control.Monad.Free.Foil.TH.MkFreeFoilSpec
      Control.Monad.Free.Foil.TH.MkFreeFoilSpec.Config
      Control.Monad.Free.Foil.TH.MkFreeFoilSpec.Syntax
      Data.ZipMatchK.THSpec
      SpecHook
      Paths_free_foil
  hs-source-dirs:
      test
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -optP-Wno-nonportable-include-path -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      QuickCheck
    , array >=0.5.3.0 && <0.6
    , base >=4.19 && <5
    , bifunctors >=5.5 && <5.7
    , binary >=0.8
    , bytestring >=0.11
    , containers
    , deepseq >=1.4 && <1.6
    , free-foil
    , hspec
    , hspec-discover
    , kind-generics >=0.5.0 && <0.6
    , kind-generics-th
    , template-haskell >=2.21.0.0 && <2.24
    , text >=1.2.3.1 && <2.2
  default-language: Haskell2010

benchmark alphaequiv
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Paths_free_foil
  hs-source-dirs:
      bench/alphaequiv
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -optP-Wno-nonportable-include-path -O2 -rtsopts
  build-depends:
      array >=0.5.3.0 && <0.6
    , base >=4.19 && <5
    , bifunctors >=5.5 && <5.7
    , binary >=0.8
    , bytestring >=0.11
    , containers >=0.6.8 && <0.9
    , deepseq >=1.4 && <1.6
    , free-foil
    , kind-generics >=0.5.0 && <0.6
    , tasty-bench
    , template-haskell >=2.21.0.0 && <2.24
    , text >=1.2.3.1 && <2.2
  default-language: Haskell2010

benchmark normalize
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Paths_free_foil
  hs-source-dirs:
      bench/normalize
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -optP-Wno-nonportable-include-path -O2 -rtsopts
  build-depends:
      array >=0.5.3.0 && <0.6
    , base >=4.19 && <5
    , bifunctors >=5.5 && <5.7
    , binary >=0.8
    , bytestring >=0.11
    , containers >=0.6.8 && <0.9
    , deepseq >=1.4 && <1.6
    , free-foil
    , kind-generics >=0.5.0 && <0.6
    , tasty-bench
    , template-haskell >=2.21.0.0 && <2.24
    , text >=1.2.3.1 && <2.2
  default-language: Haskell2010

benchmark restriction
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Paths_free_foil
  hs-source-dirs:
      bench/restriction
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -optP-Wno-nonportable-include-path -O2 -rtsopts
  build-depends:
      array >=0.5.3.0 && <0.6
    , base >=4.19 && <5
    , bifunctors >=5.5 && <5.7
    , binary >=0.8
    , bytestring >=0.11
    , containers >=0.6.8 && <0.9
    , deepseq >=1.4 && <1.6
    , free-foil
    , kind-generics >=0.5.0 && <0.6
    , tasty-bench
    , template-haskell >=2.21.0.0 && <2.24
    , text >=1.2.3.1 && <2.2
  default-language: Haskell2010

benchmark zipmatchk
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Signature
      Paths_free_foil
  hs-source-dirs:
      bench/zipmatchk
  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -optP-Wno-nonportable-include-path -O2 -rtsopts
  build-depends:
      array >=0.5.3.0 && <0.6
    , base >=4.19 && <5
    , bifunctors >=5.5 && <5.7
    , binary >=0.8
    , bytestring >=0.11
    , containers >=0.6.8 && <0.9
    , deepseq >=1.4 && <1.6
    , free-foil
    , kind-generics >=0.5.0 && <0.6
    , kind-generics-th
    , tasty-bench
    , template-haskell >=2.21.0.0 && <2.24
    , text >=1.2.3.1 && <2.2
  default-language: Haskell2010