Control.Monad.Apiary.Action

Documentation

data ActionT exts prms m a

Instances

MonadBase b m => MonadBase b (ActionT exts prms m)

Methods

liftBase :: b α -> ActionT exts prms m α

MonadBaseControl b m => MonadBaseControl b (ActionT exts prms m)

Associated Types

type StM (ActionT exts prms m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (ActionT exts prms m) b -> b a) -> ActionT exts prms m a

restoreM :: StM (ActionT exts prms m) a -> ActionT exts prms m a

MonadReader r m => MonadReader r (ActionT exts prms m)

Methods

ask :: ActionT exts prms m r

local :: (r -> r) -> ActionT exts prms m a -> ActionT exts prms m a

reader :: (r -> a) -> ActionT exts prms m a

Monad m => MonadExts exts (ActionT exts prms m)

Methods

getExts :: ActionT exts prms m (Extensions exts)

MonadTrans (ActionT exts prms)

Methods

lift :: Monad m => m a -> ActionT exts prms m a

MonadTransControl (ActionT exts prms)

Associated Types

type StT (ActionT exts prms :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run (ActionT exts prms) -> m a) -> ActionT exts prms m a

restoreT :: Monad m => m (StT (ActionT exts prms) a) -> ActionT exts prms m a

Monad m => Monad (ActionT exts prms m)

Methods

(>>=) :: ActionT exts prms m a -> (a -> ActionT exts prms m b) -> ActionT exts prms m b

(>>) :: ActionT exts prms m a -> ActionT exts prms m b -> ActionT exts prms m b

return :: a -> ActionT exts prms m a

fail :: String -> ActionT exts prms m a

Functor (ActionT exts prms m)

Methods

fmap :: (a -> b) -> ActionT exts prms m a -> ActionT exts prms m b

(<$) :: a -> ActionT exts prms m b -> ActionT exts prms m a

Applicative (ActionT exts prms m)

Methods

pure :: a -> ActionT exts prms m a

(<*>) :: ActionT exts prms m (a -> b) -> ActionT exts prms m a -> ActionT exts prms m b

(*>) :: ActionT exts prms m a -> ActionT exts prms m b -> ActionT exts prms m b

(<*) :: ActionT exts prms m a -> ActionT exts prms m b -> ActionT exts prms m a

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

Methods

empty :: ActionT exts prms m a

(<|>) :: ActionT exts prms m a -> ActionT exts prms m a -> ActionT exts prms m a

some :: ActionT exts prms m a -> ActionT exts prms m [a]

many :: ActionT exts prms m a -> ActionT exts prms m [a]

Monad m => MonadPlus (ActionT exts prms m)

Methods

mzero :: ActionT exts prms m a

mplus :: ActionT exts prms m a -> ActionT exts prms m a -> ActionT exts prms m a

MonadIO m => MonadIO (ActionT exts prms m)

Methods

liftIO :: IO a -> ActionT exts prms m a

MonadThrow m => MonadThrow (ActionT exts prms m)

Methods

throwM :: Exception e => e -> ActionT exts prms m a

MonadCatch m => MonadCatch (ActionT exts prms m)

Methods

catch :: Exception e => ActionT exts prms m a -> (e -> ActionT exts prms m a) -> ActionT exts prms m a

MonadMask m => MonadMask (ActionT exts prms m)

Methods

mask :: ((forall a. ActionT exts prms m a -> ActionT exts prms m a) -> ActionT exts prms m b) -> ActionT exts prms m b

uninterruptibleMask :: ((forall a. ActionT exts prms m a -> ActionT exts prms m a) -> ActionT exts prms m b) -> ActionT exts prms m b

type StT (ActionT exts prms) a

type StT (ActionT exts prms) a

type StM (ActionT exts prms m) a

type StM (ActionT exts prms m) a = ComposeSt (ActionT exts prms) m a

hoistActionT :: (Monad m, Monad n) => (forall b. m b -> n b) -> ActionT exts prms m a -> ActionT exts prms n a

n must be Monad, so cant be MFunctor.

stop action

application :: Monad m => Application -> ActionT exts prms m a

