free-foil-0.3.2: 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.3.2
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.Example
      Control.Monad.Foil.Internal
      Control.Monad.Foil.Internal.ValidNameBinders
      Control.Monad.Foil.Relative
      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.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
    , containers >=0.6 && <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
    , containers >=0.6 && <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.NameMapSpec
      Control.Monad.Foil.UnifyNameBindersSpec
      Control.Monad.Free.Foil.AnnotatedSpec
      Control.Monad.Free.Foil.TH.MkFreeFoilSpec
      Control.Monad.Free.Foil.TH.MkFreeFoilSpec.Config
      Control.Monad.Free.Foil.TH.MkFreeFoilSpec.Syntax
      Data.ZipMatchK.THSpec
      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:
      array >=0.5.3.0 && <0.6
    , base >=4.19 && <5
    , bifunctors >=5.5 && <5.7
    , containers >=0.6 && <0.9
    , 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 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
    , containers >=0.6 && <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
    , containers >=0.6 && <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