Dhall.Util

Shared utility functions

Documentation

snip :: Text -> Text

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

snipDoc :: Doc Ann -> Doc a

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

Function to insert an aligned pretty expression

_ERROR :: IsString string => string

Prefix used for error messages

data Censor

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

Constructors

NoCensor

Censor

data Input

Path to input

Constructors

StandardInput

InputFile FilePath

data Output

Path to output

Constructors

StandardOutput

OutputFile FilePath

getExpression :: Censor -> Input -> IO (Expr Src Import)

Convenient utility for retrieving an expression

getExpressionAndHeader :: Censor -> Input -> IO (Text, Expr Src Import)

Convenient utility for retrieving an expression along with its header