Safe Haskell	None
Language	Haskell98

Mismi.Control

Contents

Timeout

Synopsis

type AWS = AWST (ResourceT IO)
data Error
data AccessKey
data SecretKey
data SessionToken
data Region
- = NorthVirginia
- | Ohio
- | NorthCalifornia
- | Oregon
- | Montreal
- | Tokyo
- | Seoul
- | Mumbai
- | Singapore
- | Sydney
- | SaoPaulo
- | Ireland
- | London
- | Frankfurt
- | GovCloud
- | GovCloudFIPS
- | Beijing
runAWS :: (MonadIO m, MonadCatch m) => Env -> AWS a -> ExceptT Error m a
runAWST :: Env -> (Error -> e) -> ExceptT e AWS a -> ExceptT e IO a
runAWSTWith :: (forall b. AWS b -> ExceptT Error IO b) -> (Error -> e) -> ExceptT e AWS a -> ExceptT e IO a
runAWSTWithRegion :: Region -> (Error -> e) -> ExceptT e AWS a -> ExceptT e IO a
rawRunAWS :: Env -> AWS a -> IO a
runAWSWithRegion :: (MonadIO m, MonadCatch m) => Region -> AWS a -> ExceptT Error m a
newEnvFromCreds :: (Applicative m, MonadIO m, MonadCatch m) => Region -> AccessKey -> SecretKey -> Maybe SessionToken -> m Env
awsBracket :: AWS a -> (a -> AWS c) -> (a -> AWS b) -> AWS b
awsBracket_ :: AWS a -> AWS c -> AWS b -> AWS b
unsafeRunAWS :: Env -> AWS a -> IO a
renderError :: Error -> Text
onStatus :: (Status -> Maybe r) -> AWS a -> AWS (Either r a)
onStatus_ :: r -> (Status -> Maybe r) -> AWS () -> AWS r
handle404 :: AWS a -> AWS (Maybe a)
handle403 :: AWS a -> AWS (Maybe a)
handle301 :: AWS a -> AWS (Maybe a)
setServiceRetry :: Retry -> AWS a -> AWS a
setRetry :: Int -> AWS a -> AWS a
configureRetries :: Int -> Env -> Env
handleServiceError :: (ServiceError -> Bool) -> (ServiceError -> a) -> AWS a -> AWS a
withRetries :: (MonadCatch m, MonadMask m, MonadIO m) => Int -> m a -> m a
withRetriesOf :: (MonadCatch m, MonadMask m, MonadIO m) => RetryPolicyM m -> Int -> m a -> m a
throwOrRetry :: (MonadCatch m, MonadMask m, MonadIO m) => Int -> SomeException -> RetryStatus -> m RetryStatus
throwOrRetryOf :: (MonadCatch m, MonadMask m, MonadIO m) => RetryPolicyM m -> Int -> SomeException -> RetryStatus -> m RetryStatus
timeoutAWS :: Int -> AWS a -> AWS (Maybe a)

Documentation

type AWS = AWST (ResourceT IO) #

A specialisation of the AWST transformer.

data Error #

An error type representing errors that can be attributed to this library.

Instances

Show Error
Instance details Defined in Network.AWS.Types Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String # showList :: [Error] -> ShowS #
ToLog Error
Instance details Defined in Network.AWS.Types Methods build :: Error -> Builder #
AsError Error
Instance details Defined in Network.AWS.Types Methods _Error :: Prism' Error Error # _TransportError :: Prism' Error HttpException # _SerializeError :: Prism' Error SerializeError # _ServiceError :: Prism' Error ServiceError #
Exception Error
Instance details Defined in Network.AWS.Types Methods toException :: Error -> SomeException # fromException :: SomeException -> Maybe Error # displayException :: Error -> String #

data AccessKey #

An access key ID.

For example: AKIAIOSFODNN7EXAMPLE

See: Understanding and Getting Your Security Credentials.

Instances

