Automic VaultAutomic Vault

brew

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 commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install dhall-lsp-server

local Homebrew formula metadata

overview

Package summary

Language Server Protocol (LSP) server for Dhall

Commands and aliases

  • dhall-lsp-server

history

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.

security posture

Risk level: blue

broad file, network, media, or database tool signal.

Risk classifier

blue risk · medium confidence · tool

Why

  • broad file, network, media, or database tool signal

Signals

  • text:server

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Installs with 1 runtime dependencies.
  • Build metadata lists 2 build dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

CommandKindExposureNote
dhall-lsp-servercliglobal executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-07-08
manager version1.1.4
manager updated
local dataok
upstreamnot checked
latest detectednot detected

https://github.com/dhall-lang/dhall-haskell

install metadata

Package metadata

Package keybrew:dhall-lsp-server
Version1.1.4
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/dhall-lsp-server
Homepagehttps://github.com/dhall-lang/dhall-haskell/tree/main/dhall-lsp-server
Repositoryhttps://github.com/dhall-lang/dhall-haskell
Upstream docshttps://docs.dhall-lang.org/howtos/Text-editor-configuration.html
LicenseBSD-3-Clause
Source archivehttps://hackage.haskell.org/package/dhall-lsp-server-1.1.4/dhall-lsp-server-1.1.4.tar.gz
Dependenciesgmp
Build dependenciescabal-install, ghc
Uses from macOSlibffi, ncurses
Bottleavailable (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namedhall-lsp-server
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

dhall-lsp-server

nix profile install nixpkgs#dhall-lsp-server
  • normalized package name match
  • Matched by: Dhall Lsp Server
nixpkgs package indexes · raw.githubusercontent.com · nixpkgs package indexes: dhall-lsp-server from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

Related tools

  • cabal-installBuild dependency declared by Homebrew.
  • ghcBuild dependency declared by Homebrew.
  • dhall-bashShares the same upstream source repository.
  • dhall-jsonShares the same upstream source repository.
  • dhall-tomlShares the same upstream source repository.
  • dhall-yamlShares the same upstream source repository.

Same workflow

  • codebook-lspShares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp.
  • efm-langserverShares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp.
  • fish-lspShares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp.
  • goplsShares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp.
  • haskell-language-serverShares av.db curated category or tags: cli, developer-tools, haskell, language-server, lsp.
  • jq-lspShares av.db curated category or tags: cli, developer-tools, editor-integration, language-server, lsp.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment