Safe Haskell	None
Language	Haskell2010

Antiope.Core

Synopsis

data Text
class ToText a where
- toText :: a -> Text
class FromText a where
- parser :: Parser a
fromText :: FromText a => Text -> Either String a
type AWS = AWST (ResourceT IO)
class (Functor m, Applicative m, Monad m, MonadIO m, MonadCatch m) => MonadAWS (m :: Type -> Type) where
- liftAWS :: AWS a -> m a
data Env
data Error
- = TransportError HttpException
- | SerializeError SerializeError
- | ServiceError ServiceError
newtype ErrorCode = ErrorCode Text
errorCode :: Text -> ErrorCode
class HasEnv a where
- environment :: Lens' a Env
- envRegion :: Lens' a Region
- envLogger :: Lens' a Logger
- envRetryCheck :: Lens' a (Int -> HttpException -> Bool)
- envOverride :: Lens' a (Dual (Endo Service))
- envManager :: Lens' a Manager
- envAuth :: Lens' a Auth
- envEC2 :: Getter a (IORef (Maybe Bool))
data LogLevel
- = Info
- | Error
- | Debug
- | Trace
data Region
- = NorthVirginia
- | Ohio
- | NorthCalifornia
- | Oregon
- | Montreal
- | Tokyo
- | Seoul
- | Mumbai
- | Singapore
- | Sydney
- | SaoPaulo
- | Ireland
- | London
- | Frankfurt
- | GovCloud
- | GovCloudFIPS
- | Beijing
catching :: MonadCatch m => Getting (First a) SomeException a -> m r -> (a -> m r) -> m r
runAWS :: (MonadResource m, HasEnv r) => r -> AWS a -> m a
runResourceT :: MonadUnliftIO m => ResourceT m a -> m a
send :: (MonadAWS m, AWSRequest a) => a -> m (Rs a)
sinkMD5 :: Monad m => ConduitM ByteString o m (Digest MD5)
sinkSHA256 :: Monad m => ConduitM ByteString o m (Digest SHA256)
class MonadIO m => MonadResource (m :: Type -> Type)
runAws :: (MonadResource m, HasEnv r) => r -> AWS a -> m a
runAwsThe :: forall m r e s a. (MonadUnliftIO m, MonadReader r m, HasAny s r r e e, HasEnv e) => AWS a -> m a
runAwsTyped :: forall m r a. (MonadUnliftIO m, MonadReader r m, HasType Env r) => AWS a -> m a
runResAws :: (MonadUnliftIO m, HasEnv r) => r -> AWS a -> m a
runResAwsThe :: forall m r e s a. (MonadResource m, MonadReader r m, HasAny s r r e e, HasEnv e) => AWS a -> m a
runResAwsTyped :: forall m r a. (MonadResource m, MonadReader r m, HasType Env r) => AWS a -> m a

Documentation

data Text #

A space efficient, packed, unboxed Unicode text type.

Instances

