packages feed

cabal-install-3.12.1.0: tests/UnitTests/Distribution/Client/Tar.hs

module UnitTests.Distribution.Client.Tar
  ( tests
  ) where

import Codec.Archive.Tar
  ( foldEntries
  )
import Codec.Archive.Tar.Entry
  ( simpleEntry
  , toTarPath
  )
import Distribution.Client.Tar
  ( filterEntries
  , filterEntriesM
  )

import Test.Tasty
import Test.Tasty.HUnit

import Control.Monad.Writer.Lazy (runWriterT, tell)
import qualified Data.ByteString.Lazy as BS
import qualified Data.ByteString.Lazy.Char8 as BS.Char8

import Distribution.Client.Compat.Tar

tests :: [TestTree]
tests =
  [ testCase "filterEntries" filterTest
  , testCase "filterEntriesM" filterMTest
  ]

filterTest :: Assertion
filterTest = do
  let e1 = getFileEntry "file1" "x"
      e2 = getFileEntry "file2" "y"
      p =
        ( \e ->
            let str = BS.Char8.unpack $ case entryContent e of
                  NormalFile dta _ -> dta
                  _ -> error "Invalid entryContent"
             in str /= "y"
        )
  assertEqual "Unexpected result for filter" "xz" $
    entriesToString $
      filterEntries p $
        Next e1 $
          Next e2 Done
  assertEqual "Unexpected result for filter" "z" $
    entriesToString $
      filterEntries p $
        Done
  assertEqual "Unexpected result for filter" "xf" $
    entriesToString $
      filterEntries p $
        Next e1 $
          Next e2 $
            Fail "f"

filterMTest :: Assertion
filterMTest = do
  let e1 = getFileEntry "file1" "x"
      e2 = getFileEntry "file2" "y"
      p =
        ( \e ->
            let str = BS.Char8.unpack $ case entryContent e of
                  NormalFile dta _ -> dta
                  _ -> error "Invalid entryContent"
             in tell "t" >> return (str /= "y")
        )

  (r, w) <- runWriterT $ filterEntriesM p $ Next e1 $ Next e2 Done
  assertEqual "Unexpected result for filterM" "xz" $ entriesToString r
  assertEqual "Unexpected result for filterM w" "tt" w

  (r1, w1) <- runWriterT $ filterEntriesM p $ Done
  assertEqual "Unexpected result for filterM" "z" $ entriesToString r1
  assertEqual "Unexpected result for filterM w" "" w1

  (r2, w2) <- runWriterT $ filterEntriesM p $ Next e1 $ Next e2 $ Fail "f"
  assertEqual "Unexpected result for filterM" "xf" $ entriesToString r2
  assertEqual "Unexpected result for filterM w" "tt" w2

getFileEntry :: FilePath -> [Char] -> Entry
getFileEntry pth dta =
  simpleEntry tp $ NormalFile dta' $ BS.length dta'
  where
    tp = case toTarPath False pth of
      Right tp' -> tp'
      Left e -> error e
    dta' = BS.Char8.pack dta

entriesToString :: Entries String -> String
entriesToString =
  foldEntries
    ( \e acc ->
        let str = BS.Char8.unpack $ case entryContent e of
              NormalFile dta _ -> dta
              _ -> error "Invalid entryContent"
         in str ++ acc
    )
    "z"
    id