Set package:dhall

This module only exports ways of constructing a Set, retrieving List, Set, and Seq representations of the same data, as well as a novel "difference" function. Any other Set-like or List-like functionality should be obtained through toSet and toList, respectively.

This is a variation on Data.Set.Set that remembers the original order of elements. This ensures that ordering is not lost when formatting Dhall code

SetSingletonConstructors t replaces the singletonConstructors from options with the value-level version of t.

setSingletonConstructors v options replaces the singletonConstructors from options with v.

A wrapper around setFileMode. On Windows, it does check the resulting file mode of the file/directory and emits a warning if it doesn't match the desired file mode. On all other OS it is identical to setFileMode as it is assumed to work correctly.

Decode a Set from a List with distinct elements.

>>> input (setFromDistinctList natural) "[1, 2, 3]"
fromList [1,2,3]

An error is thrown if the list contains duplicates.

>>> input (setFromDistinctList natural) "[1, 1, 3]"
*** Exception: Error: Failed extraction

The expression type-checked successfully but the transformation to the target
type failed with the following error:

One duplicate element in the list: 1

>>> input (setFromDistinctList natural) "[1, 1, 3, 3]"
*** Exception: Error: Failed extraction

The expression type-checked successfully but the transformation to the target
type failed with the following error:

2 duplicates were found in the list, including 1

Decode a Set from a List.

>>> input (setIgnoringDuplicates natural) "[1, 2, 3]"
fromList [1,2,3]

Duplicate elements are ignored.

>>> input (setIgnoringDuplicates natural) "[1, 1, 3]"
fromList [1,3]

Set the current source offset

Type-check an expression against a type provided as a Dhall expreession, using the supplied InputSettings

Default evaluation settings: no extra entries in the initial context, and no special normalizer behaviour.

Default input settings: resolves imports relative to . (the current working directory), report errors as coming from (input), and default evaluation settings from defaultEvaluateSettings.

Type-check an expression against a Decoder's expected type, using the supplied InputSettings. This is equivalent of using the expected type of a Decoder as the second argument to checkWithSettings.

Like fromExpr, but customizable using InputSettings

Extend inputExpr with a root directory to resolve imports relative to, a file to mention in errors as the source, a custom typing context, and a custom normalization process.

Extend inputFile with a custom typing context and a custom normalization process.

Extend input with a root directory to resolve imports relative to, a file to mention in errors as the source, a custom typing context, and a custom normalization process.

Like interpretExpr, but customizable using InputSettings

Normalize an expression, using the supplied InputSettings

Parse an expression, using the supplied InputSettings

A version of resolveWithSettings that also returns the import Status together with the resolved expression.