Network.AWS

This module provides a simple AWS monad and a set of operations which can be performed against remote Amazon Web Services APIs, for use with the types supplied by the various amazonka-* libraries.

A MonadAWS typeclass is used as a function constraint to provide automatic lifting of functions when embedding AWS as a layer inside your own application stack.

Control.Monad.Trans.AWS contains the underlying AWST transformer.

Usage

The key functions dealing with the request/response lifecycle are:

• send
• paginate
• await

These functions have constraints that types from the amazonka-* libraries satisfy. To utilise these, you will need to specify what Region you wish to operate in and your Amazon credentials for AuthN/AuthZ purposes.

Credentials can be supplied in a number of ways. Either via explicit keys, via session profiles, or have Amazonka retrieve the credentials from an underlying IAM Role/Profile.

As a basic example, you might wish to store an object in an S3 bucket using amazonka-s3:

import Control.Lens
import Network.AWS
import Network.AWS.S3
import System.IO

example :: IO PutObjectResponse
example = do
    -- A new Logger to replace the default noop logger is created, with the logger
    -- set to print debug information and errors to stdout:
    lgr  <- newLogger Debug stdout

    -- To specify configuration preferences, newEnv is used to create a new
    -- configuration environment. The Credentials parameter is used to specify
    -- mechanism for supplying or retrieving AuthN/AuthZ information.
    -- In this case Discover will cause the library to try a number of options such
    -- as default environment variables, or an instance's IAM Profile and identity document:
    env  <- newEnv Discover

    -- The payload (and hash) for the S3 object is retrieved from a FilePath,
    -- either hashedFile or chunkedFile can be used, with the latter ensuring
    -- the contents of the file is enumerated exactly once, during send:
    body <- chunkedFile defaultChunkSize "local/path/to/object-payload"

    -- We now run the AWS computation with the overriden logger, performing the
    -- PutObject request. envRegion or within can be used to set the
    -- remote AWS Region:
    runResourceT $ runAWS (env & envLogger .~ lgr) $
        within Frankfurt $
            send (putObject "bucket-name" "object-key" body)

Running AWS Actions

type AWS = AWST (ResourceT IO)

A specialisation of the AWST transformer.

class (Functor m, Applicative m, Monad m, MonadIO m, MonadCatch m) => MonadAWS m where

Monads in which AWS actions may be embedded.

Methods

liftAWS :: AWS a -> m a

Lift a computation to the AWS monad.

Instances

MonadAWS AWS

Defined in Network.AWS

Methods

liftAWS :: AWS a -> AWS a

