Safe Haskell	None
Language	Haskell98

Web.Spock.Action

Contents

Action types
Handling requests
Working with context
Sending responses
Middleware helpers
Basic HTTP-Auth

Synopsis

Action types

type ActionT = ActionCtxT () Source

data ActionCtxT ctx m a Source

Instances

MonadTrans (ActionCtxT ctx) Source
Monad m => Monad (ActionCtxT ctx m) Source
Functor m => Functor (ActionCtxT ctx m) Source
Monad m => Applicative (ActionCtxT ctx m) Source
Monad m => Alternative (ActionCtxT ctx m) Source
MonadIO m => MonadIO (ActionCtxT ctx m) Source

Handling requests

request :: MonadIO m => ActionCtxT ctx m Request Source

Get the original Wai Request object

header :: MonadIO m => Text -> ActionCtxT ctx m (Maybe Text) Source

Read a header

rawHeader :: MonadIO m => HeaderName -> ActionCtxT ctx m (Maybe ByteString) Source

Read a header without converting it to text

cookies :: MonadIO m => ActionCtxT ctx m [(Text, Text)] Source

Read all cookies. The cookie value will already be urldecoded.

cookie :: MonadIO m => Text -> ActionCtxT ctx m (Maybe Text) Source

Read a cookie. The cookie value will already be urldecoded. Note that it is more efficient to use cookies if you need do access many cookies during a request handler.

reqMethod :: MonadIO m => ActionCtxT ctx m SpockMethod Source

Returns the current request method, e.g. GET

preferredFormat :: MonadIO m => ActionCtxT ctx m ClientPreferredFormat Source

Tries to dected the preferred format of the response using the Accept header

data ClientPreferredFormat Source

Constructors

PrefJSON
PrefXML
PrefHTML
PrefText
PrefUnknown

Instances

Eq ClientPreferredFormat Source
Show ClientPreferredFormat Source

body :: MonadIO m => ActionCtxT ctx m ByteString Source

Get the raw request body

jsonBody :: (MonadIO m, FromJSON a) => ActionCtxT ctx m (Maybe a) Source

Parse the request body as json

jsonBody' :: (MonadIO m, FromJSON a) => ActionCtxT ctx m a Source

Parse the request body as json and fails with 400 status code on error

files :: MonadIO m => ActionCtxT ctx m (HashMap Text UploadedFile) Source

Get uploaded files

data UploadedFile Source

Constructors

UploadedFile
Fields uf_name :: !Text uf_contentType :: !Text uf_tempLocation :: !FilePath

Instances

Show UploadedFile Source

params :: MonadIO m => ActionCtxT ctx m [(Text, Text)] Source

Get all request params

param :: (PathPiece p, MonadIO m) => Text -> ActionCtxT ctx m (Maybe p) Source

Read a request param. Spock looks in route captures first (in simple routing), then in POST variables and at last in GET variables

param' :: (PathPiece p, MonadIO m) => Text -> ActionCtxT ctx m p Source

Like param, but outputs an error when a param is missing

Working with context

getContext :: MonadIO m => ActionCtxT ctx m ctx Source

Get the context of the current request

runInContext :: MonadIO m => ctx' -> ActionCtxT ctx' m a -> ActionCtxT ctx m a Source

Run an Action in a different context

Sending responses

setStatus :: MonadIO m => Status -> ActionCtxT ctx m () Source

Set a response status

setHeader :: MonadIO m => Text -> Text -> ActionCtxT ctx m () Source

Set a response header. If the response header is allowed to occur multiple times (as in RFC 2616), it will be appended. Otherwise the previous value is overwritten. See setMultiHeader.

redirect :: MonadIO m => Text -> ActionCtxT ctx m a Source

Redirect to a given url

jumpNext :: MonadIO m => ActionCtxT ctx m a Source

Abort the current action and jump the next one matching the route

data CookieSettings Source

Cookie settings

Constructors

CookieSettings
Fields cs_EOL :: CookieEOL cookie expiration setting, see `CookieEOL` cs_path :: Maybe ByteString a path for the cookie cs_domain :: Maybe ByteString a domain for the cookie. `Nothing` means no domain is set cs_HTTPOnly :: Bool whether the cookie should be set as HttpOnly cs_secure :: Bool whether the cookie should be marked secure (sent over HTTPS only)

