Control.Monad.Apiary

Documentation

data ApiaryT c n m a

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)

type Apiary c = ApiaryT c IO Identity

no transformer. (ActionT IO, ApiaryT Identity)

runApiary :: ApiaryConfig -> Apiary `[]` a -> Application

runApiaryT :: (Monad n, Monad m) => (forall b. n b -> IO b) -> ApiaryConfig -> ApiaryT `[]` n m a -> m Application

getter

apiaryConfig :: (Functor n, Monad n) => ApiaryT c n m ApiaryConfig

execute action

action :: (Functor n, Monad n) => Fn c (ActionT n ()) -> ApiaryT c n m ()

splice ActionT ApiaryT.

action' :: (Functor n, Monad n) => (SList c -> ActionT n ()) -> ApiaryT c n m ()

like action. but not apply arguments. since 0.8.0.0.

deprecated

actionWithPreAction :: (Functor n, Monad n) => (SList xs -> ActionT n a) -> Fn xs (ActionT n ()) -> ApiaryT xs n m ()

Deprecated: use action'

execute action before main action. since v0.4.2.0