MonadAWS m => MonadAWS (MaybeT m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> MaybeT m a

MonadAWS m => MonadAWS (ListT m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> ListT m a

MonadAWS m => MonadAWS (IdentityT m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> IdentityT m a

(Monoid w, MonadAWS m) => MonadAWS (WriterT w m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> WriterT w m a

(Monoid w, MonadAWS m) => MonadAWS (WriterT w m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> WriterT w m a

MonadAWS m => MonadAWS (StateT s m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> StateT s m a

MonadAWS m => MonadAWS (StateT s m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> StateT s m a

MonadAWS m => MonadAWS (ExceptT e m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> ExceptT e m a

MonadAWS m => MonadAWS (ReaderT r m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> ReaderT r m a

(Monoid w, MonadAWS m) => MonadAWS (RWST r w s m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> RWST r w s m a

(Monoid w, MonadAWS m) => MonadAWS (RWST r w s m)

Defined in Network.AWS

Methods

liftAWS :: AWS a -> RWST r w s m a

runAWS :: (MonadResource m, HasEnv r) => r -> AWS a -> m a

Run the AWS monad. Any outstanding HTTP responses' ResumableSource will be closed when the ResourceT computation is unwrapped with runResourceT.

Throws LogLevel, which will include HTTPExceptions, serialisation errors, or any particular errors returned by the respective AWS service.

See: runAWST, runResourceT.

runResourceT :: MonadUnliftIO m => ResourceT m a -> m a

Unwrap a ResourceT transformer, and call all registered release actions.

Note that there is some reference counting involved due to resourceForkIO. If multiple threads are sharing the same collection of resources, only the last call to runResourceT will deallocate the resources.

NOTE Since version 1.2.0, this function will throw a ResourceCleanupException if any of the cleanup functions throw an exception.

Since: resourcet-0.3.0

Authentication and Environment

newEnv

Arguments

:: (Applicative m, MonadIO m, MonadCatch m)

=> Credentials

Credential discovery mechanism.

-> m Env

Creates a new environment with a new Manager without debug logging and uses getAuth to expand/discover the supplied Credentials. Lenses from HasEnv can be used to further configure the resulting Env.

Since: 1.5.0 - The region is now retrieved from the AWS_REGION environment variable (identical to official SDKs), or defaults to us-east-1. You can override the Env region by using envRegion, or the current operation's region by using within.

Since: 1.3.6 - The default logic for retrying HttpExceptions now uses retryConnectionFailure to retry specific connection failure conditions up to 3 times. Previously only service specific errors were automatically retried. This can be reverted to the old behaviour by resetting the Env using envRetryCheck lens to (\_ _ -> False).

Throws AuthError when environment variables or IAM profiles cannot be read.

See: newEnvWith.

data Env

The environment containing the parameters required to make AWS requests.

Instances

ToLog Env

Defined in Network.AWS.Env

Methods

build :: Env -> Builder

HasEnv Env

Defined in Network.AWS.Env

Methods

environment :: Lens' Env Env

envRegion :: Lens' Env Region

envLogger :: Lens' Env Logger

envRetryCheck :: Lens' Env (Int -> HttpException -> Bool)

envOverride :: Lens' Env (Dual (Endo Service))

envManager :: Lens' Env Manager

envAuth :: Lens' Env Auth

envEC2 :: Getter Env (IORef (Maybe Bool))

MonadAWS AWS

Defined in Network.AWS

Methods

liftAWS :: AWS a -> AWS a

class HasEnv a where

Minimal complete definition

environment

Methods

environment :: Lens' a Env

envRegion :: Lens' a Region

The current region.

envLogger :: Lens' a Logger

The function used to output log messages.

envRetryCheck :: Lens' a (Int -> HttpException -> Bool)

The function used to determine if an HttpException should be retried.

envOverride :: Lens' a (Dual (Endo Service))

The currently applied overrides to all Service configuration.

envManager :: Lens' a Manager

The Manager used to create and manage open HTTP connections.

envAuth :: Lens' a Auth

The credentials used to sign requests for authentication with AWS.

envEC2 :: Getter a (IORef (Maybe Bool))

A memoised predicate for whether the underlying host is an EC2 instance.

Instances

HasEnv Env

Defined in Network.AWS.Env

Methods

environment :: Lens' Env Env

envRegion :: Lens' Env Region

envLogger :: Lens' Env Logger

envRetryCheck :: Lens' Env (Int -> HttpException -> Bool)

envOverride :: Lens' Env (Dual (Endo Service))

envManager :: Lens' Env Manager

envAuth :: Lens' Env Auth

envEC2 :: Getter Env (IORef (Maybe Bool))

Credential Discovery

data Credentials

Determines how AuthN/AuthZ information is retrieved.

Constructors

FromKeys AccessKey SecretKey

Explicit access and secret keys. See fromKeys.

FromSession AccessKey SecretKey SessionToken

Explicit access key, secret key and a session token. See fromSession.

FromEnv Text Text (Maybe Text) (Maybe Text)

Lookup specific environment variables for access key, secret key, an optional session token, and an optional region, respectively.

FromProfile Text

An IAM Profile name to lookup from the local EC2 instance-data. Environment variables to lookup for the access key, secret key and optional session token.

FromFile Text FilePath

A credentials profile name (the INI section) and the path to the AWS credentials file.

FromContainer

Obtain credentials by attempting to contact the ECS container agent at http://169.254.170.2 using the path in envContainerCredentialsURI. See IAM Roles for Tasks in the AWS documentation for more information.

Discover

Attempt credentials discovery via the following steps:

• Read the envAccessKey, envSecretKey, and envRegion from the environment if they are set.
• Read the credentials file if credFile exists.
• Obtain credentials from the ECS container agent if envContainerCredentialsURI is set.
• Retrieve the first available IAM profile and read the Region from the instance identity document, if running on EC2.

An attempt is made to resolve http://instance-data rather than directly retrieving http://169.254.169.254 for IAM profile information. This assists in ensuring the DNS lookup terminates promptly if not running on EC2.

Instances

Eq Credentials

Defined in Network.AWS.Auth

Methods

(==) :: Credentials -> Credentials -> Bool

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

Show Credentials

Defined in Network.AWS.Auth

Methods

showsPrec :: Int -> Credentials -> ShowS

show :: Credentials -> String

showList :: [Credentials] -> ShowS

ToLog Credentials

Defined in Network.AWS.Auth

Methods

build :: Credentials -> Builder

AuthN/AuthZ information is handled similarly to other AWS SDKs. You can read some of the options available here.

When running on an EC2 instance and using FromProfile or Discover, a thread is forked which transparently handles the expiry and subsequent refresh of IAM profile information. See fromProfileName for more information.

Supported Regions

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

Defined in Network.AWS.Types

Methods

minBound :: Region

maxBound :: Region

Enum Region

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

Defined in Network.AWS.Types

Methods

(==) :: Region -> Region -> Bool

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

Data Region

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

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

Defined in Network.AWS.Types

Methods

readsPrec :: Int -> ReadS Region

readList :: ReadS [Region]

readPrec :: ReadPrec Region

readListPrec :: ReadPrec [Region]

Show Region

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> Region -> ShowS

show :: Region -> String

showList :: [Region] -> ShowS

Generic Region

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

Defined in Network.AWS.Types

Methods

hashWithSalt :: Int -> Region -> Int

hash :: Region -> Int

ToJSON Region

Defined in Network.AWS.Types

Methods

toJSON :: Region -> Value

toEncoding :: Region -> Encoding

toJSONList :: [Region] -> Value

toEncodingList :: [Region] -> Encoding

FromJSON Region

Defined in Network.AWS.Types

Methods

parseJSON :: Value -> Parser Region

parseJSONList :: Value -> Parser [Region]

FromXML Region

Defined in Network.AWS.Types

Methods

parseXML :: [Node] -> Either String Region

ToXML Region

Defined in Network.AWS.Types

Methods

toXML :: Region -> XML

ToLog Region

Defined in Network.AWS.Types

Methods

build :: Region -> Builder

ToByteString Region

Defined in Network.AWS.Types

Methods

toBS :: Region -> ByteString

FromText Region

Defined in Network.AWS.Types

Methods

parser :: Parser Region

ToText Region

Defined in Network.AWS.Types

Methods

toText :: Region -> Text

NFData Region

Defined in Network.AWS.Types

Methods

rnf :: Region -> ()

type Rep Region

Defined in Network.AWS.Types

type Rep Region = D1 (MetaData "Region" "Network.AWS.Types" "amazonka-core-1.6.1-FZORvxk9gh76fGemhSgXQL" 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))))))

Sending Requests

To send a request you need to create a value of the desired operation type using the relevant constructor, as well as any further modifications of default/optional parameters using the appropriate lenses. This value can then be sent using send or paginate and the library will take care of serialisation/authentication and so forth.

The default Service configuration for a request contains retry configuration that is used to determine if a request can safely be retried and what kind of back off/on strategy should be used. (Usually exponential.) Typically services define retry strategies that handle throttling, general server errors and transport errors. Streaming requests are never retried.

send :: (MonadAWS m, AWSRequest a) => a -> m (Rs a)

Send a request, returning the associated response if successful.

Pagination

Some AWS operations return results that are incomplete and require subsequent requests in order to obtain the entire result set. The process of sending subsequent requests to continue where a previous request left off is called pagination. For example, the ListObjects operation of Amazon S3 returns up to 1000 objects at a time, and you must send subsequent requests with the appropriate Marker in order to retrieve the next page of results.

Operations that have an AWSPager instance can transparently perform subsequent requests, correctly setting Markers and other request facets to iterate through the entire result set of a truncated API operation. Operations which support this have an additional note in the documentation.

Many operations have the ability to filter results on the server side. See the individual operation parameters for details.

paginate :: (MonadAWS m, AWSPager a) => a -> ConduitM () (Rs a) m ()

Repeatedly send a request, automatically setting markers and paginating over multiple responses while available.

Waiters

Waiters poll by repeatedly sending a request until some remote success condition configured by the Wait specification is fulfilled. The Wait specification determines how many attempts should be made, in addition to delay and retry strategies. Error conditions that are not handled by the Wait configuration will be thrown, or the first successful response that fulfills the success condition will be returned.

Wait specifications can be found under the Network.AWS.{ServiceName}.Waiters namespace for services which support await.

await :: (MonadAWS m, AWSRequest a) => Wait a -> a -> m Accept

Poll the API with the supplied request until a specific Wait condition is fulfilled.

Service Configuration

When a request is sent, various values such as the endpoint, retry strategy, timeout and error handlers are taken from the associated Service for a request. For example, DynamoDB will use the dynamoDB configuration when sending PutItem, Query and all other operations.

You can modify a specific Service's default configuration by using configure or reconfigure. To modify all configurations simultaneously, see override.

An example of how you might alter default configuration using these mechanisms is demonstrated below. Firstly, the default dynamoDB service is configured to use non-SSL localhost as the endpoint:

let dynamo :: Service
    dynamo = setEndpoint False "localhost" 8000 dynamoDB

The updated configuration is then passed to the Env during setup:

e <- newEnv Frankfurt Discover <&> configure dynamo
runAWS e $ do
    -- This S3 operation will communicate with remote AWS APIs.
    x <- send listBuckets

    -- DynamoDB operations will communicate with localhost:8000.
    y <- send listTables

    -- Any operations for services other than DynamoDB, are not affected.
    ...

You can also scope the Endpoint modifications (or any other Service configuration) to specific actions:

e <- newEnv Ireland Discover
runAWS e $ do
    -- Service operations here will communicate with AWS, even DynamoDB.
    x <- send listTables

    reconfigure dynamo $ do
       -- In here, DynamoDB operations will communicate with localhost:8000,
       -- with operations for services not being affected.
       ...

Functions such as within, once, and timeout likewise modify the underlying configuration for all service requests within their respective scope.

Overriding Defaults

configure :: HasEnv a => Service -> a -> a

Configure a specific service. All requests belonging to the supplied service will use this configuration instead of the default.

It's suggested you use a modified version of the default service, such as Network.AWS.DynamoDB.dynamoDB.

See: reconfigure.

override :: HasEnv a => (Service -> Service) -> a -> a

Provide a function which will be added to the existing stack of overrides applied to all service configuration.

To override a specific service, it's suggested you use either configure or reconfigure with a modified version of the default service, such as Network.AWS.DynamoDB.dynamoDB.

Scoped Actions

reconfigure :: MonadAWS m => Service -> AWS a -> m a

Scope an action such that all requests belonging to the supplied service will use this configuration instead of the default.

It's suggested you use a modified version of the default service, such as Network.AWS.DynamoDB.dynamoDB.

See: configure.

within :: MonadAWS m => Region -> AWS a -> m a

Scope an action within the specific Region.

once :: MonadAWS m => AWS a -> m a

Scope an action such that any retry logic for the Service is ignored and any requests will at most be sent once.

timeout :: MonadAWS m => Seconds -> AWS a -> m a

Scope an action such that any HTTP response will use this timeout value.

Streaming

Streaming comes in two flavours. HashedBody represents a request that requires a precomputed SHA256 hash, or a ChunkedBody type for those services that can perform incremental signing and do not require the entire payload to be hashed (such as S3). The type signatures for request smart constructors advertise which respective body type is required, denoting the underlying signing capabilities.

ToHashedBody and ToBody typeclass instances are available to construct the streaming bodies, automatically calculating any hash or size as needed for types such as Text, ByteString, or Aeson's Value type. To read files and other IO primitives, functions such as hashedFile, chunkedFile, or hashedBody should be used.

For responses that contain streaming bodies (such as GetObject), you can use sinkBody to connect the response body to a conduit compatible sink.

Request Bodies

class ToHashedBody a where

Anything that can be safely converted to a HashedBody.

Methods

toHashed :: a -> HashedBody

Convert a value to a hashed request body.

Instances

ToHashedBody ByteString

Defined in Network.AWS.Data.Body

Methods

toHashed :: ByteString -> HashedBody

ToHashedBody ByteString

Defined in Network.AWS.Data.Body

Methods

toHashed :: ByteString -> HashedBody

ToHashedBody Text

Defined in Network.AWS.Data.Body

Methods

toHashed :: Text -> HashedBody

ToHashedBody Value

Defined in Network.AWS.Data.Body

Methods

toHashed :: Value -> HashedBody

ToHashedBody Element

Defined in Network.AWS.Data.Body

Methods

toHashed :: Element -> HashedBody

ToHashedBody Base64

Defined in Network.AWS.Data.Base64

Methods

toHashed :: Base64 -> HashedBody

ToHashedBody HashedBody

Defined in Network.AWS.Data.Body

Methods

toHashed :: HashedBody -> HashedBody

ToHashedBody QueryString

Defined in Network.AWS.Data.Body

Methods

toHashed :: QueryString -> HashedBody

ToHashedBody String

Defined in Network.AWS.Data.Body

Methods

toHashed :: String -> HashedBody

ToHashedBody Text

Defined in Network.AWS.Data.Body

Methods

toHashed :: Text -> HashedBody

ToHashedBody (HashMap Text Value)

Defined in Network.AWS.Data.Body

Methods

toHashed :: HashMap Text Value -> HashedBody

hashedFile

Arguments

:: MonadIO m

=> FilePath

The file path to read.

-> m HashedBody

Construct a HashedBody from a FilePath, calculating the SHA256 hash and file size.

Note: While this function will perform in constant space, it will enumerate the entirety of the file contents _twice_. Firstly to calculate the SHA256 and lastly to stream the contents to the socket during sending.

See: ToHashedBody.

hashedFileRange

Arguments

:: MonadIO m

=> FilePath

The file path to read.

-> Integer

The byte offset at which to start reading.

-> Integer

The maximum number of bytes to read.

-> m HashedBody

Construct a HashedBody from a FilePath, specifying the range of bytes to read. This can be useful for constructing multiple requests from a single file, say for S3 multipart uploads.

See: hashedFile, sourceFileRange.

hashedBody

Arguments

:: Digest SHA256

A SHA256 hash of the file contents.

-> Integer

The size of the stream in bytes.

-> ConduitM () ByteString (ResourceT IO) ()

-> HashedBody

Construct a HashedBody from a Source, manually specifying the SHA256 hash and file size. It's left up to the caller to calculate these correctly, otherwise AWS will return signing errors.

See: ToHashedBody.

Chunked Request Bodies

class ToBody a where

Anything that can be converted to a streaming request Body.

Minimal complete definition

Nothing

Methods

toBody :: a -> RqBody

Convert a value to a request body.

Instances

ToBody ByteString

Defined in Network.AWS.Data.Body

Methods

toBody :: ByteString -> RqBody

ToBody ByteString

Defined in Network.AWS.Data.Body

Methods

toBody :: ByteString -> RqBody

ToBody Text

Defined in Network.AWS.Data.Body

Methods

toBody :: Text -> RqBody

ToBody Value

Defined in Network.AWS.Data.Body

Methods

toBody :: Value -> RqBody

ToBody Element

Defined in Network.AWS.Data.Body

Methods

toBody :: Element -> RqBody

ToBody Base64

Defined in Network.AWS.Data.Base64

Methods

toBody :: Base64 -> RqBody

ToBody ChunkedBody

Defined in Network.AWS.Data.Body

Methods

toBody :: ChunkedBody -> RqBody

ToBody HashedBody

Defined in Network.AWS.Data.Body

Methods

toBody :: HashedBody -> RqBody

ToBody RqBody

Defined in Network.AWS.Data.Body

Methods

toBody :: RqBody -> RqBody

ToBody QueryString

Defined in Network.AWS.Data.Body

Methods

toBody :: QueryString -> RqBody

ToBody String

Defined in Network.AWS.Data.Body

Methods

toBody :: String -> RqBody

ToBody Text

Defined in Network.AWS.Data.Body

Methods

toBody :: Text -> RqBody

ToHashedBody a => ToBody (Maybe a)

Defined in Network.AWS.Data.Body

Methods

toBody :: Maybe a -> RqBody

ToBody (HashMap Text Value)

Defined in Network.AWS.Data.Body

Methods

toBody :: HashMap Text Value -> RqBody

newtype ChunkSize

Specifies the transmitted size of the 'Transfer-Encoding' chunks.

See: defaultChunk.

Constructors

ChunkSize Int

Instances

Enum ChunkSize

Defined in Network.AWS.Data.Body

Methods

succ :: ChunkSize -> ChunkSize

pred :: ChunkSize -> ChunkSize

toEnum :: Int -> ChunkSize

fromEnum :: ChunkSize -> Int

enumFrom :: ChunkSize -> [ChunkSize]

enumFromThen :: ChunkSize -> ChunkSize -> [ChunkSize]

enumFromTo :: ChunkSize -> ChunkSize -> [ChunkSize]

enumFromThenTo :: ChunkSize -> ChunkSize -> ChunkSize -> [ChunkSize]

Eq ChunkSize

Defined in Network.AWS.Data.Body

Methods

(==) :: ChunkSize -> ChunkSize -> Bool

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

Integral ChunkSize

Defined in Network.AWS.Data.Body

Methods

quot :: ChunkSize -> ChunkSize -> ChunkSize

rem :: ChunkSize -> ChunkSize -> ChunkSize

div :: ChunkSize -> ChunkSize -> ChunkSize

mod :: ChunkSize -> ChunkSize -> ChunkSize

quotRem :: ChunkSize -> ChunkSize -> (ChunkSize, ChunkSize)

divMod :: ChunkSize -> ChunkSize -> (ChunkSize, ChunkSize)

toInteger :: ChunkSize -> Integer

Num ChunkSize

Defined in Network.AWS.Data.Body

Methods

(+) :: ChunkSize -> ChunkSize -> ChunkSize

(-) :: ChunkSize -> ChunkSize -> ChunkSize

(*) :: ChunkSize -> ChunkSize -> ChunkSize

negate :: ChunkSize -> ChunkSize

abs :: ChunkSize -> ChunkSize

signum :: ChunkSize -> ChunkSize

fromInteger :: Integer -> ChunkSize

Ord ChunkSize

Defined in Network.AWS.Data.Body

Methods

compare :: ChunkSize -> ChunkSize -> Ordering

(<) :: ChunkSize -> ChunkSize -> Bool

(<=) :: ChunkSize -> ChunkSize -> Bool

(>) :: ChunkSize -> ChunkSize -> Bool

(>=) :: ChunkSize -> ChunkSize -> Bool

max :: ChunkSize -> ChunkSize -> ChunkSize

min :: ChunkSize -> ChunkSize -> ChunkSize

Real ChunkSize

Defined in Network.AWS.Data.Body

Methods

toRational :: ChunkSize -> Rational

Show ChunkSize

Defined in Network.AWS.Data.Body

Methods

showsPrec :: Int -> ChunkSize -> ShowS

show :: ChunkSize -> String

showList :: [ChunkSize] -> ShowS

ToLog ChunkSize

Defined in Network.AWS.Data.Body

Methods

build :: ChunkSize -> Builder

defaultChunkSize :: ChunkSize

The default chunk size of 128 KB. The minimum chunk size accepted by AWS is 8 KB, unless the entirety of the request is below this threshold.

A chunk size of 64 KB or higher is recommended for performance reasons.

chunkedFile :: MonadIO m => ChunkSize -> FilePath -> m RqBody

Construct a ChunkedBody from a FilePath, where the contents will be read and signed incrementally in chunks if the target service supports it.

Will intelligently revert to HashedBody if the file is smaller than the specified ChunkSize.

See: ToBody.

chunkedFileRange

Arguments

:: MonadIO m

=> ChunkSize

The idealized size of chunks that will be yielded downstream.

-> FilePath

The file path to read.

-> Integer

The byte offset at which to start reading.

-> Integer

The maximum number of bytes to read.

-> m RqBody

Construct a ChunkedBody from a FilePath, specifying the range of bytes to read. This can be useful for constructing multiple requests from a single file, say for S3 multipart uploads.

See: chunkedFile.

unsafeChunkedBody

Arguments

:: ChunkSize

The idealized size of chunks that will be yielded downstream.

-> Integer

The size of the stream in bytes.

-> ConduitM () ByteString (ResourceT IO) ()

-> RqBody

Unsafely construct a ChunkedBody.

This function is marked unsafe because it does nothing to enforce the chunk size. Typically for conduit IO functions, it's whatever ByteString's defaultBufferSize is, around 32 KB. If the chunk size is less than 8 KB, the request will error. 64 KB or higher chunk size is recommended for performance reasons.

Note that it will always create a chunked body even if the request is too small.

See: ToBody.

Response Bodies

sinkBody :: MonadIO m => RsBody -> ConduitM ByteString Void (ResourceT IO) a -> m a

Connect a Sink to a response stream.

File Size and MD5/SHA256

getFileSize :: MonadIO m => FilePath -> m Integer

Convenience function for obtaining the size of a file.

sinkMD5 :: Monad m => ConduitM ByteString o m (Digest MD5)

Incrementally calculate a MD5 Digest.

sinkSHA256 :: Monad m => ConduitM ByteString o m (Digest SHA256)

Incrementally calculate a SHA256 Digest.

Presigning Requests

Presigning requires the Service signer to be an instance of AWSPresigner. Not all signing algorithms support this.

presignURL

Arguments

:: (MonadAWS m, AWSRequest a)

=> UTCTime

Signing time.

-> Seconds

Expiry time.

-> a

Request to presign.

-> m ByteString

Presign an URL that is valid from the specified time until the number of seconds expiry has elapsed.

EC2 Instance Metadata

Metadata can be retrieved from the underlying host assuming that you're running the code on an EC2 instance or have a compatible instance-data endpoint available.

isEC2 :: MonadAWS m => m Bool

Test whether the underlying host is running on EC2. This is memoised and an HTTP request is made to the host's metadata endpoint for the first call only.

dynamic :: MonadAWS m => Dynamic -> m ByteString

Retrieve the specified Dynamic data.

metadata :: MonadAWS m => Metadata -> m ByteString

Retrieve the specified Metadata.

userdata :: MonadAWS m => m (Maybe ByteString)

Retrieve the user data. Returns Nothing if no user data is assigned to the instance.

data Dynamic

Constructors

FWS

Value showing whether the customer has enabled detailed one-minute monitoring in CloudWatch.

Valid values: enabled | disabled.

Document

JSON containing instance attributes, such as instance-id, private IP address, etc. See: identity, InstanceDocument.

PKCS7

Used to verify the document's authenticity and content against the signature.

Signature

Instances

Eq Dynamic

Defined in Network.AWS.EC2.Metadata

Methods

(==) :: Dynamic -> Dynamic -> Bool

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

Ord Dynamic

Defined in Network.AWS.EC2.Metadata

Methods

compare :: Dynamic -> Dynamic -> Ordering

(<) :: Dynamic -> Dynamic -> Bool

(<=) :: Dynamic -> Dynamic -> Bool

(>) :: Dynamic -> Dynamic -> Bool

(>=) :: Dynamic -> Dynamic -> Bool

max :: Dynamic -> Dynamic -> Dynamic

min :: Dynamic -> Dynamic -> Dynamic

Show Dynamic

Defined in Network.AWS.EC2.Metadata

Methods

showsPrec :: Int -> Dynamic -> ShowS

show :: Dynamic -> String

showList :: [Dynamic] -> ShowS

ToText Dynamic

Defined in Network.AWS.EC2.Metadata

Methods

toText :: Dynamic -> Text

data Metadata

Constructors

AMIId

The AMI ID used to launch the instance.

AMILaunchIndex

If you started more than one instance at the same time, this value indicates the order in which the instance was launched. The value of the first instance launched is 0.

AMIManifestPath

The path to the AMI's manifest file in Amazon S3. If you used an Amazon EBS-backed AMI to launch the instance, the returned result is unknown.

AncestorAMIIds

The AMI IDs of any instances that were rebundled to create this AMI. This value will only exist if the AMI manifest file contained an ancestor-amis key.

BlockDevice !Mapping

See: Mapping

Hostname

The private hostname of the instance. In cases where multiple network interfaces are present, this refers to the eth0 device (the device for which the device number is 0).

IAM !Info

See: Info

InstanceAction

Notifies the instance that it should reboot in preparation for bundling. Valid values: none | shutdown | bundle-pending.

InstanceId

The ID of this instance.

InstanceType

The type of instance.

See: InstanceType

KernelId

The ID of the kernel launched with this instance, if applicable.

LocalHostname

The private DNS hostname of the instance. In cases where multiple network interfaces are present, this refers to the eth0 device (the device for which the device number is 0).

LocalIPV4

The private IP address of the instance. In cases where multiple network interfaces are present, this refers to the eth0 device (the device for which the device number is 0).

MAC

The instance's media access control (MAC) address. In cases where multiple network interfaces are present, this refers to the eth0 device (the device for which the device number is 0).

Network !Text !Interface

See: Interface

AvailabilityZone

The Availability Zone in which the instance launched.

ProductCodes

Product codes associated with the instance, if any.

PublicHostname

The instance's public DNS. If the instance is in a VPC, this category is only returned if the enableDnsHostnames attribute is set to true. For more information, see Using DNS with Your VPC.

PublicIPV4

The public IP address. If an Elastic IP address is associated with the instance, the value returned is the Elastic IP address.

OpenSSHKey

Public key. Only available if supplied at instance launch time.

RAMDiskId

The ID of the RAM disk specified at launch time, if applicable.

ReservationId

ID of the reservation.

SecurityGroups

The names of the security groups applied to the instance.

Instances

Eq Metadata

Defined in Network.AWS.EC2.Metadata

Methods

(==) :: Metadata -> Metadata -> Bool

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

Ord Metadata

Defined in Network.AWS.EC2.Metadata

Methods

compare :: Metadata -> Metadata -> Ordering

(<) :: Metadata -> Metadata -> Bool

(<=) :: Metadata -> Metadata -> Bool

(>) :: Metadata -> Metadata -> Bool

(>=) :: Metadata -> Metadata -> Bool

max :: Metadata -> Metadata -> Metadata

min :: Metadata -> Metadata -> Metadata

Show Metadata

Defined in Network.AWS.EC2.Metadata

Methods

showsPrec :: Int -> Metadata -> ShowS

show :: Metadata -> String

showList :: [Metadata] -> ShowS

ToText Metadata

Defined in Network.AWS.EC2.Metadata

Methods

toText :: Metadata -> Text

Running Asynchronous Actions

Requests can be sent asynchronously, but due to guarantees about resource closure require the use of lifted-async.

The following example demonstrates retrieving two objects from S3 concurrently:

import Control.Concurrent.Async.Lifted
import Control.Lens
import Control.Monad.Trans.AWS
import Network.AWS.S3

do x   <- async . send $ getObject "bucket" "prefix/object-foo"
   y   <- async . send $ getObject "bucket" "prefix/object-bar"
   foo <- wait x
   bar <- wait y
   ...

See: Control.Concurrent.Async.Lifted

Handling Errors

Errors are thrown by the library using MonadThrow (unless Control.Monad.Error.AWS is used). Sub-errors of the canonical LogLevel type can be caught using trying or catching and the appropriate AsError Prism:

trying _Error          (send $ ListObjects "bucket-name") :: Either LogLevel          ListObjectsResponse
trying _TransportError (send $ ListObjects "bucket-name") :: Either HttpException  ListObjectsResponse
trying _SerializeError (send $ ListObjects "bucket-name") :: Either SerializeError ListObjectsResponse
trying _ServiceError   (send $ ListObjects "bucket-name") :: Either ServiceError   ListObjectsResponse

Many of the individual amazonka-* libraries export compatible Getters for matching service specific error codes and messages in the style above. See the Error Matchers heading in each respective library for details.

class AsError a where

Minimal complete definition

_Error

Methods

_Error :: Prism' a Error

A general Amazonka error.

_TransportError :: Prism' a HttpException

An error occured while communicating over HTTP with a remote service.

_SerializeError :: Prism' a SerializeError

A serialisation error occured when attempting to deserialise a response.

_ServiceError :: Prism' a ServiceError

A service specific error returned by the remote service.

Instances

AsError Error

Defined in Network.AWS.Types

Methods

_Error :: Prism' Error Error

_TransportError :: Prism' Error HttpException

_SerializeError :: Prism' Error SerializeError

_ServiceError :: Prism' Error ServiceError

AsError SomeException

Defined in Network.AWS.Types

Methods

_Error :: Prism' SomeException Error

_TransportError :: Prism' SomeException HttpException

_SerializeError :: Prism' SomeException SerializeError

_ServiceError :: Prism' SomeException ServiceError

class AsAuthError a where

Minimal complete definition

_AuthError

Methods

_AuthError :: Prism' a AuthError

A general authentication error.

_RetrievalError :: Prism' a HttpException

An error occured while communicating over HTTP with the local metadata endpoint.

_MissingEnvError :: Prism' a Text

The named environment variable was not found.

_InvalidEnvError :: Prism' a Text

An error occured parsing named environment variable's value.

_MissingFileError :: Prism' a FilePath

The specified credentials file could not be found.

_InvalidFileError :: Prism' a Text

An error occured parsing the credentials file.

_InvalidIAMError :: Prism' a Text

The specified IAM profile could not be found or deserialised.

Instances

AsAuthError SomeException

Defined in Network.AWS.Auth

Methods

_AuthError :: Prism' SomeException AuthError

_RetrievalError :: Prism' SomeException HttpException

_MissingEnvError :: Prism' SomeException Text

_InvalidEnvError :: Prism' SomeException Text

_MissingFileError :: Prism' SomeException FilePath

_InvalidFileError :: Prism' SomeException Text

_InvalidIAMError :: Prism' SomeException Text

AsAuthError AuthError

Defined in Network.AWS.Auth

Methods

_AuthError :: Prism' AuthError AuthError

_RetrievalError :: Prism' AuthError HttpException

_MissingEnvError :: Prism' AuthError Text

_InvalidEnvError :: Prism' AuthError Text

_MissingFileError :: Prism' AuthError FilePath

_InvalidFileError :: Prism' AuthError Text

_InvalidIAMError :: Prism' AuthError Text

trying :: MonadCatch m => Getting (First a) SomeException a -> m r -> m (Either a r)

A variant of try that takes a ReifiedPrism (or any ReifiedFold) to select which exceptions are caught (c.f. tryJust, catchJust). If the Exception does not match the predicate, it is re-thrown.

trying :: MonadCatch m => Prism'     SomeException a -> m r -> m (Either a r)
trying :: MonadCatch m => Lens'      SomeException a -> m r -> m (Either a r)
trying :: MonadCatch m => Traversal' SomeException a -> m r -> m (Either a r)
trying :: MonadCatch m => Iso'       SomeException a -> m r -> m (Either a r)
trying :: MonadCatch m => ReifiedGetter     SomeException a -> m r -> m (Either a r)
trying :: MonadCatch m => ReifiedFold       SomeException a -> m r -> m (Either a r)

catching :: MonadCatch m => Getting (First a) SomeException a -> m r -> (a -> m r) -> m r

Catch exceptions that match a given ReifiedPrism (or any ReifiedFold, really).

>>> catching _AssertionFailed (assert False (return "uncaught")) $ \ _ -> return "caught"
"caught"

catching :: MonadCatch m => Prism' SomeException a     -> m r -> (a -> m r) -> m r
catching :: MonadCatch m => Lens' SomeException a      -> m r -> (a -> m r) -> m r
catching :: MonadCatch m => Traversal' SomeException a -> m r -> (a -> m r) -> m r
catching :: MonadCatch m => Iso' SomeException a       -> m r -> (a -> m r) -> m r
catching :: MonadCatch m => ReifiedGetter SomeException a     -> m r -> (a -> m r) -> m r
catching :: MonadCatch m => ReifiedFold SomeException a       -> m r -> (a -> m r) -> m r

Building Error Prisms

_MatchServiceError :: AsError a => Service -> ErrorCode -> Getting (First ServiceError) a ServiceError

Provides a generalised prism for catching a specific service error identified by the opaque service abbreviation and error code.

This can be used if the generated error prisms provided by Network.AWS.ServiceName.Types do not cover all the thrown error codes. For example to define a new error prism:

{-# LANGUAGE OverloadedStrings #-}

import Network.AWS.S3 (ServiceError, s3)

_NoSuchBucketPolicy :: AsError a => Getting (First ServiceError) a ServiceError
_NoSuchBucketPolicy = _MatchServiceError s3 "NoSuchBucketPolicy"

With example usage being:

>>> import Control.Exception.Lens (trying)
>>> :t trying _NoSuchBucketPolicy
MonadCatch m => m a -> m (Either ServiceError a)

hasService :: (Applicative f, Choice p) => Service -> Optic' p f ServiceError ServiceError

hasStatus :: (Applicative f, Choice p) => Int -> Optic' p f ServiceError ServiceError

hasCode :: (Applicative f, Choice p) => ErrorCode -> Optic' p f ServiceError ServiceError

Logging

The exposed logging interface is a primitive Logger function which gets threaded through service calls and serialisation routines. This allows the library to output useful information and diagnostics.

The newLogger function can be used to construct a simple logger which writes output to a Handle, but in most production code you should probably consider using a more robust logging library such as tiny-log or fast-logger.

type Logger = LogLevel -> Builder -> IO ()

A function threaded through various request and serialisation routines to log informational and debug messages.

data LogLevel

Constructors

Info

Info messages supplied by the user - this level is not emitted by the library.

Error

Error messages only.

Debug

Useful debug information + info + error levels.

Trace

Includes potentially sensitive signing metadata, and non-streaming response bodies.

Instances

Enum LogLevel

Defined in Network.AWS.Types

Methods

succ :: LogLevel -> LogLevel

pred :: LogLevel -> LogLevel

toEnum :: Int -> LogLevel

fromEnum :: LogLevel -> Int

enumFrom :: LogLevel -> [LogLevel]

enumFromThen :: LogLevel -> LogLevel -> [LogLevel]

enumFromTo :: LogLevel -> LogLevel -> [LogLevel]

enumFromThenTo :: LogLevel -> LogLevel -> LogLevel -> [LogLevel]

Eq LogLevel

Defined in Network.AWS.Types

Methods

(==) :: LogLevel -> LogLevel -> Bool

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

Data LogLevel

Defined in Network.AWS.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LogLevel -> c LogLevel

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LogLevel

toConstr :: LogLevel -> Constr

dataTypeOf :: LogLevel -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LogLevel)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LogLevel)

gmapT :: (forall b. Data b => b -> b) -> LogLevel -> LogLevel

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LogLevel -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LogLevel -> r

gmapQ :: (forall d. Data d => d -> u) -> LogLevel -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LogLevel -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LogLevel -> m LogLevel

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LogLevel -> m LogLevel

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LogLevel -> m LogLevel

Ord LogLevel

Defined in Network.AWS.Types

Methods

compare :: LogLevel -> LogLevel -> Ordering

(<) :: LogLevel -> LogLevel -> Bool

(<=) :: LogLevel -> LogLevel -> Bool

(>) :: LogLevel -> LogLevel -> Bool

(>=) :: LogLevel -> LogLevel -> Bool

max :: LogLevel -> LogLevel -> LogLevel

min :: LogLevel -> LogLevel -> LogLevel

Show LogLevel

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> LogLevel -> ShowS

show :: LogLevel -> String

showList :: [LogLevel] -> ShowS

ToByteString LogLevel

Defined in Network.AWS.Types

Methods

toBS :: LogLevel -> ByteString

FromText LogLevel

Defined in Network.AWS.Types

Methods

parser :: Parser LogLevel

ToText LogLevel

Defined in Network.AWS.Types

Methods

toText :: LogLevel -> Text

Constructing a Logger

newLogger :: MonadIO m => LogLevel -> Handle -> m Logger

This is a primitive logger which can be used to log builds to a Handle.

Note: A more sophisticated logging library such as tinylog or fast-logger should be used in production code.

Endpoints

data Endpoint

Instances

Eq Endpoint

Defined in Network.AWS.Types

Methods

(==) :: Endpoint -> Endpoint -> Bool

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

Data Endpoint

Defined in Network.AWS.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Endpoint -> c Endpoint

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Endpoint

toConstr :: Endpoint -> Constr

dataTypeOf :: Endpoint -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Endpoint)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Endpoint)

gmapT :: (forall b. Data b => b -> b) -> Endpoint -> Endpoint

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Endpoint -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Endpoint -> r

gmapQ :: (forall d. Data d => d -> u) -> Endpoint -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Endpoint -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Endpoint -> m Endpoint

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Endpoint -> m Endpoint

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Endpoint -> m Endpoint

Show Endpoint

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> Endpoint -> ShowS

show :: Endpoint -> String

showList :: [Endpoint] -> ShowS

setEndpoint

Arguments

:: Bool

Whether to use HTTPS (ie. SSL).

-> ByteString

The hostname to connect to.

-> Int

The port number to connect to.

-> Service

The service configuration to override.

-> Service

A convenience function for overriding the Service Endpoint.

See: serviceEndpoint.

Re-exported Types

_Default :: Monoid a => Iso' (Maybe a) a

Invalid Iso, should be a Prism but exists for ease of composition with the current 'Lens . Iso' chaining to hide internal types from the user.

_Coerce :: (Coercible a b, Coercible b a) => Iso' a b

microseconds :: Seconds -> Int

seconds :: Seconds -> Int

withAuth :: MonadIO m => Auth -> (AuthEnv -> m a) -> m a

expiration :: Lens' AuthEnv (Maybe UTCTime)

The date on which the current credentials expire.

sessionToken :: Lens' AuthEnv (Maybe SessionToken)

The token that users must pass to the service API to use the temporary credentials.

secretAccessKey :: Lens' AuthEnv SecretKey

The secret access key that can be used to sign requests.

accessKeyId :: Lens' AuthEnv AccessKey

The access key ID that identifies the temporary security credentials.

rqPresign :: Seconds -> Algorithm a

rqSign :: Algorithm a

rqQuery :: Lens' (Request a) QueryString

rqPath :: Lens' (Request a) RawPath

rqMethod :: Lens' (Request a) StdMethod

rqHeaders :: Lens' (Request a) [Header]

rqBody :: Lens' (Request a) RqBody

rqService :: Lens' (Request a) Service

clientRequest :: Endpoint -> Maybe Seconds -> ClientRequest

Construct a ClientRequest using common parameters such as TLS and prevent throwing errors when receiving erroneous status codes in respones.

serviceRetry :: Lens' Service Retry

serviceCheck :: Lens' Service (Status -> Bool)

serviceTimeout :: Lens' Service (Maybe Seconds)

serviceEndpoint :: Setter' Service Endpoint

serviceSigner :: Lens' Service Signer

retryCheck :: Lens' Retry (ServiceError -> Maybe Text)

retryAttempts :: Lens' Retry Int

exponentGrowth :: Lens' Retry Int

exponentBase :: Lens' Retry Double

endpointScope :: Lens' Endpoint ByteString

endpointPort :: Lens' Endpoint Int

endpointSecure :: Lens' Endpoint Bool

endpointHost :: Lens' Endpoint ByteString

serviceRequestId :: Lens' ServiceError (Maybe RequestId)

serviceMessage :: Lens' ServiceError (Maybe ErrorMessage)

serviceCode :: Lens' ServiceError ErrorCode

serviceHeaders :: Lens' ServiceError [Header]

serviceStatus :: Lens' ServiceError Status

serviceAbbrev :: Lens' ServiceError Abbrev

serializeMessage :: Lens' SerializeError String

serializeStatus :: Lens' SerializeError Status

serializeAbbrev :: Lens' SerializeError Abbrev

errorCode :: Text -> ErrorCode

Construct an ErrorCode.

type ClientRequest = Request

A convenience alias to avoid type ambiguity.

type ClientResponse = Response ResponseBody

A convenience alias encapsulating the common Response.

type ResponseBody = ConduitM () ByteString (ResourceT IO) ()

A convenience alias encapsulating the common Response body.

data Abbrev

Abbreviated service name.

Instances

Eq Abbrev

Defined in Network.AWS.Types

Methods

(==) :: Abbrev -> Abbrev -> Bool

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

Ord Abbrev

Defined in Network.AWS.Types

Methods

compare :: Abbrev -> Abbrev -> Ordering

(<) :: Abbrev -> Abbrev -> Bool

(<=) :: Abbrev -> Abbrev -> Bool

(>) :: Abbrev -> Abbrev -> Bool

(>=) :: Abbrev -> Abbrev -> Bool

max :: Abbrev -> Abbrev -> Abbrev

min :: Abbrev -> Abbrev -> Abbrev

Show Abbrev

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> Abbrev -> ShowS

show :: Abbrev -> String

showList :: [Abbrev] -> ShowS

IsString Abbrev

Defined in Network.AWS.Types

Methods

fromString :: String -> Abbrev

FromJSON Abbrev

Defined in Network.AWS.Types

Methods

parseJSON :: Value -> Parser Abbrev

parseJSONList :: Value -> Parser [Abbrev]

FromXML Abbrev

Defined in Network.AWS.Types

Methods

parseXML :: [Node] -> Either String Abbrev

ToLog Abbrev

Defined in Network.AWS.Types

Methods

build :: Abbrev -> Builder

FromText Abbrev

Defined in Network.AWS.Types

Methods

parser :: Parser Abbrev

ToText Abbrev

Defined in Network.AWS.Types

Methods

toText :: Abbrev -> Text

newtype ErrorCode

Constructors

ErrorCode Text

Instances

Eq ErrorCode

Defined in Network.AWS.Types

Methods

(==) :: ErrorCode -> ErrorCode -> Bool

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

Ord ErrorCode

Defined in Network.AWS.Types

Methods

compare :: ErrorCode -> ErrorCode -> Ordering

(<) :: ErrorCode -> ErrorCode -> Bool

(<=) :: ErrorCode -> ErrorCode -> Bool

(>) :: ErrorCode -> ErrorCode -> Bool

(>=) :: ErrorCode -> ErrorCode -> Bool

max :: ErrorCode -> ErrorCode -> ErrorCode

min :: ErrorCode -> ErrorCode -> ErrorCode

Show ErrorCode

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> ErrorCode -> ShowS

show :: ErrorCode -> String

showList :: [ErrorCode] -> ShowS

IsString ErrorCode

Defined in Network.AWS.Types

Methods

fromString :: String -> ErrorCode

FromJSON ErrorCode

Defined in Network.AWS.Types

Methods

parseJSON :: Value -> Parser ErrorCode

parseJSONList :: Value -> Parser [ErrorCode]

FromXML ErrorCode

Defined in Network.AWS.Types

Methods

parseXML :: [Node] -> Either String ErrorCode

ToLog ErrorCode

Defined in Network.AWS.Types

Methods

build :: ErrorCode -> Builder

FromText ErrorCode

Defined in Network.AWS.Types

Methods

parser :: Parser ErrorCode

ToText ErrorCode

Defined in Network.AWS.Types

Methods

toText :: ErrorCode -> Text

newtype ErrorMessage

Constructors

ErrorMessage Text

Instances

Eq ErrorMessage

Defined in Network.AWS.Types

Methods

(==) :: ErrorMessage -> ErrorMessage -> Bool

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

Ord ErrorMessage

Defined in Network.AWS.Types

Methods

compare :: ErrorMessage -> ErrorMessage -> Ordering

(<) :: ErrorMessage -> ErrorMessage -> Bool

(<=) :: ErrorMessage -> ErrorMessage -> Bool

(>) :: ErrorMessage -> ErrorMessage -> Bool

(>=) :: ErrorMessage -> ErrorMessage -> Bool

max :: ErrorMessage -> ErrorMessage -> ErrorMessage

min :: ErrorMessage -> ErrorMessage -> ErrorMessage

Show ErrorMessage

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> ErrorMessage -> ShowS

show :: ErrorMessage -> String

showList :: [ErrorMessage] -> ShowS

IsString ErrorMessage

Defined in Network.AWS.Types

Methods

fromString :: String -> ErrorMessage

FromJSON ErrorMessage

Defined in Network.AWS.Types

Methods

parseJSON :: Value -> Parser ErrorMessage

parseJSONList :: Value -> Parser [ErrorMessage]

FromXML ErrorMessage

Defined in Network.AWS.Types

Methods

parseXML :: [Node] -> Either String ErrorMessage

ToLog ErrorMessage

Defined in Network.AWS.Types

Methods

build :: ErrorMessage -> Builder

FromText ErrorMessage

Defined in Network.AWS.Types

Methods

parser :: Parser ErrorMessage

ToText ErrorMessage

Defined in Network.AWS.Types

Methods

toText :: ErrorMessage -> Text

newtype RequestId

Constructors

RequestId Text

Instances

Eq RequestId

Defined in Network.AWS.Types

Methods

(==) :: RequestId -> RequestId -> Bool

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

Ord RequestId

Defined in Network.AWS.Types

Methods

compare :: RequestId -> RequestId -> Ordering

(<) :: RequestId -> RequestId -> Bool

(<=) :: RequestId -> RequestId -> Bool

(>) :: RequestId -> RequestId -> Bool

(>=) :: RequestId -> RequestId -> Bool

max :: RequestId -> RequestId -> RequestId

min :: RequestId -> RequestId -> RequestId

Show RequestId

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> RequestId -> ShowS

show :: RequestId -> String

showList :: [RequestId] -> ShowS

IsString RequestId

Defined in Network.AWS.Types

Methods

fromString :: String -> RequestId

FromJSON RequestId

Defined in Network.AWS.Types

Methods

parseJSON :: Value -> Parser RequestId

parseJSONList :: Value -> Parser [RequestId]

FromXML RequestId

Defined in Network.AWS.Types

Methods

parseXML :: [Node] -> Either String RequestId

ToLog RequestId

Defined in Network.AWS.Types

Methods

build :: RequestId -> Builder

FromText RequestId

Defined in Network.AWS.Types

Methods

parser :: Parser RequestId

ToText RequestId

Defined in Network.AWS.Types

Methods

toText :: RequestId -> Text

data Error

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

Constructors

TransportError HttpException

SerializeError SerializeError

ServiceError ServiceError

Instances

Show Error

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

AsError Error

Defined in Network.AWS.Types

Methods

_Error :: Prism' Error Error

_TransportError :: Prism' Error HttpException

_SerializeError :: Prism' Error SerializeError

_ServiceError :: Prism' Error ServiceError

ToLog Error

Defined in Network.AWS.Types

Methods

build :: Error -> Builder

Exception Error

Defined in Network.AWS.Types

Methods

toException :: Error -> SomeException

fromException :: SomeException -> Maybe Error

displayException :: Error -> String

data SerializeError

Constructors

SerializeError'

Fields

• _serializeAbbrev :: !Abbrev
• _serializeStatus :: !Status
• _serializeBody :: Maybe LazyByteString

  The response body, if the response was not streaming.

• _serializeMessage :: String

Instances

Eq SerializeError

Defined in Network.AWS.Types

Methods

(==) :: SerializeError -> SerializeError -> Bool

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

Show SerializeError

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> SerializeError -> ShowS

show :: SerializeError -> String

showList :: [SerializeError] -> ShowS

ToLog SerializeError

Defined in Network.AWS.Types

Methods

build :: SerializeError -> Builder

data ServiceError

Constructors

ServiceError'

Fields

• _serviceAbbrev :: !Abbrev
• _serviceStatus :: !Status
• _serviceHeaders :: [Header]
• _serviceCode :: !ErrorCode
• _serviceMessage :: Maybe ErrorMessage
• _serviceRequestId :: Maybe RequestId

Instances

Eq ServiceError

Defined in Network.AWS.Types

Methods

(==) :: ServiceError -> ServiceError -> Bool

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

Show ServiceError

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> ServiceError -> ShowS

show :: ServiceError -> String

showList :: [ServiceError] -> ShowS

ToLog ServiceError

Defined in Network.AWS.Types

Methods

build :: ServiceError -> Builder

class AsError a where

Minimal complete definition

_Error

Methods

_Error :: Prism' a Error

A general Amazonka error.

_TransportError :: Prism' a HttpException

An error occured while communicating over HTTP with a remote service.

_SerializeError :: Prism' a SerializeError

A serialisation error occured when attempting to deserialise a response.

_ServiceError :: Prism' a ServiceError

A service specific error returned by the remote service.

Instances

AsError Error

Defined in Network.AWS.Types

Methods

_Error :: Prism' Error Error

_TransportError :: Prism' Error HttpException

_SerializeError :: Prism' Error SerializeError

_ServiceError :: Prism' Error ServiceError

AsError SomeException

Defined in Network.AWS.Types

Methods

_Error :: Prism' SomeException Error

_TransportError :: Prism' SomeException HttpException

_SerializeError :: Prism' SomeException SerializeError

_ServiceError :: Prism' SomeException ServiceError

data Endpoint

Constructors

Endpoint

Fields

• _endpointHost :: ByteString
• _endpointSecure :: !Bool
• _endpointPort :: !Int
• _endpointScope :: ByteString

Instances

Eq Endpoint

Defined in Network.AWS.Types

Methods

(==) :: Endpoint -> Endpoint -> Bool

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

Data Endpoint

Defined in Network.AWS.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Endpoint -> c Endpoint

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Endpoint

toConstr :: Endpoint -> Constr

dataTypeOf :: Endpoint -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Endpoint)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Endpoint)

