Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Monad m => MonadArguments m where
- class (AsFileSystemError e, MonadError e m) => MonadFileSystem e m | m -> e where
- class Monad m => MonadCloud m where
- computeChangeset' :: MonadCloudIO r m => StackName -> Text -> [(Text, Text)] -> m Text
- getStackOutputs' :: MonadCloudIO r m => StackName -> m (Maybe [(Text, Text)])
- runChangeSet' :: MonadCloudIO r m => Text -> m ()
- class Monad m => MonadEnvironment m where
- newtype StackName = StackName Text
- data FileSystemError = FileNotFound Text
- readFile' :: (AsFileSystemError e, MonadError e m, MonadBase IO m) => Text -> m Text
- class HasFileSystemError c where
- class AsFileSystemError r where
Documentation
class Monad m => MonadArguments m where Source #
A class of monads that can access command-line arguments.
Returns the command-line arguments provided to the program.
getArgs :: (MonadTrans t, MonadArguments m', m ~ t m') => m Command Source #
Returns the command-line arguments provided to the program.
MonadArguments IO Source # | |
MonadArguments m => MonadArguments (LoggingT m) Source # | |
(Monoid s, MonadArguments m) => MonadArguments (WriterT s m) Source # | |
MonadArguments m => MonadArguments (StateT s m) Source # | |
MonadArguments m => MonadArguments (ExceptT e m) Source # | |
MonadArguments m => MonadArguments (ReaderT * r m) Source # | |
class (AsFileSystemError e, MonadError e m) => MonadFileSystem e m | m -> e where Source #
A class of monads that can interact with the filesystem.
readFile :: Text -> m Text Source #
Reads a file at the given path and returns its contents. If the file does not exist, is not accessible, or is improperly encoded, this method throws an exception.
readFile :: (MonadTrans t, MonadFileSystem e m', m ~ t m') => Text -> m Text Source #
Reads a file at the given path and returns its contents. If the file does not exist, is not accessible, or is improperly encoded, this method throws an exception.
MonadFileSystem e m => MonadFileSystem e (LoggingT m) Source # | |
(MonadFileSystem e m, Monoid w) => MonadFileSystem e (WriterT w m) Source # | |
MonadFileSystem e m => MonadFileSystem e (StateT s m) Source # | |
MonadFileSystem e m => MonadFileSystem e (ExceptT e m) Source # | |
MonadFileSystem e m => MonadFileSystem e (ReaderT * r m) Source # | |
class Monad m => MonadCloud m where Source #
A class of monads that can interact with cloud deployments.
computeChangeset :: StackName -> Text -> [(Text, Text)] -> m Text Source #
getStackOutputs :: StackName -> m (Maybe [(Text, Text)]) Source #
runChangeSet :: Text -> m () Source #
computeChangeset :: (MonadTrans t, MonadCloud m', m ~ t m') => StackName -> Text -> [(Text, Text)] -> m Text Source #
getStackOutputs :: (MonadTrans t, MonadCloud m', m ~ t m') => StackName -> m (Maybe [(Text, Text)]) Source #
runChangeSet :: (MonadTrans t, MonadCloud m', m ~ t m') => Text -> m () Source #
MonadCloud m => MonadCloud (LoggingT m) Source # | |
(MonadCloud m, Monoid w) => MonadCloud (WriterT w m) Source # | |
MonadCloud m => MonadCloud (StateT s m) Source # | |
MonadCloud m => MonadCloud (ExceptT e m) Source # | |
MonadCloud m => MonadCloud (ReaderT * r m) Source # | |
runChangeSet' :: MonadCloudIO r m => Text -> m () Source #
class Monad m => MonadEnvironment m where Source #
A class of monads that can access environment variables
getEnv :: Text -> m (Maybe Text) Source #
getEnv :: (MonadTrans t, MonadEnvironment m', m ~ t m') => Text -> m (Maybe Text) Source #
MonadEnvironment IO Source # | |
MonadEnvironment m => MonadEnvironment (LoggingT m) Source # | |
(MonadEnvironment m, Monoid w) => MonadEnvironment (WriterT w m) Source # | |
MonadEnvironment m => MonadEnvironment (StateT s m) Source # | |
MonadEnvironment m => MonadEnvironment (ExceptT e m) Source # | |
MonadEnvironment m => MonadEnvironment (ReaderT * r m) Source # | |
data FileSystemError Source #
readFile' :: (AsFileSystemError e, MonadError e m, MonadBase IO m) => Text -> m Text Source #
class HasFileSystemError c where Source #