Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.AWS.EnvT

Description

Concrete reader monad over Env

Its MonadAWS instance can be used in situations where you don't have or want your own app transformer:

import qualified Amazonka
import Amazonka.S3
import Control.Monad.AWS

main :: IO ()
main = do
  env <- newEnv discover
  runEnvT someAction env

someAction :: (MonadIO m, MonadAWS m) => m ()
someAction = do
  resp <- send newListBuckets
  liftIO $ print resp

Synopsis

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

Documentation

data EnvT m a Source #

Since: 0.1.0.0

Instances

Instances details

MonadTrans EnvT Source #
Instance details Defined in Control.Monad.AWS.EnvT Methods lift :: Monad m => m a -> EnvT m a #
MonadError e m => MonadError e (EnvT m) Source #
Instance details Defined in Control.Monad.AWS.EnvT Methods throwError :: e -> EnvT m a # catchError :: EnvT m a -> (e -> EnvT m a) -> EnvT m a #
Monad m => MonadReader Env (EnvT m) Source #
Instance details 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 #
MonadState s m => MonadState s (EnvT m) Source #
Instance details Defined in Control.Monad.AWS.EnvT Methods get :: EnvT m s # put :: s -> EnvT m () # state :: (s -> (a, s)) -> EnvT m a #
MonadWriter w m => MonadWriter w (EnvT m) Source #
Instance details Defined in Control.Monad.AWS.EnvT Methods writer :: (a, w) -> EnvT m a # tell :: w -> EnvT m () # listen :: EnvT m a -> EnvT m (a, w) # pass :: EnvT m (a, w -> w) -> EnvT m a #
MonadIO m => MonadAWS (EnvT m) Source #
Instance details Defined in Control.Monad.AWS.EnvT Methods sendEither :: (AWSRequest a, Typeable a, Typeable (AWSResponse a)) => a -> EnvT m (Either Error (AWSResponse a)) Source # awaitEither :: (AWSRequest a, Typeable a) => Wait a -> a -> EnvT m (Either Error Accept) Source # withAuth :: (AuthEnv -> EnvT m a) -> EnvT m a Source # localEnv :: (Env -> Env) -> EnvT m a -> EnvT m a Source #
MonadIO m => MonadIO (EnvT m) Source #
Instance details Defined in Control.Monad.AWS.EnvT Methods liftIO :: IO a -> EnvT m a #
Applicative m => Applicative (EnvT m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 #
MonadLogger m => MonadLogger (EnvT m) Source #
Instance details Defined in Control.Monad.AWS.EnvT Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> EnvT m () #
MonadLoggerIO m => MonadLoggerIO (EnvT m) Source #
Instance details Defined in Control.Monad.AWS.EnvT Methods askLoggerIO :: EnvT m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) #
MonadIO m => MonadResource (EnvT m) Source #
Instance details Defined in Control.Monad.AWS.EnvT Methods liftResourceT :: ResourceT IO a -> EnvT m a #
MonadUnliftIO m => MonadUnliftIO (EnvT m) Source #
Instance details 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 Source #

Since: 0.1.0.0