gmapT :: (forall b. Data b => b -> b) -> Endpoint -> Endpoint

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Endpoint -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Endpoint -> r

gmapQ :: (forall d. Data d => d -> u) -> Endpoint -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Endpoint -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Endpoint -> m Endpoint

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Endpoint -> m Endpoint

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Endpoint -> m Endpoint

Show Endpoint

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> Endpoint -> ShowS

show :: Endpoint -> String

showList :: [Endpoint] -> ShowS

type Logger = LogLevel -> Builder -> IO ()

A function threaded through various request and serialisation routines to log informational and debug messages.

data Retry

Constants and predicates used to create a RetryPolicy.

Constructors

Exponential

Fields

• _retryBase :: !Double
• _retryGrowth :: !Int
• _retryAttempts :: !Int
• _retryCheck :: ServiceError -> Maybe Text

  Returns a descriptive name for logging if the request should be retried.

data Meta where

Signing algorithm specific metadata.

Constructors

Meta :: forall a. ToLog a => a -> Meta

Instances

ToLog Meta

Defined in Network.AWS.Types

Methods

build :: Meta -> Builder

data Signed a

A signed ClientRequest and associated metadata specific to the signing algorithm, tagged with the initial request type to be able to obtain the associated response, 'Rs a'.

Constructors

