Control.Monad.Apiary.Action

Documentation

data ActionT m a

Instances

MFunctor ActionT

MonadTrans ActionT

MonadTransControl ActionT

MonadBaseControl b m => MonadBaseControl b (ActionT m)

MonadBase b m => MonadBase b (ActionT m)

MonadReader r m => MonadReader r (ActionT m)

(Monad m, Functor m) => Alternative (ActionT m)

Monad m => Monad (ActionT m)

Functor m => Functor (ActionT m)

Monad m => MonadPlus (ActionT m)

(Monad m, Functor m) => Applicative (ActionT m)

MonadLogger m => MonadLogger (ActionT m)

MonadIO m => MonadIO (ActionT m)

Monad m => Monoid (ActionT m ())

data StT ActionT = StAction {

• unStAction :: StT MaybeT (StT (StateT ActionState) (StT (ReaderT Request) (StT (ReaderT ApiaryConfig') a)))

}

data StM (ActionT m) = StMT {

• unStMT :: ComposeSt ActionT m a

}

type ApplicationM m = Request -> m Response

data ApiaryConfig m

Constructors

ApiaryConfig

Fields

notFound :: ApplicationM m

call when no handler matched.

defaultStatus :: Status

used unless call status function.

defaultHeader :: ResponseHeaders

initial headers.

rootPattern :: [ByteString]

used by root filter.

mimeType :: FilePath -> ByteString

Instances

Monad m => Default (ApiaryConfig m)

actions

getter

getRequest :: Monad m => ActionT m Request

setter

status :: Monad m => Status -> ActionT m ()

response header

addHeader :: Monad m => Header -> ActionT m ()

setHeaders :: Monad m => ResponseHeaders -> ActionT m ()

modifyHeader :: Monad m => (ResponseHeaders -> ResponseHeaders) -> ActionT m ()

contentType :: Monad m => ByteString -> ActionT m ()

response body

file :: Monad m => FilePath -> Maybe FilePart -> ActionT m ()

set body to file content and detect Content-Type by extension.

file' :: Monad m => FilePath -> Maybe FilePart -> ActionT m ()

builder :: Monad m => Builder -> ActionT m ()

lbs :: Monad m => ByteString -> ActionT m ()

source :: Monad m => Source IO (Flush Builder) -> ActionT m ()

json :: (ToJSON j, Monad m) => j -> ActionT m ()

set body to j and set Content-Type to "application/json"

Reexport

def :: Default a => a

The default value for this type.