cabal-version:      3.0
name:               binder
version:            0.3
synopsis:           Variable binding for abstract syntax tree
description:
    binder is purely functional implementation of Ocaml's
    <https://github.com/rlepigre/ocaml-bindlib bindlib>.
    It follows the style of higher-order abstract syntax,
    and offers the representation of abstract syntax tree.
license:            MIT
license-file:       LICENSE
author:             Keito Kajitani <ijaketak@gmail.com>
maintainer:         Keito Kajitani <ijaketak@gmail.com>
copyright:          (c) 2023 Keito Kajitani
homepage:           https://github.com/ijaketak/binder
category:           Data
build-type:         Simple
tested-with:
      GHC == 9.2.8
    , GHC == 9.4.7
    , GHC == 9.6.3
extra-doc-files:    CHANGELOG.md
-- extra-source-files:

source-repository head
    type:     git
    location: https://github.com/ijaketak/binder

source-repository this
    type:     git
    location: https://github.com/ijaketak/binder
    tag:      v0.3

common depends
    build-depends:
          containers < 0.8
        , lens < 5.3
        , text < 2.2
        , transformers < 0.7

common warnings
    ghc-options: -Wall

library
    import:           depends, warnings
    exposed-modules:
          Data.Binder
    -- other-modules:
    -- other-extensions:
    build-depends:
          base < 4.19
    hs-source-dirs:   src
    default-language: Haskell2010

test-suite binder-test
    import:           depends, warnings
    default-language: Haskell2010
    other-modules:
          Binder1Spec
        , Binder2Spec
        , Binder3Spec
    -- other-extensions:
    type:             exitcode-stdio-1.0
    hs-source-dirs:   test
    main-is:          Spec.hs
    build-depends:
          base < 4.19
        , binder
        , hspec < 2.12
    build-tool-depends:
          hspec-discover:hspec-discover < 2.12