cabal-version: 3.0 name: agda-unused version: 0.2.0 build-type: Simple license: MIT license-file: LICENSE maintainer: Matt Superdock synopsis: Check for unused code in an Agda project. description: A tool to check for unused code in an Agda project. category: Dependent types data-files: data/**/*.agda extra-source-files: CHANGELOG.md README.md source-repository head type: git location: https://github.com/msuperdock/agda-unused.git library hs-source-dirs: src exposed-modules: Agda.Unused Agda.Unused.Check Agda.Unused.Monad.Error Agda.Unused.Monad.Reader Agda.Unused.Monad.State Agda.Unused.Print Agda.Unused.Types.Access Agda.Unused.Types.Context Agda.Unused.Types.Name Agda.Unused.Types.Range Agda.Unused.Utils build-depends: base >= 4.13 && < 4.15, Agda >= 2.6.1 && < 2.6.2, containers >= 0.6.2 && < 0.7, directory >= 1.3.6 && < 1.4, filepath >= 1.4.2 && < 1.5, mtl >= 2.2.2 && < 2.3, text >= 1.2.4 && < 1.3 default-language: Haskell2010 default-extensions: FlexibleContexts, FlexibleInstances, GADTs, OverloadedStrings ghc-options: -Wall -Wno-orphans executable agda-unused hs-source-dirs: app main-is: Main.hs build-depends: agda-unused, base >= 4.13 && < 4.15, aeson >= 1.4.7 && < 1.6, directory >= 1.3.6 && < 1.4, mtl >= 2.2.2 && < 2.3, optparse-applicative >= 0.15.1 && < 0.17, text >= 1.2.4 && < 1.3 default-language: Haskell2010 default-extensions: FlexibleContexts, GADTs, OverloadedStrings ghc-options: -Wall test-suite test type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Main.hs other-modules: Paths_agda_unused autogen-modules: Paths_agda_unused build-depends: agda-unused, base >= 4.13 && < 4.15, containers >= 0.6.2 && < 0.7, filepath >= 1.4.2 && < 1.5, hspec >= 2.7.1 && < 2.8, text >= 1.2.4 && < 1.3 default-language: Haskell2010 default-extensions: GADTs, OverloadedStrings ghc-options: -Wall