Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduledhall-1.42.3Haskell2010

Dhall.Freeze

This module contains the implementation of the dhall freeze subcommand

2 types
12 values

Packagedhall-1.42.3
Exports14
LanguageHaskell2010
LicenceBSD-3-Clause
SourceFreeze.hs

Freeze

4 declarations

valuefreeze

:: OutputMode
-> Transitivity
-> NonEmpty Input
-> Scope
-> Intent
-> Maybe CharacterSet
-> Censor
-> IO ()

Implementation of the dhall freeze subcommand

valuefreezeExpression

:: 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

valuefreezeImport

:: FilePath
Current working directory
-> Import
-> IO Import

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

valuefreezeRemoteImport

:: FilePath
Current working directory
-> Import
-> IO Import

Freeze an import only if the import is a Remote import

Freeze with custom evaluation settings

4 declarations

valuefreezeWithSettings

:: EvaluateSettings
-> OutputMode
-> Transitivity
-> NonEmpty Input
-> Scope
-> Intent
-> Maybe CharacterSet
-> Censor
-> IO ()

valuefreezeExpressionWithSettings

:: EvaluateSettings
-> FilePath
-> Scope
-> Intent
-> Expr s Import
-> IO (Expr s Import)

See freezeExpression.

valuefreezeImportWithSettings

See freezeImport.

valuefreezeRemoteImportWithSettings

See freezeRemoteImport.

Types

2 declarations

datadata Scope

Specifies which imports to freeze

Constructors

OnlyRemoteImports
Freeze only remote imports (i.e. URLs)
AllImports
Freeze all imports (including paths and environment variables)

datadata 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.

Deprecated functions

4 declarations

valuefreezeWithManager

:: IO Manager
-> OutputMode
-> Transitivity
-> NonEmpty Input
-> Scope
-> Intent
-> Maybe CharacterSet
-> Censor
-> IO ()

Deprecated. Use freezeWithSettings directly

valuefreezeExpressionWithManager

:: IO Manager
-> FilePath
-> Scope
-> Intent
-> Expr s Import
-> IO (Expr s Import)

Deprecated. Use freezeExpressionWithSettings directly

See freezeExpression.

valuefreezeImportWithManager :: IO Manager -> FilePath -> Import -> IO Import

Deprecated. Use freezeImportWithSettings directly

See freezeImport.

valuefreezeRemoteImportWithManager

:: IO Manager
-> FilePath
-> Import
-> IO Import

Deprecated. Use freezeRemoteImportWithSettings directly

See freezeRemoteImport.