Copyright | © 2017 All rights reserved. |
---|---|
License | GPL-3 |
Maintainer | Evan Cofsky <evan@theunixman.com> |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
- module Network.AWS
- module Control.Monad.Trans.AWS
- module Control.Monad.IO.Class
- module Control.Monad.Trans.Control
- module Control.Monad.Catch
- module Control.Monad.Trans.Resource
- module Network.AWS.Types
- module Network.AWS.AutoScaling.Types
- type M m = (MonadBaseControl IO m, MonadAWS (AWST' Env (ResourceT m)))
- type AWSMachineT m k b = M m => MachineT (AWST' Env (ResourceT m)) k b
- type AWSProcessT m a b = AWSMachineT m (Is a) b
- type AWSSourceT m b = forall k. AWSMachineT m k b
- type GetResponse f a c = (AWSRequest a, Foldable f) => Getting (f c) (Rs a) (f c)
- type RequestMod a = a -> a
- data IO a :: * -> *
Documentation
module Network.AWS
module Control.Monad.Trans.AWS
module Control.Monad.IO.Class
module Control.Monad.Trans.Control
module Control.Monad.Catch
module Control.Monad.Trans.Resource
module Network.AWS.Types
type M m = (MonadBaseControl IO m, MonadAWS (AWST' Env (ResourceT m))) Source #
The base monad constraints for an AWSMachineT
.
type AWSMachineT m k b = M m => MachineT (AWST' Env (ResourceT m)) k b Source #
Any MachineT
operating in the AWST' stack.
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 GetResponse f a c = (AWSRequest a, Foldable f) => Getting (f c) (Rs a) (f c) Source #
A Getter
for extracting values from an Rs
AWSRequest
.
type RequestMod a = a -> a Source #
Modifies an AWSRequest
after the smart constructor has created
it.
A value of type
is a computation which, when performed,
does some I/O before returning a value of type IO
aa
.
There is really only one way to "perform" an I/O action: bind it to
Main.main
in your program. When your program is run, the I/O will
be performed. It isn't possible to perform I/O from an arbitrary
function, unless that function is itself in the IO
monad and called
at some point, directly or indirectly, from Main.main
.
IO
is a monad, so IO
actions can be combined using either the do-notation
or the >>
and >>=
operations from the Monad
class.
Monad IO | |
Functor IO | |
MonadFix IO | |
Applicative IO | |
MonadAWS AWS | |
Alternative IO | |
MonadPlus IO | |
MonadIO IO | |
MonadThrow IO | |
MonadCatch IO | |
MonadMask IO | |
PrimMonad IO | |
PrimMonad IO | |
PrimBase IO | |
Apply IO | |
Bind IO | |
Quasi IO | |
MonadBaseControl IO IO | |
MonadBase IO IO | |
MArray IOArray e IO | |
Monoid a => Monoid (IO a) | |
type PrimVar IO | |
type PrimState IO | |
type PrimState IO | |
type StM IO a | |