System.Nix.Internal.StorePath

Basic store path types

newtype StoreDir

The path to the store dir

Many operations need to be parameterized with this, since store paths do not know their own store dir by design.

Constructors

StoreDir

Fields

• unStoreDir :: RawFilePath

Instances

Show StoreDir

Defined in System.Nix.Internal.StorePath

Methods

showsPrec :: Int -> StoreDir -> ShowS

show :: StoreDir -> String

showList :: [StoreDir] -> ShowS

Eq StoreDir

Defined in System.Nix.Internal.StorePath

Methods

(==) :: StoreDir -> StoreDir -> Bool

(/=) :: StoreDir -> StoreDir -> Bool

Ord StoreDir

Defined in System.Nix.Internal.StorePath

Methods

compare :: StoreDir -> StoreDir -> Ordering

(<) :: StoreDir -> StoreDir -> Bool

(<=) :: StoreDir -> StoreDir -> Bool

(>) :: StoreDir -> StoreDir -> Bool

(>=) :: StoreDir -> StoreDir -> Bool

max :: StoreDir -> StoreDir -> StoreDir

min :: StoreDir -> StoreDir -> StoreDir

Hashable StoreDir

Defined in System.Nix.Internal.StorePath

Methods

hashWithSalt :: Int -> StoreDir -> Int

hash :: StoreDir -> Int

data StorePath

A path in a Nix store.

From the Nix thesis: A store path is the full path of a store object. It has the following anatomy: storeDir/hashPart-name.

The store directory is *not* included, and must be known from the context. This matches modern C++ Nix, and also represents the fact that store paths for different store directories cannot be mixed.

Constructors

StorePath

Fields

• storePathHash :: !StorePathHashPart

  The 160-bit hash digest reflecting the "address" of the name. Currently, this is a truncated SHA256 hash.

• storePathName :: !StorePathName

  The (typically human readable) name of the path. For packages this is typically the package name and version (e.g. hello-1.2.3).

Instances

Show StorePath

Defined in System.Nix.Internal.StorePath

Methods

showsPrec :: Int -> StorePath -> ShowS

show :: StorePath -> String

showList :: [StorePath] -> ShowS

Eq StorePath

Defined in System.Nix.Internal.StorePath

Methods

(==) :: StorePath -> StorePath -> Bool

(/=) :: StorePath -> StorePath -> Bool

Ord StorePath

Defined in System.Nix.Internal.StorePath

Methods

compare :: StorePath -> StorePath -> Ordering

(<) :: StorePath -> StorePath -> Bool

(<=) :: StorePath -> StorePath -> Bool

(>) :: StorePath -> StorePath -> Bool

(>=) :: StorePath -> StorePath -> Bool

max :: StorePath -> StorePath -> StorePath

min :: StorePath -> StorePath -> StorePath

Hashable StorePath

Defined in System.Nix.Internal.StorePath

Methods

hashWithSalt :: Int -> StorePath -> Int

hash :: StorePath -> Int

newtype StorePathName

The name portion of a Nix path.

unStorePathName must only contain a-zA-Z0-9+._?=-, can't start with a -, and must have at least one character (i.e. it must match storePathNameRegex).

Constructors

StorePathName

Fields

• unStorePathName :: Text

  Extract the contents of the name.

Instances

Show StorePathName

Defined in System.Nix.Internal.StorePath

Methods

showsPrec :: Int -> StorePathName -> ShowS

show :: StorePathName -> String

showList :: [StorePathName] -> ShowS

Eq StorePathName

Defined in System.Nix.Internal.StorePath

Methods

(==) :: StorePathName -> StorePathName -> Bool

(/=) :: StorePathName -> StorePathName -> Bool

Ord StorePathName

Defined in System.Nix.Internal.StorePath

Methods

compare :: StorePathName -> StorePathName -> Ordering

(<) :: StorePathName -> StorePathName -> Bool

