Safe Haskell	None
Language	Haskell2010

Codec.Archive

Contents

High-level functionality
Concrete (Haskell) types
Archive monad
Permissions helpers

Description

This module contains higher-level functions for working with archives in Haskell. See Codec.Archive.Foreign for direct bindings to libarchive.

Synopsis

unpackToDir :: FilePath -> ByteString -> ArchiveM ()
unpackToDirLazy :: FilePath -> ByteString -> ArchiveM ()
unpackArchive :: FilePath -> FilePath -> ArchiveM ()
entriesToFile :: Foldable t => FilePath -> t Entry -> ArchiveM ()
entriesToFileZip :: Foldable t => FilePath -> t Entry -> ArchiveM ()
entriesToFile7Zip :: Foldable t => FilePath -> t Entry -> ArchiveM ()
entriesToBS :: Foldable t => t Entry -> ByteString
entriesToBS7zip :: Foldable t => t Entry -> ByteString
entriesToBSzip :: Foldable t => t Entry -> ByteString
entriesToBSL :: Foldable t => t Entry -> ByteString
entriesToBSLzip :: Foldable t => t Entry -> ByteString
entriesToBSL7zip :: Foldable t => t Entry -> ByteString
readArchiveFile :: FilePath -> ArchiveM [Entry]
readArchiveBS :: ByteString -> Either ArchiveResult [Entry]
readArchiveBSL :: ByteString -> Either ArchiveResult [Entry]
packFiles :: Traversable t => t FilePath -> IO ByteString
packFilesZip :: Traversable t => t FilePath -> IO ByteString
packFiles7zip :: Traversable t => t FilePath -> IO ByteString
packToFile :: Traversable t => FilePath -> t FilePath -> ArchiveM ()
packToFileZip :: Traversable t => FilePath -> t FilePath -> ArchiveM ()
packToFile7Zip :: Traversable t => FilePath -> t FilePath -> ArchiveM ()
data ArchiveResult
- = ArchiveFatal
- | ArchiveFailed
- | ArchiveWarn
- | ArchiveRetry
- | ArchiveOk
- | ArchiveEOF
data Entry = Entry {
- filepath :: !FilePath
- content :: !EntryContent
- permissions :: !Permissions
- ownership :: !Ownership
- time :: !(Maybe ModTime)
}
data EntryContent
- = NormalFile !ByteString
- | Directory
- | Symlink !FilePath
- | Hardlink !FilePath
data Ownership = Ownership {
- userName :: !(Maybe String)
- groupName :: !(Maybe String)
- ownerId :: !Id
- groupId :: !Id
}
type Permissions = CMode
type ModTime = (CTime, CLong)
type Id = Int64
type ArchiveM = ExceptT ArchiveResult IO
runArchiveM :: ArchiveM a -> IO (Either ArchiveResult a)
standardPermissions :: Permissions
executablePermissions :: Permissions

High-level functionality

unpackToDir Source #

Arguments

:: FilePath	Directory to unpack in
-> ByteString	`ByteString` containing archive
-> ArchiveM ()

unpackToDirLazy Source #

Arguments

:: FilePath	Directory to unpack in
-> ByteString	`ByteString` containing archive
-> ArchiveM ()

In general, this will be more efficient than unpackToDir

Since: 1.0.4.0

unpackArchive Source #

Arguments

:: FilePath	Filepath pointing to archive
-> FilePath	Dirctory to unpack in
-> ArchiveM ()

This is more efficient than

unpackToDir "llvm" =<< BS.readFile "llvm.tar"

entriesToFile :: Foldable t => FilePath -> t Entry -> ArchiveM () Source #

Write some entries to a file, creating a tar archive. This is more efficient than

BS.writeFile "file.tar" (entriesToBS entries)

Since: 1.0.0.0

entriesToFileZip :: Foldable t => FilePath -> t Entry -> ArchiveM () Source #

Write some entries to a file, creating a zip archive.

Since: 1.0.0.0

entriesToFile7Zip :: Foldable t => FilePath -> t Entry -> ArchiveM () Source #

Write some entries to a file, creating a .7z archive.

Since: 1.0.0.0

entriesToBS :: Foldable t => t Entry -> ByteString Source #

Returns a ByteString containing a tar archive with the Entrys

Since: 1.0.0.0

entriesToBS7zip :: Foldable t => t Entry -> ByteString Source #

Returns a ByteString containing a .7z archive with the Entrys

Since: 1.0.0.0

entriesToBSzip :: Foldable t => t Entry -> ByteString Source #

Returns a ByteString containing a zip archive with the Entrys

Since: 1.0.0.0

entriesToBSL :: Foldable t => t Entry -> ByteString Source #

In general, this will be more efficient than entriesToBS

Since: 1.0.5.0

entriesToBSLzip :: Foldable t => t Entry -> ByteString Source #

Since: 1.0.5.0

entriesToBSL7zip :: Foldable t => t Entry -> ByteString Source #

Since: 1.0.5.0

readArchiveFile :: FilePath -> ArchiveM [Entry] Source #

Read an archive from a file. The format of the archive is automatically detected.

Since: 1.0.0.0

readArchiveBS :: ByteString -> Either ArchiveResult [Entry] Source #