Eq AccessKey
Instance details Defined in Network.AWS.Types Methods (==) :: AccessKey -> AccessKey -> Bool # (/=) :: AccessKey -> AccessKey -> Bool #
Data AccessKey
Instance details Defined in Network.AWS.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AccessKey -> c AccessKey # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AccessKey # toConstr :: AccessKey -> Constr # dataTypeOf :: AccessKey -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AccessKey) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AccessKey) # gmapT :: (forall b. Data b => b -> b) -> AccessKey -> AccessKey # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AccessKey -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AccessKey -> r # gmapQ :: (forall d. Data d => d -> u) -> AccessKey -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AccessKey -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AccessKey -> m AccessKey # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AccessKey -> m AccessKey # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AccessKey -> m AccessKey #
Read AccessKey
Instance details Defined in Network.AWS.Types Methods readsPrec :: Int -> ReadS AccessKey # readList :: ReadS [AccessKey] # readPrec :: ReadPrec AccessKey # readListPrec :: ReadPrec [AccessKey] #
Show AccessKey
Instance details Defined in Network.AWS.Types Methods showsPrec :: Int -> AccessKey -> ShowS # show :: AccessKey -> String # showList :: [AccessKey] -> ShowS #
IsString AccessKey
Instance details Defined in Network.AWS.Types Methods fromString :: String -> AccessKey #
Hashable AccessKey
Instance details Defined in Network.AWS.Types Methods hashWithSalt :: Int -> AccessKey -> Int # hash :: AccessKey -> Int #
ToJSON AccessKey
Instance details Defined in Network.AWS.Types Methods toJSON :: AccessKey -> Value # toEncoding :: AccessKey -> Encoding # toJSONList :: [AccessKey] -> Value # toEncodingList :: [AccessKey] -> Encoding #
FromJSON AccessKey
Instance details Defined in Network.AWS.Types Methods parseJSON :: Value -> Parser AccessKey # parseJSONList :: Value -> Parser [AccessKey] #
ToText AccessKey
Instance details Defined in Network.AWS.Types Methods toText :: AccessKey -> Text #
FromText AccessKey
Instance details Defined in Network.AWS.Types Methods parser :: Parser AccessKey #
ToByteString AccessKey
Instance details Defined in Network.AWS.Types Methods toBS :: AccessKey -> ByteString #
ToLog AccessKey
Instance details Defined in Network.AWS.Types Methods build :: AccessKey -> Builder #
FromXML AccessKey
Instance details Defined in Network.AWS.Types Methods parseXML :: [Node] -> Either String AccessKey #
ToXML AccessKey
Instance details Defined in Network.AWS.Types Methods toXML :: AccessKey -> XML #
ToQuery AccessKey
Instance details Defined in Network.AWS.Types Methods toQuery :: AccessKey -> QueryString #
NFData AccessKey
Instance details Defined in Network.AWS.Types Methods rnf :: AccessKey -> () #

data SecretKey #

Secret access key credential.

For example: wJalrXUtnFEMIK7MDENGbPxRfiCYEXAMPLEKE

See: Understanding and Getting Your Security Credentials.

Instances

Eq SecretKey
Instance details Defined in Network.AWS.Types Methods (==) :: SecretKey -> SecretKey -> Bool # (/=) :: SecretKey -> SecretKey -> Bool #
Data SecretKey
Instance details Defined in Network.AWS.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SecretKey -> c SecretKey # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SecretKey # toConstr :: SecretKey -> Constr # dataTypeOf :: SecretKey -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SecretKey) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SecretKey) # gmapT :: (forall b. Data b => b -> b) -> SecretKey -> SecretKey # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SecretKey -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SecretKey -> r # gmapQ :: (forall d. Data d => d -> u) -> SecretKey -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SecretKey -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SecretKey -> m SecretKey # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SecretKey -> m SecretKey # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SecretKey -> m SecretKey #
IsString SecretKey
Instance details Defined in Network.AWS.Types Methods fromString :: String -> SecretKey #
Hashable SecretKey
Instance details Defined in Network.AWS.Types Methods hashWithSalt :: Int -> SecretKey -> Int # hash :: SecretKey -> Int #
ToJSON SecretKey
Instance details Defined in Network.AWS.Types Methods toJSON :: SecretKey -> Value # toEncoding :: SecretKey -> Encoding # toJSONList :: [SecretKey] -> Value # toEncodingList :: [SecretKey] -> Encoding #
FromJSON SecretKey
Instance details Defined in Network.AWS.Types Methods parseJSON :: Value -> Parser SecretKey # parseJSONList :: Value -> Parser [SecretKey] #
ToText SecretKey
Instance details Defined in Network.AWS.Types Methods toText :: SecretKey -> Text #
FromText SecretKey
Instance details Defined in Network.AWS.Types Methods parser :: Parser SecretKey #
ToByteString SecretKey
Instance details Defined in Network.AWS.Types Methods toBS :: SecretKey -> ByteString #
FromXML SecretKey
Instance details Defined in Network.AWS.Types Methods parseXML :: [Node] -> Either String SecretKey #
ToXML SecretKey
Instance details Defined in Network.AWS.Types Methods toXML :: SecretKey -> XML #
NFData SecretKey
Instance details Defined in Network.AWS.Types Methods rnf :: SecretKey -> () #

data SessionToken #

A session token used by STS to temporarily authorise access to an AWS resource.

See: Temporary Security Credentials.

Instances

