# Install dhall-lsp-server with Homebrew, Nix, pacman Language Server Protocol (LSP) server for Dhall. Version 1.1.4 via Homebrew; verified from local package data. ## Install ```sh sudo av install brew:dhall-lsp-server ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install dhall-lsp-server ``` Evidence: local Homebrew formula metadata ### Linux - Nix (92%): ```sh nix profile install nixpkgs#dhall-lsp-server ``` Evidence: nixpkgs package indexes: dhall-lsp-server from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix - pacman (92%): ```sh sudo pacman -S dhall-lsp-server ``` Evidence: Arch Linux sync databases: dhall-lsp-server from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz ## Package facts - **Package key:** brew:dhall-lsp-server - **Package manager:** Homebrew - **Package manager page:** - **Version:** 1.1.4 - **Source summary:** Language Server Protocol (LSP) server for Dhall - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** BSD-3-Clause - **Source archive:** - **Generated:** 2026-07-08T07:18:31+00:00 ## Executables - dhall-lsp-server (cli) - dhall-lsp-server (alias) ## Dependencies - gmp ## Build dependencies - cabal-install - ghc ## Uses from macOS - libffi - ncurses ## Install behavior - Post-install hook: not defined - Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## Freshness - Page generated: 2026-07-08 - Package-manager version: 1.1.4 - Local data: ok - Upstream repository: https://github.com/dhall-lang/dhall-haskell - info: No package-manager update timestamp was available. - info: No cached GitHub release or tag data was available. ## Project history and usage dhall-lsp-server is the editor-facing language server for Dhall. It packages the Dhall implementation as an LSP backend so editors can surface diagnostics, hover types, completion, formatting, linting, and import-related actions while users edit configuration files. ### Project history The dhall-lsp-server README places it inside the dhall-haskell project as the actual LSP server backend. It distinguishes the backend from VSCode/ium client extensions and says the server implements language features in an editor-agnostic way. ### Adoption history The official text-editor configuration guide documents use with Vim, Emacs, and Visual Studio Code-style environments, while the dhall-lsp-server README describes the VSCode/ium plugin pairing. That is adoption in the developer-tooling sense: the package makes Dhall usable as something edited with feedback, not just batch-rendered into JSON or YAML. ### How it is used Users install dhall-lsp-server, put it on PATH, and configure an editor LSP client to launch it for Dhall files. Official docs describe completion, document formatting, hover, parse/type diagnostics, clickable imports, freeze/refreeze import actions, and formatting/linting commands. ### Why package nerds care For package maintainers, dhall-lsp-server is the piece that turns a compiler-oriented language package into a daily editor dependency. It also shows the modern split between language core packages, editor client extensions, and a separately packaged server binary. ### Timeline - 2017: dhall-haskell public releases included the broader Dhall toolchain that dhall-lsp-server later ships within. - 2026: Official Dhall documentation continues to document editor configuration around dhall-lsp-server. ### Related projects - vscode-language-dhall supplies syntax highlighting, vscode-dhall-lsp-server supplies an LSP client extension, and dhall-haskell supplies the backend package. dhall-json and other sibling packages provide non-editor command-line integrations. ### Sources - - - - ## Security Notes broad file, network, media, or database tool signal. - **Geiger risk:** blue / medium - broad file, network, media, or database tool signal ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** dhall-lsp-server - **Version Scheme:** 0 - **Revision:** 0 - **Head Version:** HEAD - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## Other Package-Manager Records - Nix - dhall-lsp-server: normalized package name match | nixpkgs package indexes: dhall-lsp-server from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix - pacman - dhall-lsp-server - 1.1.4-142: normalized package name match | Arch Linux sync databases: dhall-lsp-server from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Language Server Protocol (LSP) server for Dhall | https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-lsp-server#readme ## Related links - [Source-control packages](https://www.automicvault.com/pkg/source-control-tools/) - Belongs to a source-control command family. - [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [cabal-install](https://www.automicvault.com/pkg/brew/cabal-install/) - Build dependency declared by Homebrew. - [ghc](https://www.automicvault.com/pkg/brew/ghc/) - Build dependency declared by Homebrew. - [dhall-bash](https://www.automicvault.com/pkg/brew/dhall-bash/) - Shares the same upstream source repository. - [dhall-json](https://www.automicvault.com/pkg/brew/dhall-json/) - Shares the same upstream source repository. - [dhall-toml](https://www.automicvault.com/pkg/brew/dhall-toml/) - Shares the same upstream source repository. - [dhall-yaml](https://www.automicvault.com/pkg/brew/dhall-yaml/) - Shares the same upstream source repository. - [codebook-lsp](https://www.automicvault.com/pkg/brew/codebook-lsp/) - Shares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp. - [efm-langserver](https://www.automicvault.com/pkg/brew/efm-langserver/) - Shares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp. - [fish-lsp](https://www.automicvault.com/pkg/brew/fish-lsp/) - Shares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp. - [gopls](https://www.automicvault.com/pkg/brew/gopls/) - Shares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp. - [haskell-language-server](https://www.automicvault.com/pkg/brew/haskell-language-server/) - Shares av.db curated category or tags: cli, developer-tools, haskell, language-server, lsp. - [jq-lsp](https://www.automicvault.com/pkg/brew/jq-lsp/) - Shares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp. - [pkl-lsp](https://www.automicvault.com/pkg/brew/pkl-lsp/) - Shares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp. - [python-lsp-server](https://www.automicvault.com/pkg/brew/python-lsp-server/) - Shares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp. - [terraform-lsp](https://www.automicvault.com/pkg/brew/terraform-lsp/) - Local metadata places this package in an adjacent workflow. Shared terms: cli, developer, developer-tools, editor, editor-integration. ## Combined YAML source View the package source record on GitHub. [combined/dhall-lsp-server.yml](https://github.com/automic-vault/db/blob/main/combined/dhall-lsp-server.yml) ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph