cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.38.3. -- -- see: https://github.com/sol/hpack name: agda-language-server version: 0.2.7.0.1.5 synopsis: An implementation of language server protocal (LSP) for Agda 2. description: Please see the README on GitHub at category: Development homepage: https://github.com/banacorn/agda-language-server#readme bug-reports: https://github.com/banacorn/agda-language-server/issues author: Ting-Gian LUA maintainer: banacorn@gmail.com, Andreas Abel copyright: 2020-23 Ting-Gian LUA, Andreas ABEL license: MIT license-file: LICENSE build-type: Simple extra-source-files: README.md CHANGELOG.md package.yaml stack.yaml stack-9.10.2-Agda-2.6.4.3.yaml stack-9.10.2-Agda-2.7.0.1.yaml stack-9.10.2-Agda-2.8.0.yaml source-repository head type: git location: https://github.com/banacorn/agda-language-server flag Agda-2-6-4 description: Embed Agda-2.6.4.3 manual: True default: False flag Agda-2-7-0 description: Embed Agda-2.7.0.1 manual: True default: False flag Agda-2-8-0 description: Embed Agda-2.8.0 manual: True default: False flag reactor description: Build as a WASI reactor module manual: True default: False library exposed-modules: Agda Agda.Convert Agda.IR Agda.Parser Agda.Position Control.Concurrent.SizedChan Monad Options Render Render.Class Render.Common Render.Concrete Render.Interaction Render.Internal Render.Literal Render.Name Render.Position Render.RichText Render.TypeChecking Render.Utils Server Server.CommandController Server.Handler Server.ResponseController Switchboard other-modules: Paths_agda_language_server hs-source-dirs: src default-extensions: LambdaCase OverloadedStrings PatternSynonyms TypeOperators ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures -Werror=incomplete-patterns -fno-warn-orphans build-depends: Agda , aeson , base >=4.7 && <5 , bytestring , containers , directory , filepath , lsp >=2 , lsp-types >=2 , mtl , prettyprinter , process , stm , strict , text default-language: Haskell2010 if flag(Agda-2-6-4) build-depends: Agda ==2.6.4.3 if flag(Agda-2-7-0) build-depends: Agda ==2.7.0.1 if flag(Agda-2-8-0) build-depends: Agda ==2.8.0 if arch(wasm32) build-depends: unix >=2.8.0.0 && <2.9 else build-depends: network , network-simple ==0.4.2 if !arch(wasm32) ghc-options: -threaded executable als main-is: Main.hs other-modules: Paths_agda_language_server hs-source-dirs: app default-extensions: LambdaCase OverloadedStrings PatternSynonyms TypeOperators ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures -rtsopts -Werror=incomplete-patterns -fno-warn-orphans build-depends: Agda , aeson , agda-language-server , base >=4.7 && <5 , bytestring , containers , directory , filepath , lsp >=2 , lsp-types >=2 , mtl , prettyprinter , process , stm , strict , text default-language: Haskell2010 if flag(Agda-2-6-4) build-depends: Agda ==2.6.4.3 if flag(Agda-2-7-0) build-depends: Agda ==2.7.0.1 if flag(Agda-2-8-0) build-depends: Agda ==2.8.0 if arch(wasm32) build-depends: unix >=2.8.0.0 && <2.9 else build-depends: network , network-simple ==0.4.2 if arch(wasm32) ghc-options: -with-rtsopts=-V1 if flag(reactor) other-modules: Reactor ghc-options: -no-hs-main -optl-mexec-model=reactor -optl-Wl,--export=hs_init,--export=run_setup,--export=new_language_server,--export=free_language_server,--export=run_language_server,--export=send_message,--export=recv_message build-depends: attoparsec , ghc-experimental if !arch(wasm32) ghc-options: -threaded -with-rtsopts=-N test-suite als-test type: exitcode-stdio-1.0 main-is: Test.hs other-modules: Test.LSP Test.SrcLoc Test.WASM Agda Agda.Convert Agda.IR Agda.Parser Agda.Position Control.Concurrent.SizedChan Monad Options Render Render.Class Render.Common Render.Concrete Render.Interaction Render.Internal Render.Literal Render.Name Render.Position Render.RichText Render.TypeChecking Render.Utils Server Server.CommandController Server.Handler Server.ResponseController Switchboard Paths_agda_language_server hs-source-dirs: test src default-extensions: LambdaCase OverloadedStrings PatternSynonyms TypeOperators ghc-options: -Wincomplete-patterns -Wunused-do-bind -Wunused-foralls -Wwarnings-deprecations -Wwrong-do-bind -Wmissing-fields -Wmissing-methods -Wmissing-pattern-synonym-signatures -Wmissing-signatures -rtsopts -Werror=incomplete-patterns -fno-warn-orphans build-depends: Agda , aeson , base >=4.7 && <5 , bytestring , containers , directory , filepath , lsp >=2 , lsp-test , lsp-types >=2 , mtl , prettyprinter , process , stm , strict , tasty , tasty-golden , tasty-hunit , tasty-quickcheck , text default-language: Haskell2010 if flag(Agda-2-6-4) build-depends: Agda ==2.6.4.3 if flag(Agda-2-7-0) build-depends: Agda ==2.7.0.1 if flag(Agda-2-8-0) build-depends: Agda ==2.8.0 if arch(wasm32) build-depends: unix >=2.8.0.0 && <2.9 else build-depends: network , network-simple ==0.4.2 if arch(wasm32) ghc-options: -with-rtsopts=-V1 if !arch(wasm32) ghc-options: -threaded -with-rtsopts=-N