Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype Vimeta m a = Vimeta {}
- data Context = Context {}
- class Monad m => MonadIO m where
- die :: Monad m => String -> Vimeta m a
- runIO :: MonadIO m => IO a -> Vimeta m a
- runIOE :: MonadIO m => IO (Either String a) -> Vimeta m a
- tmdb :: MonadIO m => TheMovieDB a -> Vimeta m a
- verbose :: MonadIO m => Text -> Vimeta m ()
- execVimetaWithContext :: Context -> Vimeta m a -> m (Either String a)
- execVimeta :: MonadIO m => (Config -> Config) -> Vimeta m a -> m (Either String a)
- runVimeta :: MonadIO m => Vimeta m a -> m (Either String a)
- ask :: MonadReader r m => m r
- asks :: MonadReader r m => (r -> a) -> m a
- liftIO :: MonadIO m => forall a. IO a -> m a
Documentation
Context | |
|
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 TheMovieDB | |
MonadIO m => MonadIO (Byline m) | |
MonadIO m => MonadIO (MaybeT m) | |
MonadIO m => MonadIO (ListT m) | |
MonadIO m => MonadIO (ResourceT m) | |
MonadIO m => MonadIO (PErrorT m) | |
MonadIO m => MonadIO (Vimeta m) # | |
MonadIO m => MonadIO (RandT g m) | |
MonadIO m => MonadIO (IdentityT * 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) | |
(Error e, MonadIO m) => MonadIO (ErrorT e m) | |
MonadIO m => MonadIO (EitherT e m) | |
MonadIO m => MonadIO (ExceptT e m) | |
MonadIO m => MonadIO (ReaderT * r m) | |
MonadIO m => MonadIO (ParsecT s u m) | |
(Monoid w, MonadIO m) => MonadIO (RWST r w s m) | |
(Monoid w, MonadIO m) => MonadIO (RWST r w s m) | |
tmdb :: MonadIO m => TheMovieDB a -> Vimeta m a Source #
Run a TheMovieDB
operation.
:: MonadIO m | |
=> (Config -> Config) | Modify configuration before running. |
-> Vimeta m a | The Vimeta value to execute. |
-> m (Either String a) | The result. |
Run a Vimeta
operation after loading the configuration file
from disk.
runVimeta :: MonadIO m => Vimeta m a -> m (Either String a) Source #
Simple wrapper around execVimeta
.
ask :: MonadReader r m => m r #
Retrieves the monad environment.
:: MonadReader r m | |
=> (r -> a) | The selector function to apply to the environment. |
-> m a |
Retrieves a function of the current environment.