1dhall (1)()                                                        dhall (1)()
2
3
4

NAME

6       dhall - a programmable configuration language
7

DESCRIPTION

9       dhall is the command-line interface to the Dhall language
10

SYNOPSIS

12       dhall --file check.dhall
13
14       dhall --file error.dhall --explain
15
16       dhall hash --file to-hash.dhall
17
18       dhall freeze --file with-imports.dhall
19
20       dhall repl
21
22       dhall diff './file1.dhall’ './file2.dhall’
23
24       dhall type --quiet --file check-ci.dhall
25

SUBCOMMANDS

27       version - Display version information
28
29       resolve - Resolve imports
30
31       type - Infer type of expression
32
33       normalize - Normalize an expression
34
35       repl - Open a REPL
36
37       diff - Show difference between two expressions
38
39       hash - Compute hash of expression
40
41       lint - Lint an expression, removing dead code
42
43       tags - Generate etags (Emacs) file
44
45       format - Format an expression
46
47       freeze - Add hashes to import statements
48
49       encode - Encode a Dhall expression (CBOR)
50
51       decode - Decode a Dhall expression
52
53       text - Render a Dhall expression to text
54
55       to-directory-tree - Convert nested record of Text into a directory
56

OPTIONS

58       -h --help
59              Display help
60
61       --file Name of file containing Dhall source
62
63       --output
64              Output file
65
66       --annotate
67              Add type annotation to output
68
69       --alpha
70              alpha-normalize output
71
72       --no-cache
73              Don’t use cache to resolve imports
74
75       --explain
76              Explain error messages in detail
77
78       --version
79              Display version information
80
81       --plain
82              Disable syntax highlighting in output
83
84       --ascii
85              Format code using only ASCII syntax
86
87       --censor
88              Hide source code from error messages
89

EDITOR INTEGRATION

91       Up-to-date information on editor integration is available at:
92
93       https://docs.dhall-lang.org/howtos/Text-Editor-Configuration.html
94

BUGS

96       Please report any bugs you may come across to https://github.com/dhall-
97       language/dhall-haskell/issues.
98
99
100
101                                                                   dhall (1)()
Impressum