cabal-version: 2.4 name: debruijn-safe version: 0.2 license: BSD-3-Clause license-file: LICENSE category: Development synopsis: de Bruijn indices and levels description: de Bruijn indices and levels for well-scoped terms. . This is "safe", but slow implementation. author: Oleg Grenrus maintainer: Oleg Grenrus build-type: Simple tested-with: GHC ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2 || ==9.10.1 source-repository head type: git location: https://github.com/phadej/debruijn.git subdir: debruijn-safe library default-language: Haskell2010 ghc-options: -Wall -Wno-unticked-promoted-constructors hs-source-dirs: src src-common -- GHC-boot libraries build-depends: , base ^>=4.16.3.0 || ^>=4.17.0.0 || ^>=4.18.0.0 || ^>=4.19.0.0 || ^>=4.20.0.0 , deepseq ^>=1.4.6.1 || ^>=1.5.0.0 -- rest of the dependencies build-depends: , fin ^>=0.3.1 , some ^>=1.0.6 exposed-modules: DeBruijn DeBruijn.Add DeBruijn.Ctx DeBruijn.Env DeBruijn.Idx DeBruijn.Lte DeBruijn.Lvl DeBruijn.Ren DeBruijn.Size DeBruijn.Sub DeBruijn.Wk other-modules: DeBruijn.RenExtras TrustworthyCompat default-extensions: BangPatterns DataKinds DeriveGeneric DeriveTraversable DerivingStrategies EmptyCase FlexibleInstances FunctionalDependencies GADTs OverloadedStrings PatternSynonyms QuantifiedConstraints RankNTypes RoleAnnotations ScopedTypeVariables StandaloneDeriving StandaloneKindSignatures TypeApplications TypeOperators ViewPatterns