ToText Text
Instance details Defined in Network.AWS.Data.Text Methods toText :: Text -> Text #
FromText Text
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser Text #
ToBody Text
Instance details Defined in Network.AWS.Data.Body Methods toBody :: Text -> RqBody #
ToHashedBody Text
Instance details Defined in Network.AWS.Data.Body Methods toHashed :: Text -> HashedBody #
Chunk Text
Instance details Defined in Data.Attoparsec.Internal.Types Associated Types type ChunkElem Text :: Type # Methods nullChunk :: Text -> Bool # pappendChunk :: State Text -> Text -> State Text # atBufferEnd :: Text -> State Text -> Pos # bufferElemAt :: Text -> Pos -> State Text -> Maybe (ChunkElem Text, Int) # chunkElemToChar :: Text -> ChunkElem Text -> Char #
Ixed Text
Instance details Defined in Control.Lens.At Methods ix :: Index Text -> Traversal' Text (IxValue Text) #
AsEmpty Text
Instance details Defined in Control.Lens.Empty Methods _Empty :: Prism' Text () #
Reversing Text
Instance details Defined in Control.Lens.Internal.Iso Methods reversing :: Text -> Text #
SemiSequence Text
Instance details Defined in Data.Sequences Associated Types type Index Text :: Type # Methods intersperse :: Element Text -> Text -> Text # reverse :: Text -> Text # find :: (Element Text -> Bool) -> Text -> Maybe (Element Text) # sortBy :: (Element Text -> Element Text -> Ordering) -> Text -> Text # cons :: Element Text -> Text -> Text # snoc :: Text -> Element Text -> Text #
IsSequence Text
Instance details Defined in Data.Sequences Methods fromList :: [Element Text] -> Text # lengthIndex :: Text -> Index Text # break :: (Element Text -> Bool) -> Text -> (Text, Text) # span :: (Element Text -> Bool) -> Text -> (Text, Text) # dropWhile :: (Element Text -> Bool) -> Text -> Text # takeWhile :: (Element Text -> Bool) -> Text -> Text # splitAt :: Index Text -> Text -> (Text, Text) # unsafeSplitAt :: Index Text -> Text -> (Text, Text) # take :: Index Text -> Text -> Text # unsafeTake :: Index Text -> Text -> Text # drop :: Index Text -> Text -> Text # unsafeDrop :: Index Text -> Text -> Text # dropEnd :: Index Text -> Text -> Text # partition :: (Element Text -> Bool) -> Text -> (Text, Text) # uncons :: Text -> Maybe (Element Text, Text) # unsnoc :: Text -> Maybe (Text, Element Text) # filter :: (Element Text -> Bool) -> Text -> Text # filterM :: Monad m => (Element Text -> m Bool) -> Text -> m Text # replicate :: Index Text -> Element Text -> Text # replicateM :: Monad m => Index Text -> m (Element Text) -> m Text # groupBy :: (Element Text -> Element Text -> Bool) -> Text -> [Text] # groupAllOn :: Eq b => (Element Text -> b) -> Text -> [Text] # subsequences :: Text -> [Text] # permutations :: Text -> [Text] # tailEx :: Text -> Text # tailMay :: Text -> Maybe Text # initEx :: Text -> Text # initMay :: Text -> Maybe Text # unsafeTail :: Text -> Text # unsafeInit :: Text -> Text # index :: Text -> Index Text -> Maybe (Element Text) # indexEx :: Text -> Index Text -> Element Text # unsafeIndex :: Text -> Index Text -> Element Text # splitWhen :: (Element Text -> Bool) -> Text -> [Text] #
Textual Text
Instance details Defined in Data.Sequences Methods words :: Text -> [Text] # unwords :: (Element seq ~ Text, MonoFoldable seq) => seq -> Text # lines :: Text -> [Text] # unlines :: (Element seq ~ Text, MonoFoldable seq) => seq -> Text # toLower :: Text -> Text # toUpper :: Text -> Text # toCaseFold :: Text -> Text # breakWord :: Text -> (Text, Text) # breakLine :: Text -> (Text, Text) #
MonoFunctor Text
Instance details Defined in Data.MonoTraversable Methods omap :: (Element Text -> Element Text) -> Text -> Text #
MonoFoldable Text
Instance details Defined in Data.MonoTraversable Methods ofoldMap :: Monoid m => (Element Text -> m) -> Text -> m # ofoldr :: (Element Text -> b -> b) -> b -> Text -> b # ofoldl' :: (a -> Element Text -> a) -> a -> Text -> a # otoList :: Text -> [Element Text] # oall :: (Element Text -> Bool) -> Text -> Bool # oany :: (Element Text -> Bool) -> Text -> Bool # onull :: Text -> Bool # olength :: Text -> Int # olength64 :: Text -> Int64 # ocompareLength :: Integral i => Text -> i -> Ordering # otraverse_ :: Applicative f => (Element Text -> f b) -> Text -> f () # ofor_ :: Applicative f => Text -> (Element Text -> f b) -> f () # omapM_ :: Applicative m => (Element Text -> m ()) -> Text -> m () # oforM_ :: Applicative m => Text -> (Element Text -> m ()) -> m () # ofoldlM :: Monad m => (a -> Element Text -> m a) -> a -> Text -> m a # ofoldMap1Ex :: Semigroup m => (Element Text -> m) -> Text -> m # ofoldr1Ex :: (Element Text -> Element Text -> Element Text) -> Text -> Element Text # ofoldl1Ex' :: (Element Text -> Element Text -> Element Text) -> Text -> Element Text # headEx :: Text -> Element Text # lastEx :: Text -> Element Text # unsafeHead :: Text -> Element Text # unsafeLast :: Text -> Element Text # maximumByEx :: (Element Text -> Element Text -> Ordering) -> Text -> Element Text # minimumByEx :: (Element Text -> Element Text -> Ordering) -> Text -> Element Text # oelem :: Element Text -> Text -> Bool # onotElem :: Element Text -> Text -> Bool #
MonoTraversable Text
Instance details Defined in Data.MonoTraversable Methods otraverse :: Applicative f => (Element Text -> f (Element Text)) -> Text -> f Text # omapM :: Applicative m => (Element Text -> m (Element Text)) -> Text -> m Text #
MonoPointed Text
Instance details Defined in Data.MonoTraversable Methods opoint :: Element Text -> Text #
GrowingAppend Text
Instance details Defined in Data.MonoTraversable
Strict Text Text
Instance details Defined in Control.Lens.Iso Methods strict :: Iso' Text Text0 #
LazySequence Text Text
Instance details Defined in Data.Sequences Methods toChunks :: Text -> [Text0] # fromChunks :: [Text0] -> Text # toStrict :: Text -> Text0 # fromStrict :: Text0 -> Text #
Utf8 Text ByteString
Instance details Defined in Data.Sequences Methods encodeUtf8 :: Text -> ByteString # decodeUtf8 :: ByteString -> Text #
(a ~ Char, b ~ Char) => Each Text Text a b	`each` :: `Traversal` `Text` `Text` `Char` `Char`
Instance details Defined in Control.Lens.Each Methods each :: Traversal Text Text a b #
Cons Text Text Char Char
Instance details Defined in Control.Lens.Cons Methods _Cons :: Prism Text Text (Char, Text) (Char, Text) #
Snoc Text Text Char Char
Instance details Defined in Control.Lens.Cons Methods _Snoc :: Prism Text Text (Text, Char) (Text, Char) #
ToBody (HashMap Text Value)
Instance details Defined in Network.AWS.Data.Body Methods toBody :: HashMap Text Value -> RqBody #
ToHashedBody (HashMap Text Value)
Instance details Defined in Network.AWS.Data.Body Methods toHashed :: HashMap Text Value -> HashedBody #
type State Text
Instance details Defined in Data.Attoparsec.Internal.Types type State Text = Buffer
type ChunkElem Text
Instance details Defined in Data.Attoparsec.Internal.Types type ChunkElem Text = Char
type Item Text
Instance details Defined in Data.Text type Item Text = Char
type Index Text
Instance details Defined in Control.Lens.At type Index Text = Int
type IxValue Text
Instance details Defined in Control.Lens.At type IxValue Text = Char
type Index Text
Instance details Defined in Data.Sequences type Index Text = Int
type Element Text
Instance details Defined in Data.MonoTraversable type Element Text = Char