Signed

Fields

• sgMeta :: !Meta
• sgRequest :: !ClientRequest

type Algorithm a = Request a -> AuthEnv -> Region -> UTCTime -> Signed a

data Signer

Constructors

Signer

Fields

• sgSign :: forall a. Algorithm a
• sgPresign :: forall a. Seconds -> Algorithm a

data Service

Attributes and functions specific to an AWS service.

Constructors

Service

Fields

• _svcAbbrev :: !Abbrev
• _svcSigner :: !Signer
• _svcPrefix :: !ByteString
• _svcVersion :: !ByteString
• _svcEndpoint :: !(Region -> Endpoint)
• _svcTimeout :: !(Maybe Seconds)
• _svcCheck :: !(Status -> Bool)
• _svcError :: !(Status -> [Header] -> LazyByteString -> Error)
• _svcRetry :: !Retry

data Request a

An unsigned request.

Constructors

Request

Fields

• _rqService :: !Service
• _rqMethod :: !StdMethod
• _rqPath :: !RawPath
• _rqQuery :: !QueryString
• _rqHeaders :: ![Header]
• _rqBody :: !RqBody

type Response a = (Status, Rs a)

class AWSRequest a where

Specify how a request can be de/serialised.

Associated Types

type Rs a :: Type

The successful, expected response associated with a request.