(<=) :: StorePathName -> StorePathName -> Bool

(>) :: StorePathName -> StorePathName -> Bool

(>=) :: StorePathName -> StorePathName -> Bool

max :: StorePathName -> StorePathName -> StorePathName

min :: StorePathName -> StorePathName -> StorePathName

Hashable StorePathName

Defined in System.Nix.Internal.StorePath

Methods

hashWithSalt :: Int -> StorePathName -> Int

hash :: StorePathName -> Int

type StorePathSet = HashSet StorePath

A set of StorePaths.

mkStorePathHashPart :: ByteString -> StorePathHashPart

newtype StorePathHashPart

The hash algorithm used for store path hashes.

Constructors

StorePathHashPart ByteString

Instances

Show StorePathHashPart

Defined in System.Nix.Internal.StorePath

Methods

showsPrec :: Int -> StorePathHashPart -> ShowS

show :: StorePathHashPart -> String

showList :: [StorePathHashPart] -> ShowS

Eq StorePathHashPart

Defined in System.Nix.Internal.StorePath

Methods

(==) :: StorePathHashPart -> StorePathHashPart -> Bool

(/=) :: StorePathHashPart -> StorePathHashPart -> Bool

Ord StorePathHashPart

Defined in System.Nix.Internal.StorePath

Methods

compare :: StorePathHashPart -> StorePathHashPart -> Ordering

(<) :: StorePathHashPart -> StorePathHashPart -> Bool

(<=) :: StorePathHashPart -> StorePathHashPart -> Bool

(>) :: StorePathHashPart -> StorePathHashPart -> Bool

(>=) :: StorePathHashPart -> StorePathHashPart -> Bool

max :: StorePathHashPart -> StorePathHashPart -> StorePathHashPart

min :: StorePathHashPart -> StorePathHashPart -> StorePathHashPart

Hashable StorePathHashPart

Defined in System.Nix.Internal.StorePath

Methods

hashWithSalt :: Int -> StorePathHashPart -> Int

hash :: StorePathHashPart -> Int

data ContentAddressableAddress

An address for a content-addressable store path, i.e. one whose store path hash is purely a function of its contents (as opposed to paths that are derivation outputs, whose hashes are a function of the contents of the derivation file instead).

For backwards-compatibility reasons, the same information is encodable in multiple ways, depending on the method used to add the path to the store. These unfortunately result in separate store paths.

Constructors

Text !(Digest SHA256)

The path is a plain file added via makeTextPath or addTextToStore. It is addressed according to a sha256sum of the file contents.

Fixed !NarHashMode !SomeNamedDigest

The path was added to the store via makeFixedOutputPath or addToStore. It is addressed according to some hash algorithm applied to the nar serialization via some NarHashMode.

data NarHashMode

Schemes for hashing a Nix archive.

For backwards-compatibility reasons, there are two different modes here, even though Recursive should be able to cover both.

Constructors

RegularFile

Require the nar to represent a non-executable regular file.

Recursive

Hash an arbitrary nar, including a non-executable regular file if so desired.

Manipulating StorePathName

makeStorePathName :: Text -> Either String StorePathName

validStorePathName :: Text -> Bool

Rendering out StorePaths

storePathToFilePath :: StoreDir -> StorePath -> FilePath

Render a StorePath as a FilePath.

storePathToRawFilePath :: StoreDir -> StorePath -> RawFilePath

Render a StorePath as a RawFilePath.

storePathToText :: StoreDir -> StorePath -> Text

Render a StorePath as a ContentAddressableAddress.

storePathToNarInfo :: StorePath -> ByteString

Build narinfo suffix from StorePath which can be used to query binary caches.

Parsing StorePaths

parsePath :: StoreDir -> ByteString -> Either String StorePath

Parse StorePath from ByteString, checking that store directory matches expectedRoot.

pathParser :: StoreDir -> Parser StorePath