Safe Haskell | None |
---|---|
Language | Haskell98 |
Synopsis
- data WriteMode
- data SyncMode
- newtype Bucket = Bucket {}
- data Address = Address {}
- newtype Key = Key {}
- newtype ReadGrant = ReadGrant {}
- data WriteResult
- newtype Bytes = Bytes {}
- data Sized a = Sized {
- sizedBytes :: !Bytes
- sizedValue :: !a
- (//) :: Key -> Key -> Key
- combineKey :: Key -> Key -> Key
- dirname :: Key -> Key
- foldWriteMode :: a -> a -> WriteMode -> a
- foldSyncMode :: a -> a -> a -> SyncMode -> a
- basename :: Key -> Maybe Text
- addressFromText :: Text -> Maybe Address
- addressToText :: Address -> Text
- removeCommonPrefix :: Address -> Address -> Maybe Key
- withKey :: (Key -> Key) -> Address -> Address
- s3Parser :: Parser Address
Documentation
Describes the semantics for destructive operation that may result in overwritten files.
Fail | Fail rather than overwrite any data. |
Overwrite | Overwrite existing data silently, i.e. we really want to do this. |
Instances
Eq Bucket Source # | |
Data Bucket Source # | |
Defined in Mismi.S3.Core.Data 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 Source # | |
Show Bucket Source # | |
Instances
Eq Address Source # | |
Data Address Source # | |
Defined in Mismi.S3.Core.Data 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 Source # | |
Show Address Source # | |
Instances
Eq Key Source # | |
Data Key Source # | |
Defined in Mismi.S3.Core.Data 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 # 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 Source # | |
Show Key Source # | |
data WriteResult Source #
Instances
Eq WriteResult Source # | |
Defined in Mismi.S3.Core.Data (==) :: WriteResult -> WriteResult -> Bool # (/=) :: WriteResult -> WriteResult -> Bool # | |
Show WriteResult Source # | |
Defined in Mismi.S3.Core.Data showsPrec :: Int -> WriteResult -> ShowS # show :: WriteResult -> String # showList :: [WriteResult] -> ShowS # |
Sized | |
|
Instances
Functor Sized Source # | |
Foldable Sized Source # | |
Defined in Mismi.S3.Core.Data fold :: Monoid m => Sized m -> m # foldMap :: Monoid m => (a -> m) -> Sized a -> m # foldr :: (a -> b -> b) -> b -> Sized a -> b # foldr' :: (a -> b -> b) -> b -> Sized a -> b # foldl :: (b -> a -> b) -> b -> Sized a -> b # foldl' :: (b -> a -> b) -> b -> Sized a -> b # foldr1 :: (a -> a -> a) -> Sized a -> a # foldl1 :: (a -> a -> a) -> Sized a -> a # elem :: Eq a => a -> Sized a -> Bool # maximum :: Ord a => Sized a -> a # minimum :: Ord a => Sized a -> a # | |
Traversable Sized Source # | |
Eq a => Eq (Sized a) Source # | |
Ord a => Ord (Sized a) Source # | |
Show a => Show (Sized a) Source # | |
foldWriteMode :: a -> a -> WriteMode -> a Source #
foldSyncMode :: a -> a -> a -> SyncMode -> a Source #