Dhall.Util

Utility function to cut out the interior of a large text block

Like snip, but for Docs

Note that this has to be opinionated and render ANSI color codes, but that should be fine because we don't use this in a non-interactive context

Function to insert an aligned pretty expression

Prefix used for error messages

Prefix used for error messages

Output a warning message on stderr.

Set to Censor if you want to censor error text that might include secrets

Path to input

Specifies whether or not an input's transitive dependencies should also be processed. Transitive dependencies are restricted to relative file imports.

Some command-line subcommands can either Write their input or Check that the input has already been modified. This type is shared between them to record that choice.

Path to output

Convenient utility for retrieving an expression

Convenient utility for retrieving an expression along with its header

Convenient utility for retrieving an expression along with its header from | text already read from STDIN (so it's not re-read)

A header corresponds to the leading comment at the top of a Dhall file.

The header includes comment characters but is stripped of leading spaces and trailing newlines

A check failure corresponding to a single input. This type is intended to be used with MultipleCheckFailed for error reporting.

Exception thrown when the --check flag to a command-line subcommand fails

Run IO for multiple inputs, then collate all the check failures before throwing if there was any failure

Convenient utility to output an expression either to a file or to stdout.