Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data StorePath = StorePath {}
- newtype StorePathName = StorePathName {}
- type StorePathSet = HashSet StorePath
- mkStorePathHashPart :: ByteString -> StorePathHashPart
- newtype StorePathHashPart = StorePathHashPart ByteString
- data ContentAddressableAddress
- = Text !(Digest SHA256)
- | Fixed !NarHashMode !SomeNamedDigest
- data NarHashMode
- makeStorePathName :: Text -> Either String StorePathName
- validStorePathName :: Text -> Bool
- storePathToFilePath :: StorePath -> FilePath
- storePathToRawFilePath :: StorePath -> RawFilePath
- storePathToText :: StorePath -> Text
- storePathToNarInfo :: StorePath -> ByteString
- parsePath :: FilePath -> ByteString -> Either String StorePath
- pathParser :: FilePath -> Parser StorePath
Basic store path types
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.
storeDir
: The root of the Nix store (e.g. /nix/store).
See the StoreDir
haddocks for details on why we represent this at
the type level.
StorePath | |
|
newtype StorePathName Source #
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
).
StorePathName | |
|
Instances
Eq StorePathName Source # | |
Defined in System.Nix.Internal.StorePath (==) :: StorePathName -> StorePathName -> Bool # (/=) :: StorePathName -> StorePathName -> Bool # | |
Ord StorePathName Source # | |
Defined in System.Nix.Internal.StorePath 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 Source # | |
Defined in System.Nix.Internal.StorePath hashWithSalt :: Int -> StorePathName -> Int # hash :: StorePathName -> Int # |
newtype StorePathHashPart Source #
The hash algorithm used for store path hashes.
Instances
data ContentAddressableAddress Source #
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.
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 |
data NarHashMode Source #
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.
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
validStorePathName :: Text -> Bool Source #
Rendering out StorePath
s
storePathToRawFilePath :: StorePath -> RawFilePath Source #
Render a StorePath
as a RawFilePath
.
storePathToText :: StorePath -> Text Source #
Render a StorePath
as a ContentAddressableAddress
.
storePathToNarInfo :: StorePath -> ByteString Source #
Build narinfo
suffix from StorePath
which
can be used to query binary caches.
Parsing StorePath
s
parsePath :: FilePath -> ByteString -> Either String StorePath Source #
Parse StorePath
from ByteString
, checking
that store directory matches expectedRoot
.