Servant.Missing

Documentation

class ThrowServantErr err where

Minimal complete definition

Nothing

Methods

_ServantErr :: Prism' err ServantErr

throwServantErr :: MonadError err m => ServantErr -> m any

Instances

ThrowServantErr ServantErr

type MonadServantErr err m = (MonadError err m, ThrowServantErr err)

class ThrowError500 err where

Minimal complete definition

error500

Methods

error500 :: Prism' err String

throwError500 :: MonadError err m => String -> m b

Instances

ThrowError500 ServantErr

type MonadError500 err m = (MonadError err m, ThrowError500 err)

type FormH htm html payload = Get htm html :<|> (FormReqBody :> Post htm html)

data FormReqBody

Instances

HasServer * sublayout context => HasServer * ((:>) * * FormReqBody sublayout) context

type ServerT * ((:>) * * FormReqBody sublayout) m = FormData -> ServerT * sublayout m

data FormData

getFormDataEnv :: FormData -> Env Identity

releaseFormTempFiles :: FormData -> IO ()

formH :: forall payload m err htm html uri. (Monad m, MonadError err m, ConvertibleStrings uri ST) => (IO :~> m) -> uri -> Form html m payload -> (payload -> m html) -> (View html -> uri -> m html) -> ServerT (FormH htm html payload) m

Handle a route of type FormH htm html payload. formAction is used by digestive-functors as submit path for the HTML FORM element. processor1 constructs the form, either as empty in response to a GET, or displaying validation errors in response to a POST. processor2 responds to a POST, handles the validated input values, and returns a new page displaying the result. Note that the renderer is monadic so that it can have effects (such as e.g. flushing a message queue in the session state).

formRedirectH

Arguments

:: (MonadIO m, MonadError ServantErr m, ConvertibleStrings uri ST, ConvertibleStrings uri SBS)

=> uri

formAction

-> Form html m payload

processor1

-> (payload -> m uri)

processor2

-> (View html -> uri -> m html)

renderer

-> ServerT (FormH htm html payload) m

Handle a route of type FormH htm html payload and redirect afterwards. formAction is used by digestive-functors as submit path for the HTML FORM element. processor1 constructs the form, either as empty in response to a GET, or displaying validation errors in response to a POST. processor2 responds to a POST, handles the validated input values, calculates the redirection address. Note that the renderer is monadic so that it can have effects (such as e.g. flushing a message queue in the session state).

fromEnvIdentity :: Applicative m => Env Identity -> Env m

redirect :: (MonadServantErr err m, ConvertibleStrings uri SBS) => uri -> m a