class ToText a where #

Methods

toText :: a -> Text #

Instances

ToText Bool
Instance details Defined in Network.AWS.Data.Text Methods toText :: Bool -> Text #
ToText Char
Instance details Defined in Network.AWS.Data.Text Methods toText :: Char -> Text #
ToText Double
Instance details Defined in Network.AWS.Data.Text Methods toText :: Double -> Text #
ToText Int
Instance details Defined in Network.AWS.Data.Text Methods toText :: Int -> Text #
ToText Int64
Instance details Defined in Network.AWS.Data.Text Methods toText :: Int64 -> Text #
ToText Integer
Instance details Defined in Network.AWS.Data.Text Methods toText :: Integer -> Text #
ToText Natural
Instance details Defined in Network.AWS.Data.Text Methods toText :: Natural -> Text #
ToText ByteString
Instance details Defined in Network.AWS.Data.Text Methods toText :: ByteString -> Text #
ToText Scientific
Instance details Defined in Network.AWS.Data.Text Methods toText :: Scientific -> Text #
ToText Text
Instance details Defined in Network.AWS.Data.Text Methods toText :: Text -> Text #
ToText Dynamic
Instance details Defined in Network.AWS.EC2.Metadata Methods toText :: Dynamic -> Text #
ToText Metadata
Instance details Defined in Network.AWS.EC2.Metadata Methods toText :: Metadata -> Text #
ToText Mapping
Instance details Defined in Network.AWS.EC2.Metadata Methods toText :: Mapping -> Text #
ToText Interface
Instance details Defined in Network.AWS.EC2.Metadata Methods toText :: Interface -> Text #
ToText Info
Instance details Defined in Network.AWS.EC2.Metadata Methods toText :: Info -> Text #
ToText Seconds
Instance details Defined in Network.AWS.Types Methods toText :: Seconds -> Text #
ToText Region
Instance details Defined in Network.AWS.Types Methods toText :: Region -> Text #
ToText SessionToken
Instance details Defined in Network.AWS.Types Methods toText :: SessionToken -> Text #
ToText SecretKey
Instance details Defined in Network.AWS.Types Methods toText :: SecretKey -> Text #
ToText AccessKey
Instance details Defined in Network.AWS.Types Methods toText :: AccessKey -> Text #
ToText LogLevel
Instance details Defined in Network.AWS.Types Methods toText :: LogLevel -> Text #
ToText RequestId
Instance details Defined in Network.AWS.Types Methods toText :: RequestId -> Text #
ToText ErrorMessage
Instance details Defined in Network.AWS.Types Methods toText :: ErrorMessage -> Text #
ToText ErrorCode
Instance details Defined in Network.AWS.Types Methods toText :: ErrorCode -> Text #
ToText Abbrev
Instance details Defined in Network.AWS.Types Methods toText :: Abbrev -> Text #
ToText Base64
Instance details Defined in Network.AWS.Data.Base64 Methods toText :: Base64 -> Text #
ToText Nat
Instance details Defined in Network.AWS.Data.Numeric Methods toText :: Nat -> Text #
ToText RFC822
Instance details Defined in Network.AWS.Data.Time Methods toText :: RFC822 -> Text #
ToText ISO8601
Instance details Defined in Network.AWS.Data.Time Methods toText :: ISO8601 -> Text #
ToText BasicTime
Instance details Defined in Network.AWS.Data.Time Methods toText :: BasicTime -> Text #
ToText AWSTime
Instance details Defined in Network.AWS.Data.Time Methods toText :: AWSTime -> Text #
ToText POSIX
Instance details Defined in Network.AWS.Data.Time Methods toText :: POSIX -> Text #
ToText String
Instance details Defined in Network.AWS.Data.Text Methods toText :: String -> Text #
ToText StdMethod
Instance details Defined in Network.AWS.Data.Text Methods toText :: StdMethod -> Text #
ToText (Digest a)
Instance details Defined in Network.AWS.Data.Text Methods toText :: Digest a -> Text #
ToText a => ToText (Sensitive a)
Instance details Defined in Network.AWS.Data.Sensitive Methods toText :: Sensitive a -> Text #
ToText a => ToText (CI a)
Instance details Defined in Network.AWS.Data.Text Methods toText :: CI a -> Text #

