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: 8
synopsis: An implementation of language server protocal (LSP) for Agda 2.
description: Please see the README on GitHub at <https://github.com/agda/agda-language-server#readme>
category: Development
homepage: https://github.com/agda/agda-language-server#readme
bug-reports: https://github.com/agda/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/agda/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.Smoke
Test.SrcLoc
Test.Version
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