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: 7
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/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