Maintainer | Shea Levy <shea@shealevy.com> |
---|---|
Safe Haskell | None |
Language | Haskell2010 |
Synopsis
- data PathName
- pathNameContents :: PathName -> Text
- pathName :: Text -> Maybe PathName
- type PathHashAlgo = Truncated 20 SHA256
- data Path = Path !(Digest PathHashAlgo) !PathName
- data StoreEffects rootedPath validPath m = StoreEffects {
- fromRootedPath :: !(rootedPath -> Path)
- fromValidPath :: !(validPath -> rootedPath)
- validPaths :: !(HashSet rootedPath -> m (HashSet validPath))
- referrers :: !(validPath -> m (HashSet Path))
- rootedPath :: !(Path -> m rootedPath)
- substitutablePathInfos :: !(HashSet Path -> m (HashMap Path SubstitutablePathInfo))
- validDerivers :: !(Path -> m (HashSet Path))
- derivationOutputs :: !(validPath -> m (HashSet Path))
- derivationOutputNames :: !(validPath -> m (HashSet Text))
- pathFromHashPart :: !(Digest PathHashAlgo -> m Path)
- addFile :: !(ByteString -> m validPath)
- data SubstitutablePathInfo = SubstitutablePathInfo {
- deriver :: !(Maybe Path)
- references :: !PathSet
- downloadSize :: !Integer
- narSize :: !Integer
Documentation
The name portion of a Nix path.
Must be composed of a-z, A-Z, 0-9, +, -, ., _, ?, and =, can't start with a ., and must have at least one character.
pathNameContents :: PathName -> Text Source #
The contents of the path name
pathName :: Text -> Maybe PathName Source #
Construct a PathName
, assuming the provided contents are valid.
type PathHashAlgo = Truncated 20 SHA256 Source #
The hash algorithm used for store path hashes.
A path in a store.
data StoreEffects rootedPath validPath m Source #
Interactions with the Nix store.
rootedPath
: A path plus a witness to the fact that the path is
reachable from a root whose liftime is at least as long as the
rootedPath
reference itself, when the implementation supports
this.
validPath
: A rootedPath
plus a witness to the fact that the
path is valid. On implementations that support temporary roots,
this implies that the path will remain valid so long as the
reference is held.
m
: The monad the effects operate in.
StoreEffects | |
|
data SubstitutablePathInfo Source #
Information about substitutes for a Path
.
Instances
Eq SubstitutablePathInfo Source # | |
Defined in System.Nix.Path (==) :: SubstitutablePathInfo -> SubstitutablePathInfo -> Bool # (/=) :: SubstitutablePathInfo -> SubstitutablePathInfo -> Bool # | |
Ord SubstitutablePathInfo Source # | |
Defined in System.Nix.Path compare :: SubstitutablePathInfo -> SubstitutablePathInfo -> Ordering # (<) :: SubstitutablePathInfo -> SubstitutablePathInfo -> Bool # (<=) :: SubstitutablePathInfo -> SubstitutablePathInfo -> Bool # (>) :: SubstitutablePathInfo -> SubstitutablePathInfo -> Bool # (>=) :: SubstitutablePathInfo -> SubstitutablePathInfo -> Bool # max :: SubstitutablePathInfo -> SubstitutablePathInfo -> SubstitutablePathInfo # min :: SubstitutablePathInfo -> SubstitutablePathInfo -> SubstitutablePathInfo # | |
Show SubstitutablePathInfo Source # | |
Defined in System.Nix.Path showsPrec :: Int -> SubstitutablePathInfo -> ShowS # show :: SubstitutablePathInfo -> String # showList :: [SubstitutablePathInfo] -> ShowS # |