DHALL(1)

💖 DHALL 💖

okay so bestie, welcome to the dhall manual page, section 1 — the command-line interface to the Dhall language, which is, and I cannot stress this enough, a programmable configuration language. yes. a config language that is also a whole programming language. she contains multitudes 💅

---

✨ NAME ✨

dhall — a programmable configuration language 🦋

---

🌸 DESCRIPTION 🌸

dhall is the command-line interface to the Dhall language. that's it, that's the vibe — everything you can do with Dhall from a terminal goes through this one binary. main character energy, honestly. 👑

---

🎀 SYNOPSIS 🎀

dhall --file check.dhall

dhall --file error.dhall --explain

dhall hash --file to-hash.dhall

dhall freeze --file with-imports.dhall

dhall repl

dhall diff './file1.dhall’ './file2.dhall’

dhall type --quiet --file check-ci.dhall

look at her go 😭 every one of those is a real thing you can literally type right now. no cap.

---

🧚 SUBCOMMANDS 🧚

• version — Display version information
• resolve — Resolve imports
• type — Infer type of expression
• normalize — Normalize an expression
• repl — Open a REPL
• diff — Show difference between two expressions
• hash — Compute hash of expression
• lint — Lint an expression, removing dead code
• tags — Generate etags (Emacs) file
• format — Format an expression
• freeze — Add hashes to import statements
• encode — Encode a Dhall expression (CBOR)
• decode — Decode a Dhall expression
• text — Render a Dhall expression to text
• to-directory-tree — Convert nested record of Text into a directory

fifteen subcommands and not a single flop among them 💖 to-directory-tree is lowkey the sleeper hit, turning a nested record of Text into an actual directory on disk. iconic behaviour.

---

💅 OPTIONS 💅

• -h, --help — Display help
• --file — Name of file containing Dhall source
• --output — Output file
• --annotate — Add type annotation to output
• --alpha — alpha-normalize output
• --no-cache — Don't use cache to resolve imports
• --explain — Explain error messages in detail
• --version — Display version information
• --plain — Disable syntax highlighting in output
• --ascii — Format code using only ASCII syntax
• --censor — Hide source code from error messages

bestie listen — if you're about to pipe dhall output somewhere, <yellow>--plain</yellow> is your bestie. no syntax highlighting, just clean text. and <yellow>--censor</yellow> will hide your source code from error messages, which, if you're pasting errors into a public issue... yeah. do that. 🫶

---

🌈 EDITOR INTEGRATION 🌈

Up-to-date information on editor integration is available at:

https://docs.dhall-lang.org/howtos/Text-Editor-Configuration.html

go make your editor slay, bestie, the docs are right there ✨

---

💀 BUGS 💀

Please report any bugs you may come across to https://github.com/dhall-lang/dhall-haskell/issues.

like, actually report them though. don't just suffer in silence. the maintainers want to know 🙈

---

and that's the whole page!! we made it. the footer just says dhall (1)() again with no version and no date on it, so consider this your cute little sign-off instead: go forth and configure things programmatically, bestie 💜🎀✨