dhall-1.32.0: 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
Signatures
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
- Dhall.Optics
- Dhall.Parser
- Dhall.Pretty
- Dhall.Repl
- Dhall.Set
- Dhall.Src
- Dhall.Substitution
- Dhall.TH
- Dhall.Tags
- Dhall.Tutorial
- Dhall.TypeCheck
- Dhall.Util
- Dhall.Version