| Safe Haskell | None |
|---|
Control.Monad.Apiary
Contents
- data ApiaryT c n m a
- type Apiary c = ApiaryT c IO Identity
- runApiary :: ApiaryConfig -> Apiary `[]` a -> Application
- runApiaryT :: (Monad n, Monad m) => (forall b. n b -> IO b) -> ApiaryConfig -> ApiaryT `[]` n m a -> m Application
- apiaryConfig :: (Functor n, Monad n) => ApiaryT c n m ApiaryConfig
- action :: (Functor n, Monad n) => Fn c (ActionT n ()) -> ApiaryT c n m ()
- action' :: (Functor n, Monad n) => (SList c -> ActionT n ()) -> ApiaryT c n m ()
- actionWithPreAction :: (Functor n, Monad n) => (SList xs -> ActionT n a) -> Fn xs (ActionT n ()) -> ApiaryT xs n m ()
Documentation
most generic Apiary monad. since 0.8.0.0.
Instances
| (Functor n, Monad n, MonadBase b m) => MonadBase b (ApiaryT c n m) | |
| (Functor n, Monad n, MonadBaseControl b m) => MonadBaseControl b (ApiaryT c n m) | |
| (Functor n, Monad n) => MonadTrans (ApiaryT c n) | |
| (Functor n, Monad n) => MonadTransControl (ApiaryT c n) | |
| (Monad n, Functor n) => Monad (ApiaryT c n m) | |
| Functor (ApiaryT c n m) | |
| (Monad n, Functor n) => Applicative (ApiaryT c n m) | |
| (Functor n, Monad n, MonadIO m) => MonadIO (ApiaryT c n m) |
runApiary :: ApiaryConfig -> Apiary `[]` a -> ApplicationSource
runApiaryT :: (Monad n, Monad m) => (forall b. n b -> IO b) -> ApiaryConfig -> ApiaryT `[]` n m a -> m ApplicationSource
getter
apiaryConfig :: (Functor n, Monad n) => ApiaryT c n m ApiaryConfigSource
execute action
action :: (Functor n, Monad n) => Fn c (ActionT n ()) -> ApiaryT c n m ()Source
splice ActionT ApiaryT.
action' :: (Functor n, Monad n) => (SList c -> ActionT n ()) -> ApiaryT c n m ()Source
like action. but not apply arguments. since 0.8.0.0.