Methods

request :: a -> Request a

response :: (MonadResource m, MonadThrow m) => Logger -> Service -> Proxy a -> ClientResponse -> m (Response a)

newtype AccessKey

An access key ID.

For example: AKIAIOSFODNN7EXAMPLE

See: Understanding and Getting Your Security Credentials.

Constructors

AccessKey ByteString

Instances

Eq AccessKey

Defined in Network.AWS.Types

Methods

(==) :: AccessKey -> AccessKey -> Bool

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

Data AccessKey

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

Defined in Network.AWS.Types

Methods

readsPrec :: Int -> ReadS AccessKey

readList :: ReadS [AccessKey]

readPrec :: ReadPrec AccessKey

readListPrec :: ReadPrec [AccessKey]

Show AccessKey

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> AccessKey -> ShowS

show :: AccessKey -> String

showList :: [AccessKey] -> ShowS

IsString AccessKey

Defined in Network.AWS.Types

Methods

fromString :: String -> AccessKey

Hashable AccessKey

Defined in Network.AWS.Types

Methods

hashWithSalt :: Int -> AccessKey -> Int

hash :: AccessKey -> Int

ToJSON AccessKey

Defined in Network.AWS.Types

Methods

toJSON :: AccessKey -> Value

toEncoding :: AccessKey -> Encoding

