Mismi.S3.Data

Documentation

data PartResponse

Constructors

PartResponse !Int !ETag

Instances

Eq PartResponse

Methods

(==) :: PartResponse -> PartResponse -> Bool

(/=) :: PartResponse -> PartResponse -> Bool

Show PartResponse

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

Constructors

UploadSingle

UploadMultipart Integer Integer

Instances

Eq Upload

Methods

(==) :: Upload -> Upload -> Bool

(/=) :: Upload -> Upload -> Bool

Show Upload

Methods

showsPrec :: Int -> Upload -> ShowS

show :: Upload -> String

showList :: [Upload] -> ShowS

data S3Error

Constructors

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

Instances

Eq S3Error

Methods

(==) :: S3Error -> S3Error -> Bool

(/=) :: S3Error -> S3Error -> Bool

Show S3Error

Methods

showsPrec :: Int -> S3Error -> ShowS

show :: S3Error -> String

showList :: [S3Error] -> ShowS

Exception S3Error

Methods

toException :: S3Error -> SomeException

fromException :: SomeException -> Maybe S3Error

displayException :: S3Error -> String

data ErrorType

Constructors

DownloadError

CopyError'

Instances

Eq ErrorType

Methods

(==) :: ErrorType -> ErrorType -> Bool

(/=) :: ErrorType -> ErrorType -> Bool

Show ErrorType

Methods

showsPrec :: Int -> ErrorType -> ShowS

show :: ErrorType -> String

showList :: [ErrorType] -> ShowS

data DownloadError

Constructors

DownloadSourceMissing Address

DownloadDestinationExists FilePath

DownloadDestinationNotDirectory FilePath

DownloadInvariant Address Address

MultipartError (RunError Error)

Instances

Show DownloadError

Methods

showsPrec :: Int -> DownloadError -> ShowS

show :: DownloadError -> String

showList :: [DownloadError] -> ShowS

data ConcatError

Constructors

ConcatSourceMissing Address

ConcatDestinationExists Address

ConcatCopyError (RunError Error)

NoInputFiles

NoInputFilesWithData

ConcatSourceTooSmall Address Int

Instances

Show ConcatError

Methods

showsPrec :: Int -> ConcatError -> ShowS

show :: ConcatError -> String

showList :: [ConcatError] -> ShowS

data CopyError

Constructors

CopySourceMissing Address

CopyDestinationExists Address

CopySourceSize Address

MultipartCopyError (RunError Error)

data UploadError

Constructors

UploadSourceMissing FilePath

UploadDestinationExists Address

UploadSourceNotDirectory FilePath

MultipartUploadError (RunError Error)

Instances

Show UploadError

Methods

showsPrec :: Int -> UploadError -> ShowS

show :: UploadError -> String

showList :: [UploadError] -> ShowS

newtype SyncError

Constructors

SyncError (RunError SyncWorkerError)

data SyncWorkerError

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

renderDownloadError :: DownloadError -> Text

renderConcatError :: ConcatError -> Text

renderCopyError :: CopyError -> Text

renderUploadError :: UploadError -> Text

renderSyncError :: SyncError -> Text

renderSyncWorkerError :: SyncWorkerError -> Text

sse :: ServerSideEncryption