| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Vimeta.Core.Vimeta
- 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 :: MonadIO m => 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
Constructors
| Context | |
Fields
| |
Instances
| Monad m => MonadReader Context (Vimeta m) |
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:
Instances
| MonadIO IO | |
| MonadIO TheMovieDB | |
| MonadIO m => MonadIO (Byline m) | |
| MonadIO m => MonadIO (IdentityT 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) | |
| (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 (ReaderT r m) | |
| (Error e, MonadIO m) => MonadIO (ErrorT e m) | |
| MonadIO m => MonadIO (EitherT e m) | |
| MonadIO m => MonadIO (ContT r m) | |
| MonadIO m => MonadIO (ExceptT e 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.
Arguments
| :: 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.
ask :: MonadReader r m => m r
Retrieves the monad environment.
Arguments
| :: forall (m :: * -> *). MonadReader r m | |
| => (r -> a) | The selector function to apply to the environment. |
| -> m a |
Retrieves a function of the current environment.