Eq SessionToken
Instance details Defined in Network.AWS.Types Methods (==) :: SessionToken -> SessionToken -> Bool # (/=) :: SessionToken -> SessionToken -> Bool #
Data SessionToken
Instance details Defined in Network.AWS.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SessionToken -> c SessionToken # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SessionToken # toConstr :: SessionToken -> Constr # dataTypeOf :: SessionToken -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SessionToken) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SessionToken) # gmapT :: (forall b. Data b => b -> b) -> SessionToken -> SessionToken # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SessionToken -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SessionToken -> r # gmapQ :: (forall d. Data d => d -> u) -> SessionToken -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SessionToken -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SessionToken -> m SessionToken # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SessionToken -> m SessionToken # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SessionToken -> m SessionToken #
IsString SessionToken
Instance details Defined in Network.AWS.Types Methods fromString :: String -> SessionToken #
Hashable SessionToken
Instance details Defined in Network.AWS.Types Methods hashWithSalt :: Int -> SessionToken -> Int # hash :: SessionToken -> Int #
ToJSON SessionToken
Instance details Defined in Network.AWS.Types Methods toJSON :: SessionToken -> Value # toEncoding :: SessionToken -> Encoding # toJSONList :: [SessionToken] -> Value # toEncodingList :: [SessionToken] -> Encoding #
FromJSON SessionToken
Instance details Defined in Network.AWS.Types Methods parseJSON :: Value -> Parser SessionToken # parseJSONList :: Value -> Parser [SessionToken] #
ToText SessionToken
Instance details Defined in Network.AWS.Types Methods toText :: SessionToken -> Text #
FromText SessionToken
Instance details Defined in Network.AWS.Types Methods parser :: Parser SessionToken #
ToByteString SessionToken
Instance details Defined in Network.AWS.Types Methods toBS :: SessionToken -> ByteString #
FromXML SessionToken
Instance details Defined in Network.AWS.Types Methods parseXML :: [Node] -> Either String SessionToken #
ToXML SessionToken
Instance details Defined in Network.AWS.Types Methods toXML :: SessionToken -> XML #
NFData SessionToken
Instance details Defined in Network.AWS.Types Methods rnf :: SessionToken -> () #

data Region #

The available AWS regions.

Constructors

NorthVirginia	US East ('us-east-1').
Ohio	US East ('us-east-2').
NorthCalifornia	US West ('us-west-1').
Oregon	US West ('us-west-2').
Montreal	Canada ('ca-central-1').
Tokyo	Asia Pacific ('ap-northeast-1').
Seoul	Asia Pacific ('ap-northeast-2').
Mumbai	Asia Pacific ('ap-south-1').
Singapore	Asia Pacific ('ap-southeast-1').
Sydney	Asia Pacific ('ap-southeast-2').
SaoPaulo	South America ('sa-east-1').
Ireland	EU ('eu-west-1').
London	EU ('eu-west-2').
Frankfurt	EU ('eu-central-1').
GovCloud	US GovCloud ('us-gov-west-1').
GovCloudFIPS	US GovCloud FIPS (S3 Only, 'fips-us-gov-west-1').
Beijing	China ('cn-north-1').

Instances

