Dhall.Freeze

This module contains the implementation of the dhall freeze subcommand

Freeze

freeze :: OutputMode -> Input -> Scope -> Intent -> CharacterSet -> Censor -> IO ()

Implementation of the dhall freeze subcommand

freezeExpression

Arguments

:: FilePath

Starting directory

-> Scope

-> Intent

-> Expr s Import

-> IO (Expr s Import)

Slightly more pure version of the freeze function

This still requires IO to freeze the import, but now the input and output expression are passed in explicitly

freezeImport

Arguments

:: FilePath

Current working directory

-> Import

-> IO Import

Retrieve an Import and update the hash to match the latest contents

freezeRemoteImport

Arguments

:: FilePath

Current working directory

-> Import

-> IO Import

Freeze an import only if the import is a Remote import

Types

data Scope

Specifies which imports to freeze

Constructors

OnlyRemoteImports

Freeze only remote imports (i.e. URLs)

AllImports

Freeze all imports (including paths and environment variables)

data Intent

Specifies why we are adding semantic integrity checks

Constructors

Secure

Protect imports with an integrity check without a fallback so that import resolution fails if the import changes

Cache

Protect imports with an integrity check and also add a fallback import import without an integrity check. This is useful if you only want to cache imports when possible but still gracefully degrade to resolving them if the semantic integrity check has changed.