Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- natA :: Monad m => Factory (AppT env m) env component -> Factory m env component
- delayA :: MonadCatch m => AppT env m () -> Factory m env ()
- bracketA :: MonadCatch m => AppT env m res -> (res -> AppT env m ()) -> Factory m env res
- data AppT cxt m a
- type App cxt = AppT cxt IO
- runAppT :: cxt -> AppT cxt m a -> m a
Documentation
Application monad transformation.
Instances
Monad m => MonadReader cxt (AppT cxt m) Source # | |
MonadTrans (AppT cxt) Source # | |
Defined in Boots.App.Internal | |
Monad m => Monad (AppT cxt m) Source # | |
Functor m => Functor (AppT cxt m) Source # | |
Applicative m => Applicative (AppT cxt m) Source # | |
Defined in Boots.App.Internal | |
MonadIO m => MonadIO (AppT cxt m) Source # | |
Defined in Boots.App.Internal | |
MonadCatch m => MonadCatch (AppT cxt m) Source # | |
MonadThrow m => MonadThrow (AppT cxt m) Source # | |
Defined in Boots.App.Internal | |
MonadUnliftIO m => MonadUnliftIO (AppT cxt m) Source # | |
Defined in Boots.App.Internal | |
MonadMask m => MonadMask (AppT cxt m) Source # | |
Defined in Boots.App.Internal | |
MonadThrow m => HasValid (AppT cxt m) Source # | |
(MonadIO m, HasLogger env) => MonadLogger (AppT env m) Source # | |
Defined in Boots.Factory.Logger | |
(MonadIO m, HasLogger env) => MonadLoggerIO (AppT env m) Source # | |
Defined in Boots.Factory.Logger | |
(HasSalak env, Monad m) => MonadSalak (AppT env m) Source # | |
Defined in Boots.Factory.Salak |