toJSONList :: [AccessKey] -> Value

toEncodingList :: [AccessKey] -> Encoding

FromJSON AccessKey

Defined in Network.AWS.Types

Methods

parseJSON :: Value -> Parser AccessKey

parseJSONList :: Value -> Parser [AccessKey]

FromXML AccessKey

Defined in Network.AWS.Types

Methods

parseXML :: [Node] -> Either String AccessKey

ToXML AccessKey

Defined in Network.AWS.Types

Methods

toXML :: AccessKey -> XML

ToLog AccessKey

Defined in Network.AWS.Types

Methods

build :: AccessKey -> Builder

ToQuery AccessKey

Defined in Network.AWS.Types

Methods

toQuery :: AccessKey -> QueryString

ToByteString AccessKey

Defined in Network.AWS.Types

Methods

toBS :: AccessKey -> ByteString

FromText AccessKey

Defined in Network.AWS.Types

Methods

parser :: Parser AccessKey

ToText AccessKey

Defined in Network.AWS.Types

Methods

toText :: AccessKey -> Text

NFData AccessKey

Defined in Network.AWS.Types

Methods

rnf :: AccessKey -> ()

newtype SecretKey

Secret access key credential.

For example: wJalrXUtnFEMIK7MDENGbPxRfiCYEXAMPLEKE

