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 ()
entriesToFileCpio :: Foldable t => FilePath -> t Entry -> ArchiveM ()
entriesToFileXar :: 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
entriesToBSLCpio :: Foldable t => t Entry -> ByteString
entriesToBSLXar :: 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
packFilesCpio :: Traversable t => t FilePath -> IO ByteString
packFilesXar :: 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 ()
packToFileCpio :: Traversable t => FilePath -> t FilePath -> ArchiveM ()
packToFileXar :: 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 Symlink
- = SymlinkUndefined
- | SymlinkFile
- | SymlinkDirectory
data EntryContent
- = NormalFile !ByteString
- | Directory
- | Symlink !FilePath !Symlink
- | 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)
throwArchiveM :: ArchiveM a -> IO 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

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

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

Since: 2.2.3.0

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

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

Since: 2.2.4.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

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

Since: 2.2.3.0

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

Since: 2.2.4.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

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

Since: 2.2.3.0

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

Since: 2.2.4.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

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

Since: 2.2.3.0

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

Since: 2.2.4.0

Concrete (Haskell) types

data ArchiveResult Source #

Constructors

ArchiveFatal
ArchiveFailed
ArchiveWarn
ArchiveRetry
ArchiveOk
ArchiveEOF

Instances

Instances details

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 #
Exception ArchiveResult Source #
Instance details Defined in Codec.Archive.Types.Foreign Methods toException :: ArchiveResult -> SomeException # fromException :: SomeException -> Maybe ArchiveResult # displayException :: ArchiveResult -> String #
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.2.5.2-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

Instances details

Eq Entry Source #
Instance details Defined in Codec.Archive.Types Methods (==) :: Entry -> Entry -> Bool # (/=) :: Entry -> Entry -> Bool #
Ord Entry Source #
Instance details Defined in Codec.Archive.Types Methods compare :: Entry -> Entry -> Ordering # (<) :: Entry -> Entry -> Bool # (<=) :: Entry -> Entry -> Bool # (>) :: Entry -> Entry -> Bool # (>=) :: Entry -> Entry -> Bool # max :: Entry -> Entry -> Entry # min :: Entry -> Entry -> Entry #
Show Entry Source #
Instance details Defined in Codec.Archive.Types Methods showsPrec :: Int -> Entry -> ShowS # show :: Entry -> String # showList :: [Entry] -> ShowS #

data Symlink Source #

Constructors

SymlinkUndefined
SymlinkFile
SymlinkDirectory

Instances

Instances details

Enum Symlink Source #
Instance details Defined in Codec.Archive.Types.Foreign Methods succ :: Symlink -> Symlink # pred :: Symlink -> Symlink # toEnum :: Int -> Symlink # fromEnum :: Symlink -> Int # enumFrom :: Symlink -> [Symlink] # enumFromThen :: Symlink -> Symlink -> [Symlink] # enumFromTo :: Symlink -> Symlink -> [Symlink] # enumFromThenTo :: Symlink -> Symlink -> Symlink -> [Symlink] #
Eq Symlink Source #
Instance details Defined in Codec.Archive.Types.Foreign Methods (==) :: Symlink -> Symlink -> Bool # (/=) :: Symlink -> Symlink -> Bool #
Ord Symlink Source #
Instance details Defined in Codec.Archive.Types.Foreign Methods compare :: Symlink -> Symlink -> Ordering # (<) :: Symlink -> Symlink -> Bool # (<=) :: Symlink -> Symlink -> Bool # (>) :: Symlink -> Symlink -> Bool # (>=) :: Symlink -> Symlink -> Bool # max :: Symlink -> Symlink -> Symlink # min :: Symlink -> Symlink -> Symlink #
Show Symlink Source #
Instance details Defined in Codec.Archive.Types.Foreign Methods showsPrec :: Int -> Symlink -> ShowS # show :: Symlink -> String # showList :: [Symlink] -> ShowS #

data EntryContent Source #

Constructors

NormalFile !ByteString
Directory
Symlink !FilePath !Symlink
Hardlink !FilePath

Instances

Instances details

Eq EntryContent Source #
Instance details Defined in Codec.Archive.Types Methods (==) :: EntryContent -> EntryContent -> Bool # (/=) :: EntryContent -> EntryContent -> Bool #
Ord EntryContent Source #
Instance details Defined in Codec.Archive.Types Methods compare :: EntryContent -> EntryContent -> Ordering # (<) :: EntryContent -> EntryContent -> Bool # (<=) :: EntryContent -> EntryContent -> Bool # (>) :: EntryContent -> EntryContent -> Bool # (>=) :: EntryContent -> EntryContent -> Bool # max :: EntryContent -> EntryContent -> EntryContent # min :: EntryContent -> EntryContent -> EntryContent #
Show EntryContent Source #
Instance details Defined in Codec.Archive.Types Methods showsPrec :: Int -> EntryContent -> ShowS # show :: EntryContent -> String # showList :: [EntryContent] -> ShowS #

data Ownership Source #

Constructors

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

Instances

Instances details

Eq Ownership Source #
Instance details Defined in Codec.Archive.Types Methods (==) :: Ownership -> Ownership -> Bool # (/=) :: Ownership -> Ownership -> Bool #
Ord Ownership Source #
Instance details Defined in Codec.Archive.Types Methods compare :: Ownership -> Ownership -> Ordering # (<) :: Ownership -> Ownership -> Bool # (<=) :: Ownership -> Ownership -> Bool # (>) :: Ownership -> Ownership -> Bool # (>=) :: Ownership -> Ownership -> Bool # max :: Ownership -> Ownership -> Ownership # min :: Ownership -> Ownership -> Ownership #
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 #

throwArchiveM :: ArchiveM a -> IO a Source #

Throws ArchiveResult on error.

Since: 2.2.5.0

Permissions helpers

standardPermissions :: Permissions Source #

executablePermissions :: Permissions Source #

Also used for directories