dhall-1.30.0: A configuration language guaranteed to terminate

Dhall.Util

Description

Shared utility functions

Synopsis

# Documentation

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

insert :: Pretty a => a -> Doc Ann Source #

Function to insert an aligned pretty expression

_ERROR :: IsString string => string Source #

Prefix used for error messages

data Censor Source #

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

Constructors

 NoCensor Censor

data Input Source #

Path to input

Constructors

 StandardInput InputFile FilePath

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.

Constructors

 Write Check

data Output Source #

Path to output

Constructors

 StandardOutput OutputFile FilePath

Convenient utility for retrieving an expression

Convenient utility for retrieving an expression along with its header

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

Constructors

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