Safe Haskell	None
Language	Haskell98

Mismi.S3.Data

Synopsis

Documentation

data PartResponse Source #

Constructors

PartResponse !Int !ETag

Instances

Eq PartResponse Source #
Methods (==) :: PartResponse -> PartResponse -> Bool # (/=) :: PartResponse -> PartResponse -> Bool #
Show PartResponse Source #
Methods showsPrec :: Int -> PartResponse -> ShowS # show :: PartResponse -> String # showList :: [PartResponse] -> ShowS #

data WriteMode :: * #

Describes the semantics for destructive operation that may result in overwritten files.

Constructors

Fail	Fail rather than overwrite any data.
Overwrite	Overwrite existing data silently, i.e. we really want to do this.

Instances

Eq WriteMode
Methods (==) :: WriteMode -> WriteMode -> Bool # (/=) :: WriteMode -> WriteMode -> Bool #
Show WriteMode
Methods showsPrec :: Int -> WriteMode -> ShowS # show :: WriteMode -> String # showList :: [WriteMode] -> ShowS #

data SyncMode :: * #

Constructors

FailSync
OverwriteSync
SkipSync

Instances

Eq SyncMode
Methods (==) :: SyncMode -> SyncMode -> Bool # (/=) :: SyncMode -> SyncMode -> Bool #
Show SyncMode
Methods showsPrec :: Int -> SyncMode -> ShowS # show :: SyncMode -> String # showList :: [SyncMode] -> ShowS #

newtype Bucket :: * #

Constructors

Bucket
Fields unBucket :: Text

Instances

Eq Bucket
Methods (==) :: Bucket -> Bucket -> Bool # (/=) :: Bucket -> Bucket -> Bool #
Data Bucket
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bucket -> c Bucket # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bucket # toConstr :: Bucket -> Constr # dataTypeOf :: Bucket -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Bucket) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bucket) # gmapT :: (forall b. Data b => b -> b) -> Bucket -> Bucket # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bucket -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bucket -> r # gmapQ :: (forall d. Data d => d -> u) -> Bucket -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bucket -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bucket -> m Bucket # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bucket -> m Bucket # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bucket -> m Bucket #
Ord Bucket
Methods compare :: Bucket -> Bucket -> Ordering # (<) :: Bucket -> Bucket -> Bool # (<=) :: Bucket -> Bucket -> Bool # (>) :: Bucket -> Bucket -> Bool # (>=) :: Bucket -> Bucket -> Bool # max :: Bucket -> Bucket -> Bucket # min :: Bucket -> Bucket -> Bucket #
Show Bucket
Methods showsPrec :: Int -> Bucket -> ShowS # show :: Bucket -> String # showList :: [Bucket] -> ShowS #

data Address :: * #

Constructors

Address
Fields bucket :: !Bucket key :: !Key

Instances

Eq Address
Methods (==) :: Address -> Address -> Bool # (/=) :: Address -> Address -> Bool #
Data Address
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Address -> c Address # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Address # toConstr :: Address -> Constr # dataTypeOf :: Address -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Address) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Address) # gmapT :: (forall b. Data b => b -> b) -> Address -> Address # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Address -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Address -> r # gmapQ :: (forall d. Data d => d -> u) -> Address -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Address -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Address -> m Address # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Address -> m Address # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Address -> m Address #
Ord Address
Methods compare :: Address -> Address -> Ordering # (<) :: Address -> Address -> Bool # (<=) :: Address -> Address -> Bool # (>) :: Address -> Address -> Bool # (>=) :: Address -> Address -> Bool # max :: Address -> Address -> Address # min :: Address -> Address -> Address #
Show Address
Methods showsPrec :: Int -> Address -> ShowS # show :: Address -> String # showList :: [Address] -> ShowS #

newtype Key :: * #

Constructors

Key
Fields unKey :: Text

Instances

Eq Key
Methods (==) :: Key -> Key -> Bool # (/=) :: Key -> Key -> Bool #
Data Key
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Key -> c Key # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Key # toConstr :: Key -> Constr # dataTypeOf :: Key -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Key) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Key) # gmapT :: (forall b. Data b => b -> b) -> Key -> Key # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Key -> r # gmapQ :: (forall d. Data d => d -> u) -> Key -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Key -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Key -> m Key # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Key -> m Key #
Ord Key
Methods compare :: Key -> Key -> Ordering # (<) :: Key -> Key -> Bool # (<=) :: Key -> Key -> Bool # (>) :: Key -> Key -> Bool # (>=) :: Key -> Key -> Bool # max :: Key -> Key -> Key # min :: Key -> Key -> Key #
Show Key
Methods showsPrec :: Int -> Key -> ShowS # show :: Key -> String # showList :: [Key] -> ShowS #

newtype ReadGrant :: * #

Constructors

ReadGrant
Fields readGrant :: Text

Instances

Eq ReadGrant
Methods (==) :: ReadGrant -> ReadGrant -> Bool # (/=) :: ReadGrant -> ReadGrant -> Bool #
Show ReadGrant
Methods showsPrec :: Int -> ReadGrant -> ShowS # show :: ReadGrant -> String # showList :: [ReadGrant] -> ShowS #

