HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Package1.42.3Compiler

dhall

A configuration language guaranteed to terminate

Modules

33 modules
  • Dhall30Please read the Dhall.Tutorial module, which contains a tutorial explaining
  • Dhall.Binary3This module contains logic for converting Dhall expressions to and from
  • Dhall.Context6This is a utility module that consolidates all Context-related operations
  • Dhall.Core58This module contains the core calculus for the Dhall language. Dhall is essentially a fork of the morte compiler but with more built-in
  • Dhall.Crypto4This module provides implementations of cryptographic utilities that only
  • Dhall.Deriving23Newtypes for writing customizable FromDhall and ToDhall instances
  • Dhall.Diff3This module provides functionality for concisely displaying the difference
  • Dhall.DirectoryTree18Implementation of the dhall to-directory-tree subcommand
  • Dhall.Format2This module contains the implementation of the dhall format subcommand
  • Dhall.Freeze14This module contains the implementation of the dhall freeze subcommand
  • Dhall.Import48Dhall lets you import external expressions located either in local files or
  • Dhall.Lint7This module contains the implementation of the dhall lint command
  • Dhall.Main7This module contains the top-level entrypoint and options parsing for the
  • Dhall.Map39Map type used to represent records and unions
  • Dhall.Marshal.Decode85Please read the Dhall.Tutorial module, which contains a tutorial explaining
  • Dhall.Marshal.Encode30Please read the Dhall.Tutorial module, which contains a tutorial explaining
  • Dhall.Optics11This module contains some useful utilities copy-and-pasted from the lens
  • Dhall.Package9Create a package.dhall from files and directory contents.
  • Dhall.Parser11This module contains Dhall's parsing logic
  • Dhall.Parser.Expression25Parsing Dhall expressions.
  • Dhall.Parser.Token122Parse Dhall tokens. Even though we don't have a tokenizer per-se this
  • Dhall.Pretty13This module contains logic for pretty-printing expressions, including
  • Dhall.Repl1This module contains the implementation of the dhall repl subcommand
  • Dhall.Schemas4This module contains the implementation of the dhall rewrite-with-schemas
  • Dhall.Set14This module only exports ways of constructing a Set,
  • Dhall.Src1This module provides the Src type used for source spans in error messages
  • Dhall.Substitution3This module provides types and functions used in the substitution step
  • Dhall.TH8Template Haskell utilities
  • Dhall.Tags1This module contains the implementation of the dhall tags command
  • Dhall.Tutorial0Dhall is a programming language specialized for configuration files. This
  • Dhall.TypeCheck14This module contains the logic for type checking Dhall code
  • Dhall.Util19Shared utility functions
  • Dhall.Version2Utilities for getting the current version of the Haskell implementation of

Description

Dhall is an explicitly typed configuration language that is not Turing complete. Despite being Turing incomplete, Dhall is a real programming language with a type-checker and evaluator.

Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language. This package also includes an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form.

Read Dhall.Tutorial to learn how to use this library

Depends on

54 packages

Used by in this set · 7