Safe Haskell	None
Language	Haskell2010

Data.Git.Internal.Pack

Description

Pack file support.

Synopsis

data PackObject
- = PackObject ObjectType
- | DeltaOff Int
- | DeltaRef Sha1
data Raw = Raw {
- rawType :: !PackObject
- rawData :: !ByteString
}
parsePackedRaw' :: Parser Raw
base128le :: Parser Word
parseCompactHeader :: Parser (PackObject, Word)
decompressTo :: Word -> ByteString -> (ByteString, ByteString)
type Patch a = RWST ByteString Builder Word64 Parser a
parsePatch :: Patch ()
applyPatch :: ByteString -> ByteString -> Either String ByteString
resolveDelta :: Int -> PackFile -> Raw -> Maybe Raw
parseFanout :: Parser (Vector Word32)
parseIndexShas :: Word32 -> Parser (Vector Sha1)
parseShaCrcs :: Word32 -> Parser (Vector Crc32)
parseShaOffsets :: Word32 -> Parser (Vector Word32)
parseBigOffsets :: Vector Word32 -> Parser (Vector Word64)
parsePackIndex :: Parser PackIndex
getShaOffset :: PackIndex -> Sha1 -> Maybe Word64
readIndexFile :: RawFilePath -> IO PackIndex
isPackIndex :: RawFilePath -> Bool
readPackFile :: RawFilePath -> IO PackFile
findPackSha :: PackFile -> Sha1 -> Maybe Object
buildPackedObject :: Object -> Builder
compactTag :: Object -> Word8
buildCompactHeader :: Word8 -> Word64 -> Builder
data IndexData = IndexData {
- idxCrc :: !Word32
- idxOffset :: !Word64
}
type PackIndexer = Map Sha1 IndexData
data PackingState = PackingState {
- psTempFile :: TempFile
- psCount :: Word32
- psIndexer :: PackIndexer
- psOffset :: Word64
}
makePackIndex :: PackIndexer -> PackIndex
buildPackIndex :: PackIndex -> Builder
newtype PackingT m a = PackingT {
- unPackingT :: ReaderT (MVar PackingState) m a
}
runPackingT :: MonadIO m => (PackFile -> m ()) -> RawFilePath -> PackingT m a -> m a
flushPackFile :: MonadIO m => (PackFile -> m ()) -> PackingT m ()
packObject :: MonadIO m => Object -> PackingT m Sha1
writePackFile :: MonadIO m => (PackFile -> m ()) -> RawFilePath -> [Object] -> m ()
finishPackFile :: MonadIO m => PackingState -> m (Maybe PackFile)
newPackFile :: RawFilePath -> IO PackingState

Documentation

data PackObject Source #

Constructors

PackObject ObjectType
DeltaOff Int
DeltaRef Sha1

Instances

Eq PackObject Source #
Instance details Defined in Data.Git.Internal.Pack Methods (==) :: PackObject -> PackObject -> Bool # (/=) :: PackObject -> PackObject -> Bool #
Ord PackObject Source #
Instance details Defined in Data.Git.Internal.Pack Methods compare :: PackObject -> PackObject -> Ordering # (<) :: PackObject -> PackObject -> Bool # (<=) :: PackObject -> PackObject -> Bool # (>) :: PackObject -> PackObject -> Bool # (>=) :: PackObject -> PackObject -> Bool # max :: PackObject -> PackObject -> PackObject # min :: PackObject -> PackObject -> PackObject #
Show PackObject Source #
Instance details Defined in Data.Git.Internal.Pack Methods showsPrec :: Int -> PackObject -> ShowS # show :: PackObject -> String # showList :: [PackObject] -> ShowS #

data Raw Source #

Constructors

Raw
Fields rawType :: !PackObject rawData :: !ByteString

Instances

Eq Raw Source #
Instance details Defined in Data.Git.Internal.Pack Methods (==) :: Raw -> Raw -> Bool # (/=) :: Raw -> Raw -> Bool #
Ord Raw Source #
Instance details Defined in Data.Git.Internal.Pack Methods compare :: Raw -> Raw -> Ordering # (<) :: Raw -> Raw -> Bool # (<=) :: Raw -> Raw -> Bool # (>) :: Raw -> Raw -> Bool # (>=) :: Raw -> Raw -> Bool # max :: Raw -> Raw -> Raw # min :: Raw -> Raw -> Raw #
Show Raw Source #
Instance details Defined in Data.Git.Internal.Pack Methods showsPrec :: Int -> Raw -> ShowS # show :: Raw -> String # showList :: [Raw] -> ShowS #

parsePackedRaw' :: Parser Raw Source #

base128le :: Parser Word Source #

parseCompactHeader :: Parser (PackObject, Word) Source #

decompressTo :: Word -> ByteString -> (ByteString, ByteString) Source #

type Patch a = RWST ByteString Builder Word64 Parser a Source #

parsePatch :: Patch () Source #

applyPatch :: ByteString -> ByteString -> Either String ByteString Source #

resolveDelta :: Int -> PackFile -> Raw -> Maybe Raw Source #

parseFanout :: Parser (Vector Word32) Source #

parseIndexShas :: Word32 -> Parser (Vector Sha1) Source #

parseShaCrcs :: Word32 -> Parser (Vector Crc32) Source #

parseShaOffsets :: Word32 -> Parser (Vector Word32) Source #

parseBigOffsets :: Vector Word32 -> Parser (Vector Word64) Source #

parsePackIndex :: Parser PackIndex Source #

getShaOffset :: PackIndex -> Sha1 -> Maybe Word64 Source #

readIndexFile :: RawFilePath -> IO PackIndex Source #

isPackIndex :: RawFilePath -> Bool Source #

