Copyright | © 2017 All rights reserved. |
---|---|
License | GPL-3 |
Maintainer | Evan Cofsky <> |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
- type AWSProcessT m a b = AWSMachineT m (Is a) b
- type AWSSourceT m b = forall k. AWSMachineT m k b
- type RequestMod a = a -> a
- type M m = (MonadBaseControl IO m, MonadAWS (AWST' Env (ResourceT m)))
- withAWS :: (MonadCatch m, MonadIO m, M m) => Credentials -> Logger -> Region -> AWSProcessT m a b -> m [b]
- awsSource :: (AWSRequest a, Foldable f) => GetResponse f a c -> [RequestMod a] -> a -> AWSSourceT m c
- pagedSource :: (Foldable f, AWSPager a) => GetResponse f a c -> [RequestMod a] -> a -> AWSSourceT m c
- liftAWS :: MonadAWS m => forall a. AWS a -> m a
- liftIO :: MonadIO m => forall a. IO a -> m a
- class Monad m => MonadIO m where
- class (Functor m, Applicative m, Monad m, MonadIO m, MonadCatch m) => MonadAWS m where
- liftAWS :: AWS a -> m a
- class MonadBase b m => MonadBaseControl b m | m -> b
- data AWST' r m a :: * -> (* -> *) -> * -> *
- data Env :: *
- data ResourceT m a :: (* -> *) -> * -> *
- class MonadThrow m => MonadCatch m
Documentation
type AWSProcessT m a b = AWSMachineT m (Is a) b Source #
A process transducing a stream of AWS values.
type AWSSourceT m b = forall k. AWSMachineT m k b Source #
A stream of AWS values.
type RequestMod a = a -> a Source #
Modifies an AWSRequest
after the smart constructor has created
it.
type M m = (MonadBaseControl IO m, MonadAWS (AWST' Env (ResourceT m))) Source #
The base monad constraints for an AWSMachineT
.
withAWS :: (MonadCatch m, MonadIO m, M m) => Credentials -> Logger -> Region -> AWSProcessT m a b -> m [b] Source #
Run an AWSProcessT.
awsSource :: (AWSRequest a, Foldable f) => GetResponse f a c -> [RequestMod a] -> a -> AWSSourceT m c Source #
:: (Foldable f, AWSPager a) | |
=> GetResponse f a c | Accessor for the list of ∈ in the response. |
-> [RequestMod a] | Request modifiers |
-> a | The initial request. |
-> AWSSourceT m c | A |
Stream an AWSPager
instance.
class Monad m => MonadIO m where #
Monads in which IO
computations may be embedded.
Any monad built by applying a sequence of monad transformers to the
IO
monad will be an instance of this class.
Instances should satisfy the following laws, which state that liftIO
is a transformer of monads:
MonadIO IO | |
MonadIO m => MonadIO (MaybeT m) | |
MonadIO m => MonadIO (ListT m) | |
MonadIO m => MonadIO (ResourceT m) | |
(Monoid w, MonadIO m) => MonadIO (WriterT w m) | |
(Monoid w, MonadIO m) => MonadIO (WriterT w m) | |
MonadIO m => MonadIO (StateT s m) | |
MonadIO m => MonadIO (StateT s m) | |
MonadIO m => MonadIO (IdentityT * m) | |
(Error e, MonadIO m) => MonadIO (ErrorT e m) | |
MonadIO m => MonadIO (ExceptT e m) | |
(Functor f, MonadIO m) => MonadIO (FreeT f m) | |
MonadIO m => MonadIO (AWST' r m) | |
MonadIO m => MonadIO (ReaderT * r m) | |
MonadIO m => MonadIO (ContT * r m) | |
MonadIO m => MonadIO (PlanT k o m) | |
(Monoid w, MonadIO m) => MonadIO (RWST r w s m) | |
(Monoid w, MonadIO m) => MonadIO (RWST r w s m) | |
class (Functor m, Applicative m, Monad m, MonadIO m, MonadCatch m) => MonadAWS m where #
MonadAWS AWS | |
MonadAWS m => MonadAWS (MaybeT m) | |
MonadAWS m => MonadAWS (ListT m) | |
(Monoid w, MonadAWS m) => MonadAWS (WriterT w m) | |
(Monoid w, MonadAWS m) => MonadAWS (WriterT w m) | |
MonadAWS m => MonadAWS (StateT s m) | |
MonadAWS m => MonadAWS (StateT s m) | |
MonadAWS m => MonadAWS (IdentityT * m) | |
MonadAWS m => MonadAWS (ExceptT e m) | |
MonadAWS m => MonadAWS (ReaderT * r m) | |
(Monoid w, MonadAWS m) => MonadAWS (RWST r w s m) | |
(Monoid w, MonadAWS m) => MonadAWS (RWST r w s m) | |
class MonadBase b m => MonadBaseControl b m | m -> b #
liftBaseWith, restoreM
data AWST' r m a :: * -> (* -> *) -> * -> * #
MonadAWS AWS | |
MonadBase b m => MonadBase b (AWST' r m) | |
MonadBaseControl b m => MonadBaseControl b (AWST' r m) | |
MonadState s m => MonadState s (AWST' r m) | |
MonadWriter w m => MonadWriter w (AWST' r m) | |
Monad m => MonadReader r (AWST' r m) | |
MonadError e m => MonadError e (AWST' r m) | |
MonadTrans (AWST' r) | |
MonadTransControl (AWST' r) | |
MFunctor (AWST' r) | |
Monad m => Monad (AWST' r m) | |
Functor m => Functor (AWST' r m) | |
Applicative m => Applicative (AWST' r m) | |
MonadIO m => MonadIO (AWST' r m) | |
Alternative m => Alternative (AWST' r m) | |
MonadPlus m => MonadPlus (AWST' r m) | |
MonadThrow m => MonadThrow (AWST' r m) | |
MonadResource m => MonadResource (AWST' r m) | |
MonadMask m => MonadMask (AWST' r m) | |
MonadCatch m => MonadCatch (AWST' r m) | |
MonadActive m => MonadActive (AWST' r m) | |
type StT (AWST' r) a | |
type StM (AWST' r m) a | |
data ResourceT m a :: (* -> *) -> * -> * #
MonadTrans ResourceT | |
MonadTransControl ResourceT | |
MMonad ResourceT | |
MFunctor ResourceT | |
MonadAWS AWS | |
MonadRWS r w s m => MonadRWS r w s (ResourceT m) | |
MonadBase b m => MonadBase b (ResourceT m) | |
MonadBaseControl b m => MonadBaseControl b (ResourceT m) | |
MonadState s m => MonadState s (ResourceT m) | |
MonadWriter w m => MonadWriter w (ResourceT m) | |
MonadReader r m => MonadReader r (ResourceT m) | |
MonadError e m => MonadError e (ResourceT m) | |
Monad m => Monad (ResourceT m) | |
Functor m => Functor (ResourceT m) | |
MonadFix m => MonadFix (ResourceT m) | |
Applicative m => Applicative (ResourceT m) | |
MonadIO m => MonadIO (ResourceT m) | |
Alternative m => Alternative (ResourceT m) | |
MonadPlus m => MonadPlus (ResourceT m) | |
MonadThrow m => MonadThrow (ResourceT m) | |
(MonadThrow m, MonadBase IO m, MonadIO m, Applicative m) => MonadResource (ResourceT m) | |
MonadMask m => MonadMask (ResourceT m) | |
MonadCont m => MonadCont (ResourceT m) | |
MonadCatch m => MonadCatch (ResourceT m) | |
type StT ResourceT a | |
type StM (ResourceT m) a | |
class MonadThrow m => MonadCatch m #
catch
MonadCatch IO | |
MonadCatch STM | |
(~) * e SomeException => MonadCatch (Either e) | |
MonadCatch m => MonadCatch (MaybeT m) | |
MonadCatch m => MonadCatch (ListT m) | |
MonadCatch m => MonadCatch (ResourceT m) | |
(MonadCatch m, Monoid w) => MonadCatch (WriterT w m) | |
(MonadCatch m, Monoid w) => MonadCatch (WriterT w m) | |
MonadCatch m => MonadCatch (StateT s m) | |
MonadCatch m => MonadCatch (StateT s m) | |
MonadCatch m => MonadCatch (IdentityT * m) | |
(Error e, MonadCatch m) => MonadCatch (ErrorT e m) | |
MonadCatch m => MonadCatch (ExceptT e m) | |
(Functor f, MonadCatch m) => MonadCatch (FreeT f m) | |
MonadCatch m => MonadCatch (AWST' r m) | |
MonadCatch m => MonadCatch (ReaderT * r m) | |
(MonadCatch m, Monoid w) => MonadCatch (RWST r w s m) | |
(MonadCatch m, Monoid w) => MonadCatch (RWST r w s m) | |