class FromText a where #

Methods

parser :: Parser a #

Instances

FromText Bool
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser Bool #
FromText Char
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser Char #
FromText Double
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser Double #
FromText Int
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser Int #
FromText Int64
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser Int64 #
FromText Integer
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser Integer #
FromText Natural
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser Natural #
FromText ByteString
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser ByteString #
FromText Scientific
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser Scientific #
FromText Text
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser Text #
FromText Seconds
Instance details Defined in Network.AWS.Types Methods parser :: Parser Seconds #
FromText Region
Instance details Defined in Network.AWS.Types Methods parser :: Parser Region #
FromText SessionToken
Instance details Defined in Network.AWS.Types Methods parser :: Parser SessionToken #
FromText SecretKey
Instance details Defined in Network.AWS.Types Methods parser :: Parser SecretKey #
FromText AccessKey
Instance details Defined in Network.AWS.Types Methods parser :: Parser AccessKey #
FromText LogLevel
Instance details Defined in Network.AWS.Types Methods parser :: Parser LogLevel #
FromText RequestId
Instance details Defined in Network.AWS.Types Methods parser :: Parser RequestId #
FromText ErrorMessage
Instance details Defined in Network.AWS.Types Methods parser :: Parser ErrorMessage #
FromText ErrorCode
Instance details Defined in Network.AWS.Types Methods parser :: Parser ErrorCode #
FromText Abbrev
Instance details Defined in Network.AWS.Types Methods parser :: Parser Abbrev #
FromText Base64
Instance details Defined in Network.AWS.Data.Base64 Methods parser :: Parser Base64 #
FromText Nat
Instance details Defined in Network.AWS.Data.Numeric Methods parser :: Parser Nat #
FromText RFC822
Instance details Defined in Network.AWS.Data.Time Methods parser :: Parser RFC822 #
FromText ISO8601
Instance details Defined in Network.AWS.Data.Time Methods parser :: Parser ISO8601 #
FromText BasicTime
Instance details Defined in Network.AWS.Data.Time Methods parser :: Parser BasicTime #
FromText AWSTime
Instance details Defined in Network.AWS.Data.Time Methods parser :: Parser AWSTime #
FromText POSIX
Instance details Defined in Network.AWS.Data.Time Methods parser :: Parser POSIX #
FromText String
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser String #
FromText StdMethod
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser StdMethod #
FromText a => FromText (Sensitive a)
Instance details Defined in Network.AWS.Data.Sensitive Methods parser :: Parser (Sensitive a) #
(FoldCase a, FromText a) => FromText (CI a)
Instance details Defined in Network.AWS.Data.Text Methods parser :: Parser (CI a) #

