dhall-1.42.1: A configuration language guaranteed to terminate
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
Modules
- Dhall
- Dhall.Binary
- Dhall.Context
- Dhall.Core
- Dhall.Crypto
- Dhall.Deriving
- Dhall.Diff
- Dhall.DirectoryTree
- Dhall.Format
- Dhall.Freeze
- Dhall.Import
- Dhall.Lint
- Dhall.Main
- Dhall.Map
- Marshal
- Dhall.Optics
- Dhall.Package
- Dhall.Parser
- Dhall.Pretty
- Dhall.Repl
- Dhall.Schemas
- Dhall.Set
- Dhall.Src
- Dhall.Substitution
- Dhall.TH
- Dhall.Tags
- Dhall.Tutorial
- Dhall.TypeCheck
- Dhall.Util
- Dhall.Version