hnix-store/hnix-store-remote/app/Main.hs

{-# LANGUAGE OverloadedStrings   #-}
import qualified Data.ByteString.Lazy as LBS
import qualified Data.HashSet as HS
import qualified System.Nix.GC as GC
import System.Nix.Store.Remote
import System.Nix.Store.Remote.Util
import Data.Maybe
import Control.Monad.Reader

import Text.Pretty.Simple

noSuchPath = fromJust $ mkPath "blah"

main = do
  x <- runStore $ do
    syncWithGC

    verifyStore False False

    (Just path) <- addTextToStore "hnix-store" "test" (HS.fromList [])  False

    valid <- isValidPathUncached path
    case valid of
      True -> do
        info <- queryPathInfoUncached path
        return (path, info)
      _ -> error "shouldn't happen"

  pPrint x
  case x of
    (Left err, log) -> putStrLn err >> print log
    (Right (path, pathinfo), log) -> do
      gcres <- runStore $ do
        collectGarbage $ GC.Options
          { GC.operation = GC.DeleteSpecific
          , GC.pathsToDelete = HS.fromList [path]
          , GC.ignoreLiveness = False
          -- XXX: this breaks stuff - we don't get Last,
          -- only a message with limit reached, stopping..
          --
          -- gcDeleteSpecific and options.maxFreed
          -- are two distinct branches in
          -- nix/src/libstore.gc
          -- so maybe this combination is not supported
          --, GC.maxFreed = 1000
          , GC.maxFreed = -1
          }

      pPrint gcres

  -- test ExceptT
  e <- runStore $ do
    isValidPathUncached $ noSuchPath

  pPrint e

  {-
  e <- runStore $ do
    queryPathInfoUncached $ noSuchPath

  pPrint e
  -}

    --res <- queryDerivationOutputs drvP
    --liftIO $ print res
    --res <- findRoots
    --liftIO $ pPrint res