fromText :: FromText a => Text -> Either String a #

type AWS = AWST (ResourceT IO) #

A specialisation of the AWST transformer.

class (Functor m, Applicative m, Monad m, MonadIO m, MonadCatch m) => MonadAWS (m :: Type -> Type) 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
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> AWS a #
MonadAWS m => MonadAWS (ResourceT m) Source #
Instance details Defined in Antiope.Orphans Methods liftAWS :: AWS a -> ResourceT m a #
MonadAWS m => MonadAWS (MaybeT m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> MaybeT m a #
MonadAWS m => MonadAWS (ListT m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> ListT m a #
MonadAWS m => MonadAWS (IdentityT m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> IdentityT m a #
(Monoid w, MonadAWS m) => MonadAWS (WriterT w m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> WriterT w m a #
(Monoid w, MonadAWS m) => MonadAWS (WriterT w m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> WriterT w m a #
MonadAWS m => MonadAWS (StateT s m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> StateT s m a #
MonadAWS m => MonadAWS (StateT s m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> StateT s m a #
MonadAWS m => MonadAWS (ExceptT e m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> ExceptT e m a #
MonadAWS m => MonadAWS (ReaderT r m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> ReaderT r m a #
(Monoid w, MonadAWS m) => MonadAWS (RWST r w s m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> RWST r w s m a #
(Monoid w, MonadAWS m) => MonadAWS (RWST r w s m)
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> RWST r w s m a #

data Env #

The environment containing the parameters required to make AWS requests.

Instances

MonadAWS AWS
Instance details Defined in Network.AWS Methods liftAWS :: AWS a -> AWS a #
HasEnv Env
Instance details 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)) #
ToLog Env
Instance details Defined in Network.AWS.Env Methods build :: Env -> Builder #

data Error #

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

Constructors

TransportError HttpException
SerializeError SerializeError
ServiceError ServiceError

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 #

newtype ErrorCode #

Constructors

ErrorCode Text

Instances

Eq ErrorCode
Instance details Defined in Network.AWS.Types Methods (==) :: ErrorCode -> ErrorCode -> Bool # (/=) :: ErrorCode -> ErrorCode -> Bool #
Ord ErrorCode
Instance details 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
Instance details Defined in Network.AWS.Types Methods showsPrec :: Int -> ErrorCode -> ShowS # show :: ErrorCode -> String # showList :: [ErrorCode] -> ShowS #
IsString ErrorCode
Instance details Defined in Network.AWS.Types Methods fromString :: String -> ErrorCode #
FromJSON ErrorCode
Instance details Defined in Network.AWS.Types Methods parseJSON :: Value -> Parser ErrorCode # parseJSONList :: Value -> Parser [ErrorCode] #
ToText ErrorCode
Instance details Defined in Network.AWS.Types Methods toText :: ErrorCode -> Text #
FromText ErrorCode
Instance details Defined in Network.AWS.Types Methods parser :: Parser ErrorCode #
ToLog ErrorCode
Instance details Defined in Network.AWS.Types Methods build :: ErrorCode -> Builder #
FromXML ErrorCode
Instance details Defined in Network.AWS.Types Methods parseXML :: [Node] -> Either String ErrorCode #

errorCode :: Text -> ErrorCode #

Construct an ErrorCode.

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
Instance details 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)) #

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
Instance details 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
Instance details Defined in Network.AWS.Types Methods (==) :: LogLevel -> LogLevel -> Bool # (/=) :: LogLevel -> LogLevel -> Bool #
Data LogLevel
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) -> 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
Instance details 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
Instance details Defined in Network.AWS.Types Methods showsPrec :: Int -> LogLevel -> ShowS # show :: LogLevel -> String # showList :: [LogLevel] -> ShowS #
ToText LogLevel
Instance details Defined in Network.AWS.Types Methods toText :: LogLevel -> Text #
FromText LogLevel
Instance details Defined in Network.AWS.Types Methods parser :: Parser LogLevel #
ToByteString LogLevel
Instance details Defined in Network.AWS.Types Methods toBS :: LogLevel -> ByteString #

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.1-2ZAXvPEIjo11diOXRrGh7K" 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))))))

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

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

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

Send a request, returning the associated response if successful.

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.

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

Minimal complete definition

liftResourceT

Instances

MonadIO m => MonadResource (ResourceT m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> ResourceT m a #
MonadResource m => MonadResource (MaybeT m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> MaybeT m a #
MonadResource m => MonadResource (ListT m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> ListT m a #
MonadResource m => MonadResource (AWST' r m)
Instance details Defined in Control.Monad.Trans.AWS Methods liftResourceT :: ResourceT IO a -> AWST' r m a #
MonadResource m => MonadResource (IdentityT m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> IdentityT m a #
(Monoid w, MonadResource m) => MonadResource (WriterT w m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> WriterT w m a #
(Monoid w, MonadResource m) => MonadResource (WriterT w m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> WriterT w m a #
MonadResource m => MonadResource (StateT s m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> StateT s m a #
MonadResource m => MonadResource (StateT s m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> StateT s m a #
MonadResource m => MonadResource (ExceptT e m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> ExceptT e m a #
MonadResource m => MonadResource (ReaderT r m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> ReaderT r m a #
MonadResource m => MonadResource (ConduitT i o m)
Instance details Defined in Data.Conduit.Internal.Conduit Methods liftResourceT :: ResourceT IO a -> ConduitT i o m a #
MonadResource m => MonadResource (ContT r m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> ContT r m a #
(Monoid w, MonadResource m) => MonadResource (RWST r w s m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> RWST r w s m a #
(Monoid w, MonadResource m) => MonadResource (RWST r w s m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods liftResourceT :: ResourceT IO a -> RWST r w s m a #
MonadResource m => MonadResource (Pipe l i o u m)
Instance details Defined in Data.Conduit.Internal.Pipe Methods liftResourceT :: ResourceT IO a -> Pipe l i o u m a #

runAws :: (MonadResource m, HasEnv r) => r -> AWS a -> m a Source #

runAwsThe :: forall m r e s a. (MonadUnliftIO m, MonadReader r m, HasAny s r r e e, HasEnv e) => AWS a -> m a Source #

runAwsTyped :: forall m r a. (MonadUnliftIO m, MonadReader r m, HasType Env r) => AWS a -> m a Source #

runResAws :: (MonadUnliftIO m, HasEnv r) => r -> AWS a -> m a Source #

runResAwsThe :: forall m r e s a. (MonadResource m, MonadReader r m, HasAny s r r e e, HasEnv e) => AWS a -> m a Source #

runResAwsTyped :: forall m r a. (MonadResource m, MonadReader r m, HasType Env r) => AWS a -> m a Source #