Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data AwsEnv
- class HasAwsEnv env where
- awsEnvDiscover :: MonadLoggerIO m => m AwsEnv
- awsWithAuth :: (MonadIO m, MonadReader env m, HasAwsEnv env) => (AuthEnv -> m a) -> m a
- awsSimple :: (MonadResource m, MonadReader env m, HasAwsEnv env, AWSRequest a, Typeable a, Typeable (AWSResponse a)) => Text -> a -> (AWSResponse a -> Maybe b) -> m b
- awsSend :: (MonadResource m, MonadReader env m, HasAwsEnv env, AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> m (AWSResponse a)
- awsPaginate :: (MonadResource m, MonadReader env m, HasAwsEnv env, AWSPager a, Typeable a, Typeable (AWSResponse a)) => a -> ConduitM () (AWSResponse a) m ()
- awsAwait :: (MonadResource m, MonadReader env m, HasAwsEnv env, AWSRequest a, Typeable a) => Wait a -> a -> m Accept
- awsAssumeRole :: (MonadResource m, MonadReader env m, HasAwsEnv env) => Text -> Text -> m a -> m a
- awsWithin :: (MonadReader env m, HasAwsEnv env) => Region -> m a -> m a
- awsTimeout :: (MonadReader env m, HasAwsEnv env) => Seconds -> m a -> m a
- awsSilently :: (MonadReader env m, HasAwsEnv env) => m a -> m a
- newtype AccountId = AccountId {
- unAccountId :: Text
- handlingServiceError :: (MonadUnliftIO m, MonadLogger m) => m a -> m a
- formatServiceError :: ServiceError -> Text
- newtype Region where
- Region' {
- fromRegion :: Text
- pattern Ohio :: Region
- pattern NorthVirginia :: Region
- pattern NorthCalifornia :: Region
- pattern Oregon :: Region
- pattern CapeTown :: Region
- pattern HongKong :: Region
- pattern Hyderabad :: Region
- pattern Jakarta :: Region
- pattern Melbourne :: Region
- pattern Mumbai :: Region
- pattern Osaka :: Region
- pattern Seoul :: Region
- pattern Singapore :: Region
- pattern Sydney :: Region
- pattern Tokyo :: Region
- pattern Montreal :: Region
- pattern Frankfurt :: Region
- pattern Ireland :: Region
- pattern London :: Region
- pattern Milan :: Region
- pattern Paris :: Region
- pattern Spain :: Region
- pattern Stockholm :: Region
- pattern Zurich :: Region
- pattern Bahrain :: Region
- pattern UAE :: Region
- pattern SaoPaulo :: Region
- pattern GovCloudEast :: Region
- pattern GovCloudWest :: Region
- pattern Beijing :: Region
- pattern Ningxia :: Region
- Region' {
- class FromText a where
- class ToText a where
- class MonadIO m => MonadResource (m :: Type -> Type)
Documentation
awsEnvDiscover :: MonadLoggerIO m => m AwsEnv Source #
awsWithAuth :: (MonadIO m, MonadReader env m, HasAwsEnv env) => (AuthEnv -> m a) -> m a Source #
awsSimple :: (MonadResource m, MonadReader env m, HasAwsEnv env, AWSRequest a, Typeable a, Typeable (AWSResponse a)) => Text -> a -> (AWSResponse a -> Maybe b) -> m b Source #
awsSend :: (MonadResource m, MonadReader env m, HasAwsEnv env, AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> m (AWSResponse a) Source #
awsPaginate :: (MonadResource m, MonadReader env m, HasAwsEnv env, AWSPager a, Typeable a, Typeable (AWSResponse a)) => a -> ConduitM () (AWSResponse a) m () Source #
awsAwait :: (MonadResource m, MonadReader env m, HasAwsEnv env, AWSRequest a, Typeable a) => Wait a -> a -> m Accept Source #
:: (MonadResource m, MonadReader env m, HasAwsEnv env) | |
=> Text | Role ARN |
-> Text | Session name |
-> m a | Action to run as the assumed role |
-> m a |
Modifiers on AwsEnv
awsTimeout :: (MonadReader env m, HasAwsEnv env) => Seconds -> m a -> m a Source #
awsSilently :: (MonadReader env m, HasAwsEnv env) => m a -> m a Source #
Amazonka
extensions
Error-handling
handlingServiceError :: (MonadUnliftIO m, MonadLogger m) => m a -> m a Source #
Handle Error
, log it and exitFailure
This is useful at the top-level of the app, where we'd be crashing anyway. It makes things more readable and easier to debug.
Amazonka
/ResourceT
re-exports
The available AWS regions.
pattern Ohio :: Region | |
pattern NorthVirginia :: Region | |
pattern NorthCalifornia :: Region | |
pattern Oregon :: Region | |
pattern CapeTown :: Region | |
pattern HongKong :: Region | |
pattern Hyderabad :: Region | |
pattern Jakarta :: Region | |
pattern Melbourne :: Region | |
pattern Mumbai :: Region | |
pattern Osaka :: Region | |
pattern Seoul :: Region | |
pattern Singapore :: Region | |
pattern Sydney :: Region | |
pattern Tokyo :: Region | |
pattern Montreal :: Region | |
pattern Frankfurt :: Region | |
pattern Ireland :: Region | |
pattern London :: Region | |
pattern Milan :: Region | |
pattern Paris :: Region | |
pattern Spain :: Region | |
pattern Stockholm :: Region | |
pattern Zurich :: Region | |
pattern Bahrain :: Region | |
pattern UAE :: Region | |
pattern SaoPaulo :: Region | |
pattern GovCloudEast :: Region | |
pattern GovCloudWest :: Region | |
pattern Beijing :: Region | |
pattern Ningxia :: Region |
Instances
FromJSON Region | |
ToJSON Region | |
Defined in Amazonka.Types | |
ToByteString Region | |
Defined in Amazonka.Types toBS :: Region -> ByteString # | |
ToLog Region | |
Defined in Amazonka.Types build :: Region -> ByteStringBuilder # | |
ToQuery Region | |
Defined in Amazonka.Types toQuery :: Region -> QueryString # | |
FromText Region | |
ToText Region | |
Defined in Amazonka.Types | |
FromXML Region | |
ToXML Region | |
Defined in Amazonka.Types | |
IsString Region | |
Defined in Amazonka.Types fromString :: String -> Region # | |
Generic Region | |
Read Region | |
Show Region | |
NFData Region | |
Defined in Amazonka.Types | |
Eq Region | |
Ord Region | |
Hashable Region | |
Defined in Amazonka.Types | |
type Rep Region | |
Defined in Amazonka.Types |
Instances
Instances
class MonadIO m => MonadResource (m :: Type -> Type) #
A Monad
which allows for safe resource allocation. In theory, any monad
transformer stack which includes a ResourceT
can be an instance of
MonadResource
.
Note: runResourceT
has a requirement for a MonadUnliftIO m
monad,
which allows control operations to be lifted. A MonadResource
does not
have this requirement. This means that transformers such as ContT
can be
an instance of MonadResource
. However, the ContT
wrapper will need to be
unwrapped before calling runResourceT
.
Since 0.3.0