readPackFile :: RawFilePath -> IO PackFile Source #

Read a PackFile off the filesystem.

findPackSha :: PackFile -> Sha1 -> Maybe Object Source #

Try to get the Object for a Sha1 in a PackFile.

buildPackedObject :: Object -> Builder Source #

compactTag :: Object -> Word8 Source #

buildCompactHeader :: Word8 -> Word64 -> Builder Source #

data IndexData Source #

Constructors

IndexData
Fields idxCrc :: !Word32 idxOffset :: !Word64

Instances

Eq IndexData Source #
Instance details Defined in Data.Git.Internal.Pack Methods (==) :: IndexData -> IndexData -> Bool # (/=) :: IndexData -> IndexData -> Bool #
Ord IndexData Source #
Instance details Defined in Data.Git.Internal.Pack Methods compare :: IndexData -> IndexData -> Ordering # (<) :: IndexData -> IndexData -> Bool # (<=) :: IndexData -> IndexData -> Bool # (>) :: IndexData -> IndexData -> Bool # (>=) :: IndexData -> IndexData -> Bool # max :: IndexData -> IndexData -> IndexData # min :: IndexData -> IndexData -> IndexData #
Show IndexData Source #
Instance details Defined in Data.Git.Internal.Pack Methods showsPrec :: Int -> IndexData -> ShowS # show :: IndexData -> String # showList :: [IndexData] -> ShowS #

type PackIndexer = Map Sha1 IndexData Source #

data PackingState Source #

Constructors

PackingState
Fields psTempFile :: TempFile psCount :: Word32 psIndexer :: PackIndexer psOffset :: Word64

Instances

Monad m => MonadReader (MVar PackingState) (PackingT m) Source #
Instance details Defined in Data.Git.Internal.Pack Methods ask :: PackingT m (MVar PackingState) # local :: (MVar PackingState -> MVar PackingState) -> PackingT m a -> PackingT m a # reader :: (MVar PackingState -> a) -> PackingT m a #

makePackIndex :: PackIndexer -> PackIndex Source #

buildPackIndex :: PackIndex -> Builder Source #

newtype PackingT m a Source #

A monad transformer for writing packfiles.

Constructors

PackingT
Fields unPackingT :: ReaderT (MVar PackingState) m a

Instances

MonadTrans PackingT Source #
Instance details Defined in Data.Git.Internal.Pack Methods lift :: Monad m => m a -> PackingT m a #
Monad m => Monad (PackingT m) Source #
Instance details Defined in Data.Git.Internal.Pack Methods (>>=) :: PackingT m a -> (a -> PackingT m b) -> PackingT m b # (>>) :: PackingT m a -> PackingT m b -> PackingT m b # return :: a -> PackingT m a # fail :: String -> PackingT m a #
Functor m => Functor (PackingT m) Source #
Instance details Defined in Data.Git.Internal.Pack Methods fmap :: (a -> b) -> PackingT m a -> PackingT m b # (<$) :: a -> PackingT m b -> PackingT m a #
MonadFail m => MonadFail (PackingT m) Source #
Instance details Defined in Data.Git.Internal.Pack Methods fail :: String -> PackingT m a #
Applicative m => Applicative (PackingT m) Source #
Instance details Defined in Data.Git.Internal.Pack Methods pure :: a -> PackingT m a # (<>) :: PackingT m (a -> b) -> PackingT m a -> PackingT m b # liftA2 :: (a -> b -> c) -> PackingT m a -> PackingT m b -> PackingT m c # (>) :: PackingT m a -> PackingT m b -> PackingT m b # (<*) :: PackingT m a -> PackingT m b -> PackingT m a #
MonadIO m => MonadIO (PackingT m) Source #
Instance details Defined in Data.Git.Internal.Pack Methods liftIO :: IO a -> PackingT m a #
(MonadGit m, MonadIO m) => MonadGit (PackingT m) Source #	Like the instance for `GitT`, but writing packfiles.
Instance details Defined in Data.Git.Monad Methods lookupSha :: Sha1 -> PackingT m (Maybe Object) Source # writeObject :: Object -> PackingT m Sha1 Source # flushObjects :: PackingT m () Source # lookupRef :: Ref -> PackingT m (Maybe Sha1) Source # listRefs :: PackingT m (Map Ref (Maybe Sha1)) Source # writeRef :: Ref -> Sha1 -> PackingT m () Source # writeSymRef :: Ref -> Ref -> PackingT m () Source # registerPack :: PackFile -> PackingT m () Source #
Monad m => MonadReader (MVar PackingState) (PackingT m) Source #
Instance details Defined in Data.Git.Internal.Pack Methods ask :: PackingT m (MVar PackingState) # local :: (MVar PackingState -> MVar PackingState) -> PackingT m a -> PackingT m a # reader :: (MVar PackingState -> a) -> PackingT m a #

runPackingT :: MonadIO m => (PackFile -> m ()) -> RawFilePath -> PackingT m a -> m a Source #

Run a PackingT computation, using the given path as a template for the tempfile. The pack and the index will be written to the same directory as the tempfile.

flushPackFile :: MonadIO m => (PackFile -> m ()) -> PackingT m () Source #

Write out the currently accumulating packfile, and start writing a new one.

packObject :: MonadIO m => Object -> PackingT m Sha1 Source #

Write an object to the packfile.

writePackFile :: MonadIO m => (PackFile -> m ()) -> RawFilePath -> [Object] -> m () Source #

Write the given objects to a packfile using the given path as a template for the tempfile. The pack will be written to the same directory as the tempfile. Also writes the pack index.

finishPackFile :: MonadIO m => PackingState -> m (Maybe PackFile) Source #

newPackFile :: RawFilePath -> IO PackingState Source #