See: Understanding and Getting Your Security Credentials.

Constructors

SecretKey ByteString

Instances

Eq SecretKey

Defined in Network.AWS.Types

Methods

(==) :: SecretKey -> SecretKey -> Bool

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

Data SecretKey

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

Defined in Network.AWS.Types

Methods

fromString :: String -> SecretKey

Hashable SecretKey

Defined in Network.AWS.Types

Methods

hashWithSalt :: Int -> SecretKey -> Int

hash :: SecretKey -> Int

ToJSON SecretKey

Defined in Network.AWS.Types

Methods

toJSON :: SecretKey -> Value

toEncoding :: SecretKey -> Encoding

toJSONList :: [SecretKey] -> Value

toEncodingList :: [SecretKey] -> Encoding

FromJSON SecretKey

Defined in Network.AWS.Types

Methods

parseJSON :: Value -> Parser SecretKey

parseJSONList :: Value -> Parser [SecretKey]

FromXML SecretKey

Defined in Network.AWS.Types

Methods

parseXML :: [Node] -> Either String SecretKey

ToXML SecretKey

Defined in Network.AWS.Types

Methods

toXML :: SecretKey -> XML

ToByteString SecretKey

Defined in Network.AWS.Types

Methods

toBS :: SecretKey -> ByteString

FromText SecretKey

Defined in Network.AWS.Types

Methods

parser :: Parser SecretKey

ToText SecretKey

Defined in Network.AWS.Types

Methods

toText :: SecretKey -> Text

NFData SecretKey

Defined in Network.AWS.Types

Methods

rnf :: SecretKey -> ()

newtype SessionToken

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

See: Temporary Security Credentials.

Constructors

SessionToken ByteString

Instances

Eq SessionToken

Defined in Network.AWS.Types

Methods

(==) :: SessionToken -> SessionToken -> Bool

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

Data SessionToken

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

Defined in Network.AWS.Types

Methods

fromString :: String -> SessionToken

Hashable SessionToken

Defined in Network.AWS.Types

Methods

hashWithSalt :: Int -> SessionToken -> Int

hash :: SessionToken -> Int

ToJSON SessionToken

Defined in Network.AWS.Types

Methods

toJSON :: SessionToken -> Value

toEncoding :: SessionToken -> Encoding

toJSONList :: [SessionToken] -> Value

toEncodingList :: [SessionToken] -> Encoding

FromJSON SessionToken

Defined in Network.AWS.Types

Methods

parseJSON :: Value -> Parser SessionToken

parseJSONList :: Value -> Parser [SessionToken]

FromXML SessionToken

Defined in Network.AWS.Types

Methods

parseXML :: [Node] -> Either String SessionToken

ToXML SessionToken

Defined in Network.AWS.Types

Methods

toXML :: SessionToken -> XML

ToByteString SessionToken

Defined in Network.AWS.Types

Methods

toBS :: SessionToken -> ByteString

FromText SessionToken

Defined in Network.AWS.Types

Methods

parser :: Parser SessionToken

ToText SessionToken

Defined in Network.AWS.Types

Methods

toText :: SessionToken -> Text

NFData SessionToken

Defined in Network.AWS.Types

Methods

rnf :: SessionToken -> ()

data AuthEnv

The AuthN/AuthZ credential environment.

Constructors

AuthEnv

Fields

• _authAccess :: !AccessKey
• _authSecret :: !(Sensitive SecretKey)
• _authToken :: Maybe (Sensitive SessionToken)
• _authExpiry :: Maybe ISO8601

Instances

Eq AuthEnv

Defined in Network.AWS.Types

Methods

(==) :: AuthEnv -> AuthEnv -> Bool

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

Data AuthEnv

Defined in Network.AWS.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AuthEnv -> c AuthEnv

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AuthEnv

toConstr :: AuthEnv -> Constr

dataTypeOf :: AuthEnv -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AuthEnv)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AuthEnv)

gmapT :: (forall b. Data b => b -> b) -> AuthEnv -> AuthEnv

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AuthEnv -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AuthEnv -> r

gmapQ :: (forall d. Data d => d -> u) -> AuthEnv -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AuthEnv -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AuthEnv -> m AuthEnv

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AuthEnv -> m AuthEnv

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AuthEnv -> m AuthEnv

Show AuthEnv

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> AuthEnv -> ShowS

show :: AuthEnv -> String

showList :: [AuthEnv] -> ShowS

Generic AuthEnv

Defined in Network.AWS.Types

Associated Types

type Rep AuthEnv :: Type -> Type

Methods

from :: AuthEnv -> Rep AuthEnv x

to :: Rep AuthEnv x -> AuthEnv

FromJSON AuthEnv

Defined in Network.AWS.Types

Methods

parseJSON :: Value -> Parser AuthEnv

parseJSONList :: Value -> Parser [AuthEnv]

FromXML AuthEnv

Defined in Network.AWS.Types

Methods

parseXML :: [Node] -> Either String AuthEnv

ToLog AuthEnv

Defined in Network.AWS.Types

Methods

build :: AuthEnv -> Builder

NFData AuthEnv

Defined in Network.AWS.Types

Methods

rnf :: AuthEnv -> ()

type Rep AuthEnv

Defined in Network.AWS.Types

type Rep AuthEnv = D1 (MetaData "AuthEnv" "Network.AWS.Types" "amazonka-core-1.6.1-FZORvxk9gh76fGemhSgXQL" False) (C1 (MetaCons "AuthEnv" PrefixI True) ((S1 (MetaSel (Just "_authAccess") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 AccessKey) :*: S1 (MetaSel (Just "_authSecret") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Sensitive SecretKey))) :*: (S1 (MetaSel (Just "_authToken") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Sensitive SessionToken))) :*: S1 (MetaSel (Just "_authExpiry") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ISO8601)))))

data Auth

