Network.AWS.Machines.Types

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

module Network.AWS.AutoScaling.Types

type M m = (MonadBaseControl IO m, MonadAWS (AWST' Env (ResourceT m)))

The base monad constraints for an AWSMachineT.

type AWSMachineT m k b = M m => MachineT (AWST' Env (ResourceT m)) k b

Any MachineT operating in the AWST' stack.

type AWSProcessT m a b = AWSMachineT m (Is a) b

A process transducing a stream of AWS values.

type AWSSourceT m b = forall k. AWSMachineT m k b

A stream of AWS values.

type GetResponse f a c = (AWSRequest a, Foldable f) => Getting (f c) (Rs a) (f c)

A Getter for extracting values from an Rs AWSRequest.

type RequestMod a = a -> a

Modifies an AWSRequest after the smart constructor has created it.

data IO a :: * -> *

A value of type IO a is a computation which, when performed, does some I/O before returning a value of type a.

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.

Instances

Monad IO

Methods

(>>=) :: IO a -> (a -> IO b) -> IO b

(>>) :: IO a -> IO b -> IO b

return :: a -> IO a

fail :: String -> IO a

Functor IO

Methods

fmap :: (a -> b) -> IO a -> IO b

(<$) :: a -> IO b -> IO a

MonadFix IO

Methods

mfix :: (a -> IO a) -> IO a

Applicative IO

Methods

pure :: a -> IO a

(<*>) :: IO (a -> b) -> IO a -> IO b

(*>) :: IO a -> IO b -> IO b

(<*) :: IO a -> IO b -> IO a

MonadAWS AWS

Methods

liftAWS :: AWS a -> AWS a

Alternative IO

Methods

empty :: IO a

(<|>) :: IO a -> IO a -> IO a

some :: IO a -> IO [a]

many :: IO a -> IO [a]

MonadPlus IO

Methods

mzero :: IO a

mplus :: IO a -> IO a -> IO a

MonadIO IO

Methods

liftIO :: IO a -> IO a

MonadThrow IO

Methods

throwM :: Exception e => e -> IO a

MonadCatch IO

Methods

catch :: Exception e => IO a -> (e -> IO a) -> IO a

MonadMask IO

Methods

mask :: ((forall a. IO a -> IO a) -> IO b) -> IO b

uninterruptibleMask :: ((forall a. IO a -> IO a) -> IO b) -> IO b

PrimMonad IO

Associated Types

type PrimState (IO :: * -> *) :: *

type PrimVar (IO :: * -> *) :: * -> *

Methods

primitive :: (State# (PrimState IO) -> (#VoidRep, PtrRepLifted, State# (PrimState IO), a#)) -> IO a

primThrow :: Exception e => e -> IO a

unPrimMonad :: IO a -> State# (PrimState IO) -> (#VoidRep, PtrRepLifted, State# (PrimState IO), a#)

primVarNew :: a -> IO (PrimVar IO a)

primVarRead :: PrimVar IO a -> IO a

primVarWrite :: PrimVar IO a -> a -> IO ()

PrimMonad IO

Associated Types

type PrimState (IO :: * -> *) :: *

Methods

primitive :: (State# (PrimState IO) -> (#VoidRep, PtrRepLifted, State# (PrimState IO), a#)) -> IO a

PrimBase IO

Methods

internal :: IO a -> State# (PrimState IO) -> (#VoidRep, PtrRepLifted, State# (PrimState IO), a#)

Apply IO

Methods

(<.>) :: IO (a -> b) -> IO a -> IO b

(.>) :: IO a -> IO b -> IO b

(<.) :: IO a -> IO b -> IO a

Bind IO

Methods

(>>-) :: IO a -> (a -> IO b) -> IO b

join :: IO (IO a) -> IO a

Quasi IO

Methods

qNewName :: String -> IO Name

qReport :: Bool -> String -> IO ()

qRecover :: IO a -> IO a -> IO a

qLookupName :: Bool -> String -> IO (Maybe Name)

qReify :: Name -> IO Info

qReifyFixity :: Name -> IO (Maybe Fixity)

qReifyInstances :: Name -> [Type] -> IO [Dec]

qReifyRoles :: Name -> IO [Role]

qReifyAnnotations :: Data a => AnnLookup -> IO [a]

qReifyModule :: Module -> IO ModuleInfo

qReifyConStrictness :: Name -> IO [DecidedStrictness]

qLocation :: IO Loc

qRunIO :: IO a -> IO a

qAddDependentFile :: FilePath -> IO ()

qAddTopDecls :: [Dec] -> IO ()

qAddModFinalizer :: Q () -> IO ()

qGetQ :: Typeable * a => IO (Maybe a)

qPutQ :: Typeable * a => a -> IO ()

qIsExtEnabled :: Extension -> IO Bool

qExtsEnabled :: IO [Extension]

MonadBaseControl IO IO

Associated Types

type StM (IO :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase IO IO -> IO a) -> IO a

restoreM :: StM IO a -> IO a

MonadBase IO IO

Methods

liftBase :: IO α -> IO α

MArray IOArray e IO

Methods

getBounds :: Ix i => IOArray i e -> IO (i, i)

getNumElements :: Ix i => IOArray i e -> IO Int

newArray :: Ix i => (i, i) -> e -> IO (IOArray i e)

newArray_ :: Ix i => (i, i) -> IO (IOArray i e)

unsafeNewArray_ :: Ix i => (i, i) -> IO (IOArray i e)

unsafeRead :: Ix i => IOArray i e -> Int -> IO e

unsafeWrite :: Ix i => IOArray i e -> Int -> e -> IO ()

Monoid a => Monoid (IO a)

Methods

mempty :: IO a

mappend :: IO a -> IO a -> IO a

mconcat :: [IO a] -> IO a

type PrimVar IO

type PrimVar IO = IORef

type PrimState IO

type PrimState IO = RealWorld

type PrimState IO

type PrimState IO = RealWorld

type StM IO a

type StM IO a = a