Nix.Diff.Store

A crude implementation of the Nix store concept.

For anything fancier than this, it would be best to use FFI bindings instead, such as hercules-ci-cnix-store.

Documentation

newtype StorePath

A file path that may not exist on the true file system; needs to be looked up in a store, which may be relocated.

Unlike the (C++) Nix StorePath type, subpaths are allowed.

Constructors

StorePath

Fields

• unsafeStorePathFile :: FilePath

  If the store is relocated, its physical location is elsewhere, and this FilePath won't resolve. Use toPhysicalPath.

Instances

Arbitrary StorePath

Defined in Nix.Diff.Store

Methods

arbitrary :: Gen StorePath

shrink :: StorePath -> [StorePath]

FromJSON StorePath

Defined in Nix.Diff.Store

Methods

parseJSON :: Value -> Parser StorePath

parseJSONList :: Value -> Parser [StorePath]

omittedField :: Maybe StorePath

FromJSONKey StorePath

Defined in Nix.Diff.Store

Methods

fromJSONKey :: FromJSONKeyFunction StorePath

fromJSONKeyList :: FromJSONKeyFunction [StorePath]

ToJSON StorePath

Defined in Nix.Diff.Store

Methods

toJSON :: StorePath -> Value

toEncoding :: StorePath -> Encoding

toJSONList :: [StorePath] -> Value

toEncodingList :: [StorePath] -> Encoding

omitField :: StorePath -> Bool

ToJSONKey StorePath

Defined in Nix.Diff.Store

Methods

toJSONKey :: ToJSONKeyFunction StorePath

toJSONKeyList :: ToJSONKeyFunction [StorePath]

Data StorePath

Defined in Nix.Diff.Store

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StorePath -> c StorePath

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StorePath

toConstr :: StorePath -> Constr

dataTypeOf :: StorePath -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c StorePath)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StorePath)

gmapT :: (forall b. Data b => b -> b) -> StorePath -> StorePath

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StorePath -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StorePath -> r

gmapQ :: (forall d. Data d => d -> u) -> StorePath -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> StorePath -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> StorePath -> m StorePath

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StorePath -> m StorePath

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StorePath -> m StorePath

Show StorePath

Defined in Nix.Diff.Store

Methods

showsPrec :: Int -> StorePath -> ShowS

show :: StorePath -> String

showList :: [StorePath] -> ShowS

Eq StorePath

Defined in Nix.Diff.Store

Methods

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

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

Ord StorePath

Defined in Nix.Diff.Store

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

Data (DerivationOutput StorePath Text)

Defined in Nix.Diff.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DerivationOutput StorePath Text -> c (DerivationOutput StorePath Text)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DerivationOutput StorePath Text)

toConstr :: DerivationOutput StorePath Text -> Constr

dataTypeOf :: DerivationOutput StorePath Text -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (DerivationOutput StorePath Text))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DerivationOutput StorePath Text))

gmapT :: (forall b. Data b => b -> b) -> DerivationOutput StorePath Text -> DerivationOutput StorePath Text

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DerivationOutput StorePath Text -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DerivationOutput StorePath Text -> r

gmapQ :: (forall d. Data d => d -> u) -> DerivationOutput StorePath Text -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DerivationOutput StorePath Text -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DerivationOutput StorePath Text -> m (DerivationOutput StorePath Text)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivationOutput StorePath Text -> m (DerivationOutput StorePath Text)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivationOutput StorePath Text -> m (DerivationOutput StorePath Text)

toPhysicalPath :: StorePath -> IO FilePath

toText :: StorePath -> Text

Convert a StorePath to a Text for display purposes. The path may not exist at this physical location.

doesFileExist :: StorePath -> IO Bool

readFileUtf8Lenient :: StorePath -> IO Text