Read an archive contained in a ByteString. The format of the archive is automatically detected.

Since: 1.0.0.0

readArchiveBSL :: ByteString -> Either ArchiveResult [Entry] Source #

Read an archive lazily. The format of the archive is automatically detected.

In general, this will be more efficient than readArchiveBS

Since: 1.0.4.0

packFiles Source #

Arguments

:: Traversable t
=> t FilePath	Filepaths relative to the current directory
-> IO ByteString

Pack files into a tar archive

Since: 2.0.0.0

packFilesZip :: Traversable t => t FilePath -> IO ByteString Source #

Since: 2.0.0.0

packFiles7zip :: Traversable t => t FilePath -> IO ByteString Source #

Since: 2.0.0.0

packToFile Source #

Arguments

:: Traversable t
=> FilePath	`.tar` archive to be created
-> t FilePath	Files to include
-> ArchiveM ()

Since: 2.0.0.0

packToFileZip :: Traversable t => FilePath -> t FilePath -> ArchiveM () Source #

Since: 2.0.0.0

packToFile7Zip :: Traversable t => FilePath -> t FilePath -> ArchiveM () Source #

Since: 2.0.0.0

Concrete (Haskell) types

data ArchiveResult Source #

Constructors

ArchiveFatal
ArchiveFailed
ArchiveWarn
ArchiveRetry
ArchiveOk
ArchiveEOF

Instances

Enum ArchiveResult Source #
Instance details Defined in Codec.Archive.Types.Foreign Methods succ :: ArchiveResult -> ArchiveResult # pred :: ArchiveResult -> ArchiveResult # toEnum :: Int -> ArchiveResult # fromEnum :: ArchiveResult -> Int # enumFrom :: ArchiveResult -> [ArchiveResult] # enumFromThen :: ArchiveResult -> ArchiveResult -> [ArchiveResult] # enumFromTo :: ArchiveResult -> ArchiveResult -> [ArchiveResult] # enumFromThenTo :: ArchiveResult -> ArchiveResult -> ArchiveResult -> [ArchiveResult] #
Eq ArchiveResult Source #
Instance details Defined in Codec.Archive.Types.Foreign Methods (==) :: ArchiveResult -> ArchiveResult -> Bool # (/=) :: ArchiveResult -> ArchiveResult -> Bool #
Show ArchiveResult Source #
Instance details Defined in Codec.Archive.Types.Foreign Methods showsPrec :: Int -> ArchiveResult -> ShowS # show :: ArchiveResult -> String # showList :: [ArchiveResult] -> ShowS #
Generic ArchiveResult Source #
Instance details Defined in Codec.Archive.Types.Foreign Associated Types type Rep ArchiveResult :: Type -> Type # Methods from :: ArchiveResult -> Rep ArchiveResult x # to :: Rep ArchiveResult x -> ArchiveResult #
NFData ArchiveResult Source #
Instance details Defined in Codec.Archive.Types.Foreign Methods rnf :: ArchiveResult -> () #
type Rep ArchiveResult Source #
Instance details Defined in Codec.Archive.Types.Foreign type Rep ArchiveResult = D1 (MetaData "ArchiveResult" "Codec.Archive.Types.Foreign" "libarchive-2.1.0.1-inplace" False) ((C1 (MetaCons "ArchiveFatal" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ArchiveFailed" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ArchiveWarn" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "ArchiveRetry" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ArchiveOk" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ArchiveEOF" PrefixI False) (U1 :: Type -> Type))))

data Entry Source #

Constructors

Entry
Fields filepath :: !FilePath content :: !EntryContent permissions :: !Permissions ownership :: !Ownership time :: !(Maybe ModTime)

Instances

Eq Entry Source #
Instance details Defined in Codec.Archive.Types Methods (==) :: Entry -> Entry -> Bool # (/=) :: Entry -> Entry -> Bool #

data EntryContent Source #

Constructors

NormalFile !ByteString
Directory
Symlink !FilePath
Hardlink !FilePath

Instances

Eq EntryContent Source #
Instance details Defined in Codec.Archive.Types Methods (==) :: EntryContent -> EntryContent -> Bool # (/=) :: EntryContent -> EntryContent -> Bool #

data Ownership Source #

Constructors

Ownership
Fields userName :: !(Maybe String) groupName :: !(Maybe String) ownerId :: !Id groupId :: !Id

Instances

Eq Ownership Source #
Instance details Defined in Codec.Archive.Types Methods (==) :: Ownership -> Ownership -> Bool # (/=) :: Ownership -> Ownership -> Bool #
Show Ownership Source #
Instance details Defined in Codec.Archive.Types Methods showsPrec :: Int -> Ownership -> ShowS # show :: Ownership -> String # showList :: [Ownership] -> ShowS #

type Permissions = CMode Source #

type ModTime = (CTime, CLong) Source #

type Id = Int64 Source #

A user or group ID

Archive monad

type ArchiveM = ExceptT ArchiveResult IO Source #

runArchiveM :: ArchiveM a -> IO (Either ArchiveResult a) Source #

Permissions helpers

standardPermissions :: Permissions Source #

executablePermissions :: Permissions Source #

Also used for directories