Control.Monad.AWS

Documentation

class Monad m => MonadAWS m where

Typeclass for making AWS requests via Amazonka

For out-of-the-box transformers, see:

• Control.Monad.AWS.EnvT
• Control.Monad.AWS.MockT

For DerivingVia usage, see:

• Control.Monad.AWS.ViaReader
• Control.Monad.AWS.ViaMock

Methods

sendEither :: (AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> m (Either Error (AWSResponse a))

awaitEither :: (AWSRequest a, Typeable a) => Wait a -> a -> m (Either Error Accept)

Instances

MonadIO m => MonadAWS (EnvT m)

Defined in Control.Monad.AWS.EnvT

Methods

sendEither :: (AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> EnvT m (Either Error (AWSResponse a))

awaitEither :: (AWSRequest a, Typeable a) => Wait a -> a -> EnvT m (Either Error Accept)

MonadIO m => MonadAWS (MockT m)

Defined in Control.Monad.AWS.MockT

Methods

sendEither :: (AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> MockT m (Either Error (AWSResponse a))

awaitEither :: (AWSRequest a, Typeable a) => Wait a -> a -> MockT m (Either Error Accept)

(MonadIO m, MonadReader env m, HasMatchers env) => MonadAWS (MockAWS m)

Defined in Control.Monad.AWS.ViaMock

Methods

sendEither :: (AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> MockAWS m (Either Error (AWSResponse a))

awaitEither :: (AWSRequest a, Typeable a) => Wait a -> a -> MockAWS m (Either Error Accept)

(MonadResource m, MonadReader env m, HasEnv env) => MonadAWS (ReaderAWS m)

Defined in Control.Monad.AWS.ViaReader

Methods

sendEither :: (AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> ReaderAWS m (Either Error (AWSResponse a))

awaitEither :: (AWSRequest a, Typeable a) => Wait a -> a -> ReaderAWS m (Either Error Accept)

send :: (MonadIO m, MonadAWS m, AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> m (AWSResponse a)

Version of send built on our sendEither

paginate :: (MonadIO m, MonadAWS m, AWSPager a, Typeable a, Typeable (AWSResponse a)) => a -> ConduitM () (AWSResponse a) m ()

Version of paginate built on our paginateEither

paginateEither :: (MonadAWS m, AWSPager a, Typeable a, Typeable (AWSResponse a)) => a -> ConduitM () (AWSResponse a) m (Either Error ())

Version of paginateEither built on our sendEither

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

Version of await built on our awaitEither

Concrete transformers

data EnvT m a

Instances

Monad m => MonadReader Env (EnvT m)

Defined in Control.Monad.AWS.EnvT

Methods

ask :: EnvT m Env

local :: (Env -> Env) -> EnvT m a -> EnvT m a

reader :: (Env -> a) -> EnvT m a

MonadIO m => MonadAWS (EnvT m)

Defined in Control.Monad.AWS.EnvT

Methods

sendEither :: (AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> EnvT m (Either Error (AWSResponse a))

awaitEither :: (AWSRequest a, Typeable a) => Wait a -> a -> EnvT m (Either Error Accept)

MonadIO m => MonadIO (EnvT m)

Defined in Control.Monad.AWS.EnvT

Methods

liftIO :: IO a -> EnvT m a

Applicative m => Applicative (EnvT m)

Defined in Control.Monad.AWS.EnvT

Methods

pure :: a -> EnvT m a

(<*>) :: EnvT m (a -> b) -> EnvT m a -> EnvT m b

liftA2 :: (a -> b -> c) -> EnvT m a -> EnvT m b -> EnvT m c

(*>) :: EnvT m a -> EnvT m b -> EnvT m b

(<*) :: EnvT m a -> EnvT m b -> EnvT m a

Functor m => Functor (EnvT m)

Defined in Control.Monad.AWS.EnvT

Methods

fmap :: (a -> b) -> EnvT m a -> EnvT m b

(<$) :: a -> EnvT m b -> EnvT m a

Monad m => Monad (EnvT m)

Defined in Control.Monad.AWS.EnvT

Methods

(>>=) :: EnvT m a -> (a -> EnvT m b) -> EnvT m b

(>>) :: EnvT m a -> EnvT m b -> EnvT m b

return :: a -> EnvT m a

MonadIO m => MonadResource (EnvT m)

Defined in Control.Monad.AWS.EnvT

Methods

liftResourceT :: ResourceT IO a -> EnvT m a

MonadUnliftIO m => MonadUnliftIO (EnvT m)

Defined in Control.Monad.AWS.EnvT

Methods

withRunInIO :: ((forall a. EnvT m a -> IO a) -> IO b) -> EnvT m b

runEnvT :: MonadUnliftIO m => EnvT m a -> Env -> m a

data MockT m a

Instances

Monad m => MonadReader Matchers (MockT m)

Defined in Control.Monad.AWS.MockT

Methods

ask :: MockT m Matchers

local :: (Matchers -> Matchers) -> MockT m a -> MockT m a

reader :: (Matchers -> a) -> MockT m a

MonadIO m => MonadAWS (MockT m)

Defined in Control.Monad.AWS.MockT

Methods

sendEither :: (AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> MockT m (Either Error (AWSResponse a))

awaitEither :: (AWSRequest a, Typeable a) => Wait a -> a -> MockT m (Either Error Accept)

MonadIO m => MonadIO (MockT m)

Defined in Control.Monad.AWS.MockT

Methods

liftIO :: IO a -> MockT m a

Applicative m => Applicative (MockT m)

Defined in Control.Monad.AWS.MockT

Methods

pure :: a -> MockT m a

(<*>) :: MockT m (a -> b) -> MockT m a -> MockT m b

liftA2 :: (a -> b -> c) -> MockT m a -> MockT m b -> MockT m c

(*>) :: MockT m a -> MockT m b -> MockT m b

(<*) :: MockT m a -> MockT m b -> MockT m a

Functor m => Functor (MockT m)

Defined in Control.Monad.AWS.MockT

Methods

fmap :: (a -> b) -> MockT m a -> MockT m b

(<$) :: a -> MockT m b -> MockT m a

Monad m => Monad (MockT m)

Defined in Control.Monad.AWS.MockT

Methods

(>>=) :: MockT m a -> (a -> MockT m b) -> MockT m b

(>>) :: MockT m a -> MockT m b -> MockT m b

return :: a -> MockT m a

MonadUnliftIO m => MonadUnliftIO (MockT m)

Defined in Control.Monad.AWS.MockT

Methods

withRunInIO :: ((forall a. MockT m a -> IO a) -> IO b) -> MockT m b

runMockT :: MockT m a -> m a