stop and proxy current request to a Application, since 2.0.0.

stop :: Monad m => ActionT exts prms m a

stop handler and send current state. since 0.3.3.0.

getter

param :: (Member k v prms, Monad m) => proxy k -> ActionT exts prms m v

get parameter. since 1.0.0.

example:

param [key|foo|]

params :: QuasiQuoter

get parameters. since 1.0.0.

[params|foo,bar|] == do { a <- param [key|foo|]; b <- param [key|bar|]; return (a, b) }

setter

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

set status code. since 0.1.0.0.

response header

addHeader :: Monad m => HeaderName -> ByteString -> ActionT exts prms m ()

add response header. since 0.1.0.0.

Don't set Content-Type using this function. Use contentType.

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

set response headers. since 0.1.0.0.

Don't set Content-Type using this function. Use contentType.

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

modify response header. since 0.1.0.0.

Don't set Content-Type using this function. Use contentType.

contentType :: Monad m => ContentType -> ActionT exts prms m ()

set content-type header.

if content-type header already exists, replace it. since 0.1.0.0.

response body

reset :: Monad m => ActionT exts prms m ()

reset response body to no response. since v0.15.2.

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

set response body from builder. since 0.1.0.0.

bytes :: Monad m => ByteString -> ActionT exts prms m ()

set response body from strict bytestring. since 0.15.2.

lazyBytes :: Monad m => ByteString -> ActionT exts prms m ()

set response body from lazy bytestring. since 0.15.2.

text :: Monad m => Text -> ActionT exts prms m ()

set response body from strict text. encoding UTF-8. since 0.15.2.

lazyText :: Monad m => Text -> ActionT exts prms m ()

set response body from lazy text. encoding UTF-8. since 0.15.2.

showing :: (Monad m, Show a) => a -> ActionT exts prms m ()

set response body from show. encoding UTF-8. since 0.15.2.

json :: (Monad m, ToJSON a) => a -> ActionT exts prms m ()

set response body from ToJSON with content-type set to application/json. since 2.0.2

string :: Monad m => String -> ActionT exts prms m ()

set response body from string. encoding UTF-8. since 0.15.2.

char :: Monad m => Char -> ActionT exts prms m ()

set response body from char. encoding UTF-8. since 0.15.2.

appendBuilder :: Monad m => Builder -> ActionT exts prms m ()

append response body from builder. since 1.2.0.

appendBytes :: Monad m => ByteString -> ActionT exts prms m ()

append response body from strict bytestring. since 1.2.0.

appendLazyBytes :: Monad m => ByteString -> ActionT exts prms m ()

append response body from lazy bytestring. since 1.2.0.

appendText :: Monad m => Text -> ActionT exts prms m ()

append response body from strict text. encoding UTF-8. since 1.2.0.

appendLazyText :: Monad m => Text -> ActionT exts prms m ()

append response body from lazy text. encoding UTF-8. since 1.2.0.

appendShowing :: (Monad m, Show a) => a -> ActionT exts prms m ()

append response body from show. encoding UTF-8. since 1.2.0.

appendString :: Monad m => String -> ActionT exts prms m ()

append response body from string. encoding UTF-8. since 1.2.0.

appendChar :: Monad m => Char -> ActionT exts prms m ()

append response body from char. encoding UTF-8. since 1.2.0.

file :: MonadIO m => FilePath -> Maybe FilePart -> ActionT exts prms m ()

set response body file content and detect Content-Type by extension. since 0.1.0.0.

file modification check since 0.17.2.

file' :: MonadIO m => FilePath -> Maybe FilePart -> ActionT exts prms m ()

set response body file content, without set Content-Type. since 0.1.0.0.

monolithic action

redirect

redirect :: Monad m => ByteString -> ActionT exts prms m ()

redirect with:

303 See Other (HTTP/1.1) or 302 Moved Temporarily (Other)

since 0.6.2.0.

redirectPermanently :: Monad m => ByteString -> ActionT exts prms m ()

redirect with 301 Moved Permanently. since 0.3.3.0.

redirectTemporary :: Monad m => ByteString -> ActionT exts prms m ()

redirect with:

307 Temporary Redirect (HTTP/1.1) or 302 Moved Temporarily (Other)

since 0.3.3.0.

documentation

defaultDocumentationAction :: Monad m => DefaultDocumentConfig -> ActionT exts prms m ()

auto generated document.

data DefaultDocumentConfig

Constructors

DefaultDocumentConfig

Fields

• documentTitle :: Text
• documentDescription :: Maybe Html
• documentUseCDN :: Bool
• documentGoogleAnalytics :: Maybe Text

  google analytics. since 0.17.0.

Instances

Default DefaultDocumentConfig

Methods

def :: DefaultDocumentConfig

not export from Web.Apiary

type ContentType = ByteString

stopWith :: Monad m => Response -> ActionT exts prms m a

stop with response. since 0.4.2.0.

applyDict :: Dict prms -> ActionT exts prms m a -> ActionT exts '[] m a

getter

getRequest :: Monad m => ActionT exts prms m Request

get raw request. since 0.1.0.0.

getHeaders :: Monad m => ActionT exts prms m RequestHeaders

get all request headers. since 0.6.0.0.

getParams :: Monad m => ActionT exts prms m (Dict prms)

getQueryParams :: Monad m => ActionT exts prms m Query

only get parameters in query string.

data ActionReqBody

Constructors

Unknown ByteString

raw body

UrlEncoded [Param]

url-encoded params

Multipart [Param] [File]

boundary params files

Instances

Eq ActionReqBody

Methods

(==) :: ActionReqBody -> ActionReqBody -> Bool

(/=) :: ActionReqBody -> ActionReqBody -> Bool

Show ActionReqBody

Methods

showsPrec :: Int -> ActionReqBody -> ShowS

show :: ActionReqBody -> String

showList :: [ActionReqBody] -> ShowS

getReqBody :: MonadIO m => ActionT exts prms m ActionReqBody

parse request body into ActionReqBody and return it. since 1.2.2.

getReqBodyParams :: MonadIO m => ActionT exts prms m [Param]

parse request body and return params. since 1.0.0.

getReqBodyFiles :: MonadIO m => ActionT exts prms m [File]

parse request body and return files. since 0.9.0.0.

getReqBodyJSON :: (MonadIO m, FromJSON a) => ActionT exts prms m (Maybe a)

parse request body and try parse it as JSON.

it's recommended to use jsonReqBody filter to leverage type level routing instead of getReqBodyJSON. since 2.0.0.

setter

devFile :: MonadIO m => FilePath -> ActionT exts prms m ()

send file contents as lazy bytestring response. since v1.1.4.

devFile' :: MonadIO m => FilePath -> ActionT exts prms m ()

stream :: Monad m => StreamingBody -> ActionT exts prms m ()

set response body source. since 0.9.0.0.

rawResponse :: Monad m => (Status -> ResponseHeaders -> Response) -> ActionT exts prms m ()

set raw response constructor. since 0.10.

example(use pipes-wai)

producer :: Monad m => Producer (Flush Builder) IO () -> ActionT' exts m ()
producer = response (s h -> responseProducer s h)

type StreamingBody = (Builder -> IO ()) -> IO () -> IO ()

Represents a streaming HTTP response body. It's a function of two parameters; the first parameter provides a means of sending another chunk of data, and the second parameter provides a means of flushing the data to the client.

Since 3.0.0

vault

lookupVault :: Key a -> ActionT exts prms m (Maybe a)

lookup extensional state. since v1.2.0.

modifyVault :: (Vault -> Vault) -> ActionT exts prms m ()

modify extensional state. since v1.2.0.

insertVault :: Key a -> a -> ActionT exts prms m ()

insert extensional state. since v1.2.0.

adjustVault :: (a -> a) -> Key a -> ActionT exts prms m ()

adjust extensional state. since v1.2.0.

deleteVault :: Key a -> ActionT exts prms m ()

delete extensional state. since v1.2.0.

redirect

redirectWith

Arguments

:: Monad m

=> Status

-> ByteString

Location redirect to

-> ActionT exts prms m ()

redirect handler

set status and add location header. since 0.3.3.0.

rename from redirect in 0.6.2.0.