data Upload Source #

Constructors

UploadSingle
UploadMultipart Integer Integer

Instances

Eq Upload Source #
Methods (==) :: Upload -> Upload -> Bool # (/=) :: Upload -> Upload -> Bool #
Show Upload Source #
Methods showsPrec :: Int -> Upload -> ShowS # show :: Upload -> String # showList :: [Upload] -> ShowS #

data S3Error Source #

Instances

Eq S3Error Source #
Methods (==) :: S3Error -> S3Error -> Bool # (/=) :: S3Error -> S3Error -> Bool #
Show S3Error Source #
Methods showsPrec :: Int -> S3Error -> ShowS # show :: S3Error -> String # showList :: [S3Error] -> ShowS #
Exception S3Error Source #
Methods toException :: S3Error -> SomeException # fromException :: SomeException -> Maybe S3Error # displayException :: S3Error -> String #

data ErrorType Source #

Constructors

DownloadError
CopyError'

Instances

Eq ErrorType Source #
Methods (==) :: ErrorType -> ErrorType -> Bool # (/=) :: ErrorType -> ErrorType -> Bool #
Show ErrorType Source #
Methods showsPrec :: Int -> ErrorType -> ShowS # show :: ErrorType -> String # showList :: [ErrorType] -> ShowS #

data DownloadError Source #

Constructors

DownloadSourceMissing Address
DownloadDestinationExists FilePath
DownloadDestinationNotDirectory FilePath
DownloadInvariant Address Address
MultipartError (RunError Error)

Instances

Show DownloadError Source #
Methods showsPrec :: Int -> DownloadError -> ShowS # show :: DownloadError -> String # showList :: [DownloadError] -> ShowS #

data ConcatError Source #

Constructors

ConcatSourceMissing Address
ConcatDestinationExists Address
ConcatCopyError (RunError Error)
NoInputFiles
NoInputFilesWithData
ConcatSourceTooSmall Address Int

Instances

Show ConcatError Source #
Methods showsPrec :: Int -> ConcatError -> ShowS # show :: ConcatError -> String # showList :: [ConcatError] -> ShowS #

data CopyError Source #

Constructors

CopySourceMissing Address
CopyDestinationExists Address
CopySourceSize Address
MultipartCopyError (RunError Error)

data UploadError Source #

Constructors

UploadSourceMissing FilePath
UploadDestinationExists Address
UploadSourceNotDirectory FilePath
MultipartUploadError (RunError Error)

Instances

Show UploadError Source #
Methods showsPrec :: Int -> UploadError -> ShowS # show :: UploadError -> String # showList :: [UploadError] -> ShowS #

newtype SyncError Source #

Constructors

SyncError (RunError SyncWorkerError)

data SyncWorkerError Source #

Constructors

SyncInvariant Address Address
OutputExists Address
SyncAws Error
SyncCopyError CopyError

data WriteResult :: * #

Constructors

WriteOk
WriteDestinationExists !Address

Instances

Eq WriteResult
Methods (==) :: WriteResult -> WriteResult -> Bool # (/=) :: WriteResult -> WriteResult -> Bool #
Show WriteResult
Methods showsPrec :: Int -> WriteResult -> ShowS # show :: WriteResult -> String # showList :: [WriteResult] -> ShowS #

(//) :: Key -> Key -> Key #

combineKey :: Key -> Key -> Key #

dirname :: Key -> Key #

Get the prefix for a given key (eg. dirname "/foo/bar" == "foo").

foldWriteMode :: a -> a -> WriteMode -> a #

foldSyncMode :: a -> a -> a -> SyncMode -> a #

basename :: Key -> Maybe Text #

Get the basename for a given key (eg. basename "/foo/bar" == "bar"). Return Nothing for the empty Key _and_ when the name ends with a "/".

addressFromText :: Text -> Maybe Address #

Parse an Address from Text. If the parse fails, Nothing is returned.

addressToText :: Address -> Text #

Render an Address to Text, including the "s3://" prefix.

removeCommonPrefix :: Address -> Address -> Maybe Key #

withKey :: (Key -> Key) -> Address -> Address #

withKey f address : Replace the Key part of an Address with a new Key resulting from the application of function f to the old Key.

s3Parser :: Parser Address #

s3ErrorRender :: S3Error -> Text Source #

renderDownloadError :: DownloadError -> Text Source #

renderConcatError :: ConcatError -> Text Source #

renderCopyError :: CopyError -> Text Source #

renderUploadError :: UploadError -> Text Source #

renderSyncError :: SyncError -> Text Source #

renderSyncWorkerError :: SyncWorkerError -> Text Source #

sse :: ServerSideEncryption Source #

SourceMissing ErrorType Address
SourceFileMissing FilePath
DestinationAlreadyExists Address
DestinationDoesNotExist Address
DestinationFileExists FilePath
DestinationNotDirectory FilePath
DestinationMissing FilePath
SourceNotDirectory FilePath
AccessDenied Address
Invariant Text
Target Address Address
MissingETag