Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Vimeta m a = Vimeta {}
- data Context = Context {}
- class Monad m => MonadIO (m :: * -> *)
- 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 => IO a -> m a
Documentation
Context | |
|
class Monad m => MonadIO (m :: * -> *) #
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 | Since: base-4.9.0.0 |
Defined in Control.Monad.IO.Class | |
MonadIO TheMovieDB | |
Defined in Network.API.TheMovieDB.Internal.TheMovieDB liftIO :: IO a -> TheMovieDB a # | |
MonadIO m => MonadIO (Byline m) | |
Defined in System.Console.Byline.Internal.Byline | |
MonadIO m => MonadIO (ResourceT m) | |
Defined in Control.Monad.Trans.Resource.Internal | |
MonadIO m => MonadIO (PErrorT m) | |
Defined in Data.Yaml.Internal | |
MonadIO m => MonadIO (Vimeta m) # | |
Defined in Vimeta.Core.Vimeta | |
MonadIO m => MonadIO (IdentityT m) | |
Defined in Control.Monad.Trans.Identity | |
MonadIO m => MonadIO (ExceptT e m) | |
Defined in Control.Monad.Trans.Except | |
(Error e, MonadIO m) => MonadIO (ErrorT e m) | |
Defined in Control.Monad.Trans.Error | |
MonadIO m => MonadIO (ReaderT r m) | |
Defined in Control.Monad.Trans.Reader | |
MonadIO m => MonadIO (ConduitT i o m) | |
Defined in Data.Conduit.Internal.Conduit | |
MonadIO m => MonadIO (ParsecT s u m) | |
Defined in Text.Parsec.Prim | |
MonadIO m => MonadIO (Pipe l i o u m) | |
Defined in Data.Conduit.Internal.Pipe |
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.