cabal-version:      2.2
name:               bound-extras
version:            0.0.2
x-revision:         3
synopsis:           ScopeH and ScopeT extras for bound
category:           Language, Compilers, Interpreters
description:
  Provides more complex @Scope@ variants; @ScopeT@ and @ScopeH@:
  .
  @
  Scope  b f a   ~ ScopeT b IdentityT f a ~ ScopeH b f f a
  ScopeT b t f a ~ ScopeH b (t f) f a
  @
  .
  'ScopeH' probably should be preferred over 'ScopeT'.
  Latter is left here for completeness.
  .
  Simple implementations of @ScopeH@ and @ScopeT@ would be similar
  (sans type arguments) to @Bound.Scope.Simple@.
  .
  Look into @examples/@ directory for /System F/ and /Bidirectional STLC/
  implemented with a help of 'ScopeH'.

license:            BSD-3-Clause
license-file:       LICENSE
copyright:          (c) 2018 Oleg Grenrus
author:             Oleg Grenrus, Edward Kmett
maintainer:         Oleg Grenrus <oleg.grenrus@iki.fi>
homepage:           https://github.com/phadej/bound-extras
bug-reports:        https://github.com/phadej/bound-extras/issues
tested-with:
  GHC ==8.0.2
   || ==8.2.2
   || ==8.4.4
   || ==8.6.5
   || ==8.8.4
   || ==8.10.7
   || ==9.0.2
   || ==9.2.8
   || ==9.4.7
   || ==9.6.3
   || ==9.8.1

extra-source-files:
  CHANGELOG.md
  examples/*.txt

source-repository head
  type:     git
  location: https://github.com/phadej/bound-extras

library
  default-language: Haskell2010
  hs-source-dirs:   src
  ghc-options:      -Wall
  exposed-modules:
    Bound.ScopeH
    Bound.ScopeT
    Control.Monad.Module

  -- GHC boot libraries
  build-depends:
    , base          ^>=4.9.1.0 || ^>=4.10.1.0 || ^>=4.11.1.0 || ^>=4.12.0.0 || ^>=4.13.0.0 || ^>=4.14.0.0 || ^>=4.15.0.0 || ^>=4.16.0.0 || ^>=4.17.0.0 || ^>=4.18.0.0 || ^>=4.19.0.0
    , deepseq       ^>=1.4.2.0 || ^>=1.5.0.0
    , hashable      ^>=1.2.7.0 || ^>=1.3.0.0 || ^>=1.4.0.1
    , transformers  ^>=0.5.0.0 || ^>=0.6.1.0

  -- other deps
  build-depends:    bound ^>=2.0.1

  if !impl(ghc >=8.2)
    build-depends: bifunctors ^>=5.5.3 || ^>=5.6.1

test-suite examples
  type:             exitcode-stdio-1.0
  main-is:          Examples.hs
  other-modules:
    Adjunctions
    BiSTLC
    BiSTLC2
    BiSTLC3
    Pretty
    SystemF

  default-language: Haskell2010
  hs-source-dirs:   examples
  ghc-options:      -Wall
  build-depends:
    , adjunctions   ^>=4.4
    , base
    , bound
    , bound-extras
    , containers    ^>=0.5.7.1 || ^>=0.6.0.1
    , filepath      ^>=1.4.1.1
    , pretty        ^>=1.1.3.3
    , tasty         >=1.1.0.3 && <1.6
    , tasty-golden  ^>=2.3.2
    , text-short    ^>=0.1.2
    , transformers
    , utf8-string   ^>=1.0.1.1

  if !impl(ghc >=8.2)
    build-depends: bifunctors