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

}

data ApiaryConfig

Constructors

ApiaryConfig

Fields

notFound :: Application

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

Default ApiaryConfig

actions

getter

getRequest :: Monad m => ActionT m Request

getQuery :: Monad m => ByteString -> ActionT m (Maybe (Maybe ByteString))

getQuery' :: Monad m => ByteString -> ActionT m (Maybe ByteString)

when query parameter is not found, mzero(pass next handler).

getRequestHeader :: Monad m => HeaderName -> ActionT m (Maybe ByteString)

getRequestHeader' :: Monad m => HeaderName -> ActionT m ByteString

when request header is not found, mzero(pass next handler).

setter

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

response header

addHeader :: Monad m => HeaderName -> ByteString -> 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 ()

Reexport

def :: Default a => a

The default value for this type.