Dependencies for agda-language-server-0.2.7.0.1.5
Libraries
agda-language-server
- aeson
- Agda
- base (>=4.7 && <5)
- bytestring
- containers
- directory
- filepath
- lsp (>=2)
- lsp-types (>=2)
- mtl
- prettyprinter
- process
- stm
- strict
- text
- if flag(agda-2-6-4)
- Agda (==2.6.4.3)
- if flag(agda-2-7-0)
- Agda (==2.7.0.1)
- if flag(agda-2-8-0)
- Agda (==2.8.0)
- if arch(wasm32)
- unix (>=2.8.0.0 && <2.9)
- network
- network-simple (==0.4.2)
Executables
als
- aeson
- Agda
- agda-language-server
- base (>=4.7 && <5)
- bytestring
- containers
- directory
- filepath
- lsp (>=2)
- lsp-types (>=2)
- mtl
- prettyprinter
- process
- stm
- strict
- text
- if flag(agda-2-6-4)
- Agda (==2.6.4.3)
- if flag(agda-2-7-0)
- Agda (==2.7.0.1)
- if flag(agda-2-8-0)
- Agda (==2.8.0)
- if arch(wasm32)
- unix (>=2.8.0.0 && <2.9)
- network
- network-simple (==0.4.2)
- if flag(reactor)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| agda-2-6-4 | Embed Agda-2.6.4.3 | Disabled |
| agda-2-7-0 | Embed Agda-2.7.0.1 | Disabled |
| agda-2-8-0 | Embed Agda-2.8.0 | Disabled |
| reactor | Build as a WASI reactor module | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info