An authorisation environment containing AWS credentials, and potentially a reference which can be refreshed out-of-band as temporary credentials expire.

Constructors

Ref ThreadId (IORef AuthEnv)

Auth AuthEnv

Instances

ToLog Auth

Defined in Network.AWS.Types

Methods

build :: Auth -> Builder

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

Defined in Network.AWS.Types

Methods

minBound :: Region

maxBound :: Region

Enum Region

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

Defined in Network.AWS.Types

Methods

(==) :: Region -> Region -> Bool

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

Data Region

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

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

Defined in Network.AWS.Types

Methods

readsPrec :: Int -> ReadS Region

readList :: ReadS [Region]

readPrec :: ReadPrec Region

readListPrec :: ReadPrec [Region]

Show Region

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> Region -> ShowS

show :: Region -> String

showList :: [Region] -> ShowS

Generic Region

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

Defined in Network.AWS.Types

Methods

hashWithSalt :: Int -> Region -> Int

hash :: Region -> Int

ToJSON Region

Defined in Network.AWS.Types

Methods

toJSON :: Region -> Value

toEncoding :: Region -> Encoding

toJSONList :: [Region] -> Value

toEncodingList :: [Region] -> Encoding

FromJSON Region

Defined in Network.AWS.Types

Methods

parseJSON :: Value -> Parser Region

parseJSONList :: Value -> Parser [Region]

FromXML Region

Defined in Network.AWS.Types

Methods

parseXML :: [Node] -> Either String Region

ToXML Region

Defined in Network.AWS.Types

Methods

toXML :: Region -> XML

ToLog Region

Defined in Network.AWS.Types

Methods

build :: Region -> Builder

ToByteString Region

Defined in Network.AWS.Types

Methods

toBS :: Region -> ByteString

FromText Region

Defined in Network.AWS.Types

Methods

parser :: Parser Region

ToText Region

Defined in Network.AWS.Types

Methods

toText :: Region -> Text

NFData Region

Defined in Network.AWS.Types

Methods

rnf :: Region -> ()

type Rep Region

Defined in Network.AWS.Types

type Rep Region = D1 (MetaData "Region" "Network.AWS.Types" "amazonka-core-1.6.1-FZORvxk9gh76fGemhSgXQL" 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))))))

newtype Seconds

An integral value representing seconds.

Constructors

Seconds Int

Instances

Bounded Seconds

Defined in Network.AWS.Types

Methods

minBound :: Seconds

maxBound :: Seconds

Enum Seconds

Defined in Network.AWS.Types

Methods

succ :: Seconds -> Seconds

pred :: Seconds -> Seconds

toEnum :: Int -> Seconds

fromEnum :: Seconds -> Int

enumFrom :: Seconds -> [Seconds]

enumFromThen :: Seconds -> Seconds -> [Seconds]

enumFromTo :: Seconds -> Seconds -> [Seconds]

enumFromThenTo :: Seconds -> Seconds -> Seconds -> [Seconds]

Eq Seconds

Defined in Network.AWS.Types

Methods

(==) :: Seconds -> Seconds -> Bool

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

Integral Seconds

Defined in Network.AWS.Types

Methods

quot :: Seconds -> Seconds -> Seconds

rem :: Seconds -> Seconds -> Seconds

div :: Seconds -> Seconds -> Seconds

mod :: Seconds -> Seconds -> Seconds

quotRem :: Seconds -> Seconds -> (Seconds, Seconds)

divMod :: Seconds -> Seconds -> (Seconds, Seconds)

toInteger :: Seconds -> Integer

Data Seconds

Defined in Network.AWS.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Seconds -> c Seconds

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Seconds

toConstr :: Seconds -> Constr

dataTypeOf :: Seconds -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Seconds)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Seconds)

gmapT :: (forall b. Data b => b -> b) -> Seconds -> Seconds

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Seconds -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Seconds -> r

gmapQ :: (forall d. Data d => d -> u) -> Seconds -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Seconds -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Seconds -> m Seconds

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Seconds -> m Seconds

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Seconds -> m Seconds

Num Seconds

Defined in Network.AWS.Types

Methods

(+) :: Seconds -> Seconds -> Seconds

(-) :: Seconds -> Seconds -> Seconds

(*) :: Seconds -> Seconds -> Seconds

negate :: Seconds -> Seconds

abs :: Seconds -> Seconds

signum :: Seconds -> Seconds

fromInteger :: Integer -> Seconds

Ord Seconds

Defined in Network.AWS.Types

Methods

compare :: Seconds -> Seconds -> Ordering

(<) :: Seconds -> Seconds -> Bool

(<=) :: Seconds -> Seconds -> Bool

(>) :: Seconds -> Seconds -> Bool

(>=) :: Seconds -> Seconds -> Bool

max :: Seconds -> Seconds -> Seconds

min :: Seconds -> Seconds -> Seconds

Read Seconds

Defined in Network.AWS.Types

Methods

readsPrec :: Int -> ReadS Seconds

readList :: ReadS [Seconds]

readPrec :: ReadPrec Seconds

readListPrec :: ReadPrec [Seconds]

Real Seconds

Defined in Network.AWS.Types

Methods

toRational :: Seconds -> Rational

Show Seconds

Defined in Network.AWS.Types

Methods

showsPrec :: Int -> Seconds -> ShowS

show :: Seconds -> String

showList :: [Seconds] -> ShowS

Generic Seconds

Defined in Network.AWS.Types

Associated Types

type Rep Seconds :: Type -> Type

Methods

from :: Seconds -> Rep Seconds x

to :: Rep Seconds x -> Seconds

Hashable Seconds

Defined in Network.AWS.Types

Methods

hashWithSalt :: Int -> Seconds -> Int

hash :: Seconds -> Int

ToLog Seconds

Defined in Network.AWS.Types

Methods

build :: Seconds -> Builder

ToQuery Seconds

Defined in Network.AWS.Types

Methods

toQuery :: Seconds -> QueryString

ToByteString Seconds

Defined in Network.AWS.Types

Methods

toBS :: Seconds -> ByteString

FromText Seconds

Defined in Network.AWS.Types

Methods

parser :: Parser Seconds

ToText Seconds

Defined in Network.AWS.Types

Methods

toText :: Seconds -> Text

NFData Seconds

Defined in Network.AWS.Types

Methods

rnf :: Seconds -> ()

type Rep Seconds

Defined in Network.AWS.Types

type Rep Seconds = D1 (MetaData "Seconds" "Network.AWS.Types" "amazonka-core-1.6.1-FZORvxk9gh76fGemhSgXQL" True) (C1 (MetaCons "Seconds" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data HttpException

An exception which may be generated by this library

Since: http-client-0.5.0

Instances

Show HttpException

Defined in Network.HTTP.Client.Types

Methods

showsPrec :: Int -> HttpException -> ShowS

show :: HttpException -> String

showList :: [HttpException] -> ShowS

ToLog HttpException

Defined in Network.AWS.Data.Log

Methods

build :: HttpException -> Builder

Exception HttpException

Defined in Network.HTTP.Client.Types

Methods

toException :: HttpException -> SomeException

fromException :: SomeException -> Maybe HttpException

displayException :: HttpException -> String

data Wait a

Timing and acceptance criteria to check fulfillment of a remote operation.

class AWSRequest a => AWSPager a

Specify how an AWSRequest and it's associated Rs response can generate a subsequent request, if available.

Minimal complete definition

page

data RqBody

Invariant: only services that support _both_ standard and chunked signing expose RqBody as a parameter.

Instances

Show RqBody

Defined in Network.AWS.Data.Body

Methods

showsPrec :: Int -> RqBody -> ShowS

show :: RqBody -> String

showList :: [RqBody] -> ShowS

IsString RqBody

Defined in Network.AWS.Data.Body

Methods

fromString :: String -> RqBody

ToBody RqBody

Defined in Network.AWS.Data.Body

Methods

toBody :: RqBody -> RqBody

data HashedBody

An opaque request body containing a SHA256 hash.

Instances

Show HashedBody

Defined in Network.AWS.Data.Body

Methods

showsPrec :: Int -> HashedBody -> ShowS

show :: HashedBody -> String

showList :: [HashedBody] -> ShowS

IsString HashedBody

Defined in Network.AWS.Data.Body

Methods

fromString :: String -> HashedBody

ToHashedBody HashedBody

Defined in Network.AWS.Data.Body

Methods

toHashed :: HashedBody -> HashedBody

ToBody HashedBody

Defined in Network.AWS.Data.Body

Methods

toBody :: HashedBody -> RqBody

data ChunkedBody

An opaque request body which will be transmitted via Transfer-Encoding: chunked.

Invariant: Only services that support chunked encoding can accept a ChunkedBody. (Currently S3.) This is enforced by the type signatures emitted by the generator.

Instances

Show ChunkedBody

Defined in Network.AWS.Data.Body

Methods

showsPrec :: Int -> ChunkedBody -> ShowS

show :: ChunkedBody -> String

showList :: [ChunkedBody] -> ShowS

ToBody ChunkedBody

Defined in Network.AWS.Data.Body

Methods

toBody :: ChunkedBody -> RqBody

data RsBody

A streaming, exception safe response body.

Instances

Show RsBody

Defined in Network.AWS.Data.Body

Methods

showsPrec :: Int -> RsBody -> ShowS

show :: RsBody -> String

showList :: [RsBody] -> ShowS