| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
System.Nix.Store.DB.Query
Contents
Synopsis
- queryPathInfoEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StorePath -> SqlReadT m (Maybe (Entity ValidPath))
- queryPathInfo :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StorePath -> SqlReadT m (Maybe ValidPath)
- queryReferencesEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => Entity ValidPath -> SqlReadT m [Entity Ref]
- queryReferences :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => Entity ValidPath -> SqlReadT m [Ref]
- queryReferrersEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StorePath -> SqlReadT m [Entity Ref]
- queryReferrers :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StorePath -> SqlReadT m [Ref]
- queryValidDerivers :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StorePath -> SqlReadT m [(Text, StorePath)]
- queryDerivationOutputs :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => Entity ValidPath -> SqlReadT m [(Text, StorePath)]
- queryPathFromHashPart :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StoreDir -> StorePathHashPart -> SqlReadT m (Maybe StorePath)
- queryValidPathsEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [Entity ValidPath]
- queryValidPaths :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [ValidPath]
- queryAllRefsEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [Entity Ref]
- queryAllRefs :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [Ref]
- queryAllDerivationOutputsEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [Entity DerivationOutput]
- queryAllDerivationOutputs :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [DerivationOutput]
- queryOneValidDerivationEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m (Maybe (Entity ValidPath))
- queryOneValidDerivation :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m (Maybe ValidPath)
- queryEverything :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m ([Entity ValidPath], [Entity Ref], [Entity DerivationOutput])
Documentation
queryPathInfoEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StorePath -> SqlReadT m (Maybe (Entity ValidPath)) Source #
Query Entity ValidPath for StorePath if it exists.
queryPathInfo :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StorePath -> SqlReadT m (Maybe ValidPath) Source #
Query ValidPath for StorePath if it exists.
queryReferencesEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => Entity ValidPath -> SqlReadT m [Entity Ref] Source #
Query references as a list of Entity Refs for ValidPath
using id of Entity ValidPath
queryReferences :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => Entity ValidPath -> SqlReadT m [Ref] Source #
Query references as a list of Refs for ValidPath
by id of Entity ValidPath
queryReferrersEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StorePath -> SqlReadT m [Entity Ref] Source #
Query referrers as a list of Entity Refs for StorePath
queryReferrers :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StorePath -> SqlReadT m [Ref] Source #
Query referrers as a list of Refs for StorePath
queryValidDerivers :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StorePath -> SqlReadT m [(Text, StorePath)] Source #
Query valid derivers as a list of (Text, StorePath)s
for some StorePath
queryDerivationOutputs :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => Entity ValidPath -> SqlReadT m [(Text, StorePath)] Source #
Query derivation outputs as a list of (Text, StorePath)s
for some ValidPath by its id
queryPathFromHashPart :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => StoreDir -> StorePathHashPart -> SqlReadT m (Maybe StorePath) Source #
Query StorePath from its hash part
queryValidPathsEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [Entity ValidPath] Source #
Query all valid paths as a list of Entity ValidPaths
queryValidPaths :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [ValidPath] Source #
Query all valid paths as a list of ValidPaths
Testing
queryAllRefsEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [Entity Ref] Source #
Query all references as a list of Entity Refs
queryAllRefs :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [Ref] Source #
Query all references as a list of Refs
queryAllDerivationOutputsEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [Entity DerivationOutput] Source #
Query all derivation outputs as a list of Entity DerivationOutputs
queryAllDerivationOutputs :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m [DerivationOutput] Source #
Query all derivation outputs as a list of DerivationOutputs
queryOneValidDerivationEntity :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m (Maybe (Entity ValidPath)) Source #
Query one random derivation as an Entity ValidPath
queryOneValidDerivation :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m (Maybe ValidPath) Source #
Query one random derivation as a ValidPath
queryEverything :: forall (m :: Type -> Type). (MonadIO m, MonadLogger m) => SqlReadT m ([Entity ValidPath], [Entity Ref], [Entity DerivationOutput]) Source #
Query everything