Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulehnix-0.17.0Haskell2010

Nix.String.Coerce

Synopsis

data CoercionLevel
data CopyToStoreMode
value coerceToString
value coerceAnyToNixString
value coerceStringlikeToNixString
value coercePathToNixString

Packagehnix-0.17.0
Exports6
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCoerce.hs

datadata CoercionLevel

Data type to avoid boolean blindness on what used to be called coerceMore

Constructors

CoerceStringlike
Coerce only stringlike types: strings, paths
CoerceAny
Coerce everything but functions

Instances4Bounded, Enum, Eq, Ord

Bounded CoercionLevelDefined in hnix-0.17.0 · Nix.String.Coerce
Enum CoercionLevelDefined in hnix-0.17.0 · Nix.String.Coerce
Eq CoercionLevelDefined in hnix-0.17.0 · Nix.String.Coerce
Ord CoercionLevelDefined in hnix-0.17.0 · Nix.String.Coerce

datadata CopyToStoreMode

Data type to avoid boolean blindness on what used to be called copyToStore

Constructors

CopyToStore
Add paths to the store as they are encountered
DontCopyToStore
Add paths to the store as they are encountered

Instances4Bounded, Enum, Eq, Ord

Bounded CopyToStoreModeDefined in hnix-0.17.0 · Nix.String.Coerce
Enum CopyToStoreModeDefined in hnix-0.17.0 · Nix.String.Coerce
Eq CopyToStoreModeDefined in hnix-0.17.0 · Nix.String.Coerce
Ord CopyToStoreModeDefined in hnix-0.17.0 · Nix.String.Coerce

valuecoerceToString

:: (Framed e m, MonadStore m, MonadThrow m, MonadDataErrorContext t f m, MonadValue (NValue t f m) m)
=> NValue t f m -> NValue t f m -> m (NValue t f m)
-> CopyToStoreMode
-> CoercionLevel
-> NValue t f m
-> m NixString

valuecoerceAnyToNixString

:: (Framed e m, MonadStore m, MonadThrow m, MonadDataErrorContext t f m, MonadValue (NValue t f m) m)
=> NValue t f m -> NValue t f m -> m (NValue t f m)
-> CopyToStoreMode
-> NValue t f m
-> m NixString

valuecoerceStringlikeToNixString

:: (Framed e m, MonadStore m, MonadThrow m, MonadDataErrorContext t f m, MonadValue (NValue t f m) m)
=> CopyToStoreMode
-> NValue t f m
-> m NixString

valuecoercePathToNixString

:: (MonadStore m, Framed e m)
=> CopyToStoreMode
-> Path
-> m NixString

Convert Path into NixString. With an additional option to store the resolved path into Nix Store.