Bounded Region
Instance details Defined in Network.AWS.Types Methods minBound :: Region # maxBound :: Region #
Enum Region
Instance details Defined in Network.AWS.Types Methods succ :: Region -> Region # pred :: Region -> Region # toEnum :: Int -> Region # fromEnum :: Region -> Int # enumFrom :: Region -> [Region] # enumFromThen :: Region -> Region -> [Region] # enumFromTo :: Region -> Region -> [Region] # enumFromThenTo :: Region -> Region -> Region -> [Region] #
Eq Region
Instance details Defined in Network.AWS.Types Methods (==) :: Region -> Region -> Bool # (/=) :: Region -> Region -> Bool #
Data Region
Instance details Defined in Network.AWS.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Region -> c Region # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Region # toConstr :: Region -> Constr # dataTypeOf :: Region -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Region) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Region) # gmapT :: (forall b. Data b => b -> b) -> Region -> Region # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Region -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Region -> r # gmapQ :: (forall d. Data d => d -> u) -> Region -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Region -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Region -> m Region # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Region -> m Region # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Region -> m Region #
Ord Region
Instance details Defined in Network.AWS.Types Methods compare :: Region -> Region -> Ordering # (<) :: Region -> Region -> Bool # (<=) :: Region -> Region -> Bool # (>) :: Region -> Region -> Bool # (>=) :: Region -> Region -> Bool # max :: Region -> Region -> Region # min :: Region -> Region -> Region #
Read Region
Instance details Defined in Network.AWS.Types Methods readsPrec :: Int -> ReadS Region # readList :: ReadS [Region] # readPrec :: ReadPrec Region # readListPrec :: ReadPrec [Region] #
Show Region
Instance details Defined in Network.AWS.Types Methods showsPrec :: Int -> Region -> ShowS # show :: Region -> String # showList :: [Region] -> ShowS #
Generic Region
Instance details Defined in Network.AWS.Types Associated Types type Rep Region :: Type -> Type # Methods from :: Region -> Rep Region x # to :: Rep Region x -> Region #
Hashable Region
Instance details Defined in Network.AWS.Types Methods hashWithSalt :: Int -> Region -> Int # hash :: Region -> Int #
ToJSON Region
Instance details Defined in Network.AWS.Types Methods toJSON :: Region -> Value # toEncoding :: Region -> Encoding # toJSONList :: [Region] -> Value # toEncodingList :: [Region] -> Encoding #
FromJSON Region
Instance details Defined in Network.AWS.Types Methods parseJSON :: Value -> Parser Region # parseJSONList :: Value -> Parser [Region] #
ToText Region
Instance details Defined in Network.AWS.Types Methods toText :: Region -> Text #
FromText Region
Instance details Defined in Network.AWS.Types Methods parser :: Parser Region #
ToByteString Region
Instance details Defined in Network.AWS.Types Methods toBS :: Region -> ByteString #
ToLog Region
Instance details Defined in Network.AWS.Types Methods build :: Region -> Builder #
FromXML Region
Instance details Defined in Network.AWS.Types Methods parseXML :: [Node] -> Either String Region #
ToXML Region
Instance details Defined in Network.AWS.Types Methods toXML :: Region -> XML #
NFData Region
Instance details Defined in Network.AWS.Types Methods rnf :: Region -> () #
type Rep Region
Instance details Defined in Network.AWS.Types type Rep Region = D1 (MetaData "Region" "Network.AWS.Types" "amazonka-core-1.6.0-GPhbuo1MfRULfKX6qbmh20" False) ((((C1 (MetaCons "NorthVirginia" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Ohio" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "NorthCalifornia" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Oregon" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "Montreal" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Tokyo" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Seoul" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Mumbai" PrefixI False) (U1 :: Type -> Type)))) :+: (((C1 (MetaCons "Singapore" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Sydney" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "SaoPaulo" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Ireland" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "London" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Frankfurt" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "GovCloud" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "GovCloudFIPS" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Beijing" PrefixI False) (U1 :: Type -> Type))))))

runAWS :: (MonadIO m, MonadCatch m) => Env -> AWS a -> ExceptT Error m a Source #

runAWST :: Env -> (Error -> e) -> ExceptT e AWS a -> ExceptT e IO a Source #

runAWSTWith :: (forall b. AWS b -> ExceptT Error IO b) -> (Error -> e) -> ExceptT e AWS a -> ExceptT e IO a Source #

runAWSTWithRegion :: Region -> (Error -> e) -> ExceptT e AWS a -> ExceptT e IO a Source #

rawRunAWS :: Env -> AWS a -> IO a Source #

runAWSWithRegion :: (MonadIO m, MonadCatch m) => Region -> AWS a -> ExceptT Error m a Source #

newEnvFromCreds :: (Applicative m, MonadIO m, MonadCatch m) => Region -> AccessKey -> SecretKey -> Maybe SessionToken -> m Env Source #

awsBracket :: AWS a -> (a -> AWS c) -> (a -> AWS b) -> AWS b Source #

awsBracket_ :: AWS a -> AWS c -> AWS b -> AWS b Source #

unsafeRunAWS :: Env -> AWS a -> IO a Source #

renderError :: Error -> Text Source #

onStatus :: (Status -> Maybe r) -> AWS a -> AWS (Either r a) Source #

Return a result code depending on the HTTP status

onStatus_ :: r -> (Status -> Maybe r) -> AWS () -> AWS r Source #

Return a result code depending on the HTTP status for an AWS action returning no value

handle404 :: AWS a -> AWS (Maybe a) Source #

handle403 :: AWS a -> AWS (Maybe a) Source #

handle301 :: AWS a -> AWS (Maybe a) Source #

setServiceRetry :: Retry -> AWS a -> AWS a Source #

setRetry :: Int -> AWS a -> AWS a Source #

configureRetries :: Int -> Env -> Env Source #

handleServiceError :: (ServiceError -> Bool) -> (ServiceError -> a) -> AWS a -> AWS a Source #

withRetries :: (MonadCatch m, MonadMask m, MonadIO m) => Int -> m a -> m a Source #

withRetriesOf :: (MonadCatch m, MonadMask m, MonadIO m) => RetryPolicyM m -> Int -> m a -> m a Source #

throwOrRetry :: (MonadCatch m, MonadMask m, MonadIO m) => Int -> SomeException -> RetryStatus -> m RetryStatus Source #

throwOrRetryOf :: (MonadCatch m, MonadMask m, MonadIO m) => RetryPolicyM m -> Int -> SomeException -> RetryStatus -> m RetryStatus Source #

Timeout

timeoutAWS :: Int -> AWS a -> AWS (Maybe a) Source #