defaultCookieSettings :: CookieSettings Source

Default cookie settings, equals

CookieSettings
  { cs_EOL      = CookieValidForSession
  , cs_HTTPOnly = False
  , cs_secure   = False
  , cs_domain   = Nothing
  , cs_path     = Just "/"
  }

data CookieEOL Source

Setting cookie expiration

Constructors

CookieValidUntil UTCTime	a point in time in UTC until the cookie is valid
CookieValidFor NominalDiffTime	a period (in seconds) for which the cookie is valid
CookieValidForSession	the cookie expires with the browser session
CookieValidForever	the cookie will have an expiration date in the far future

setCookie :: MonadIO m => Text -> Text -> CookieSettings -> ActionCtxT ctx m () Source

Set a cookie. The cookie value will be urlencoded.

deleteCookie :: MonadIO m => Text -> ActionCtxT ctx m () Source

Delete a cookie

bytes :: MonadIO m => ByteString -> ActionCtxT ctx m a Source

Send a ByteString as response body. Provide your own Content-Type

lazyBytes :: MonadIO m => ByteString -> ActionCtxT ctx m a Source

Send a lazy ByteString as response body. Provide your own Content-Type

setRawMultiHeader :: MonadIO m => MultiHeader -> ByteString -> ActionCtxT ctx m () Source

Set a response header that can occur multiple times. (eg: Cache-Control)

text :: MonadIO m => Text -> ActionCtxT ctx m a Source

Send text as a response body. Content-Type will be "text/plain"

html :: MonadIO m => Text -> ActionCtxT ctx m a Source

Send a text as response body. Content-Type will be "text/html"

file :: MonadIO m => Text -> FilePath -> ActionCtxT ctx m a Source

Send a file as response

json :: (ToJSON a, MonadIO m) => a -> ActionCtxT ctx m b Source

Send json as response. Content-Type will be "application/json"

stream :: MonadIO m => StreamingBody -> ActionCtxT ctx m a Source

Use a StreamingBody to generate a response.

response :: MonadIO m => (Status -> ResponseHeaders -> Response) -> ActionCtxT ctx m a Source

Use a custom Response generator as response body.

Middleware helpers

middlewarePass :: MonadIO m => ActionCtxT ctx m a Source

If the Spock application is used as a middleware, you can use this to pass request handling to the underlying application. If Spock is not uses as a middleware, or there is no underlying application this will result in 404 error.

modifyVault :: MonadIO m => (Vault -> Vault) -> ActionCtxT ctx m () Source

Modify the vault (useful for sharing data between middleware and app)

queryVault :: MonadIO m => Key a -> ActionCtxT ctx m (Maybe a) Source

Query the vault

Basic HTTP-Auth

requireBasicAuth :: MonadIO m => Text -> (Text -> Text -> ActionCtxT ctx m b) -> (b -> ActionCtxT ctx m a) -> ActionCtxT ctx m a Source

Convenience Basic authentification provide a title for the prompt and a function to validate user and password. Usage example:

get ("auth" <//> var <//> var) $ \user pass ->
      let checker user' pass' =
              unless (user == user' && pass == pass') $
              do setStatus status401
                 text "err"
      in requireBasicAuth "Foo" checker $ \() -> text "ok"

withBasicAuthData :: MonadIO m => (Maybe (Text, Text) -> ActionCtxT ctx m a) -> ActionCtxT ctx m a Source

"Lower level" basic authentification handeling. Does not set any headers that will promt browser users, only looks for an Authorization header in the request and breaks it into username and passwort component if present

MultiHeaderCacheControl
MultiHeaderConnection
MultiHeaderContentEncoding
MultiHeaderContentLanguage
MultiHeaderPragma
MultiHeaderProxyAuthenticate
MultiHeaderTrailer
MultiHeaderTransferEncoding
MultiHeaderUpgrade
MultiHeaderVia
MultiHeaderWarning
MultiHeaderWWWAuth
MultiHeaderSetCookie

Bounded MultiHeader Source
Enum MultiHeader Source
Eq MultiHeader Source
Show MultiHeader Source
Generic MultiHeader Source
Hashable MultiHeader Source
type Rep MultiHeader Source