MFlow-0.4.5.9: stateful, RESTful web framework

Safe HaskellNone

MFlow.Forms.WebApi

Synopsis

Documentation

restp :: (Monad m, Functor m, FormInput v, Typeable a, Read a) => View v m aSource

Get the next segment of the REST path. if there is no one or if the data does not match with the type expected, then ir return invalid. Therefore a monadic sequence in the View monad will not continue

rest :: (Eq b, Monad m, Functor m, Read b, Typeable b, FormInput v) => b -> View v m bSource

check that the next rest segment has a certain value. It return invalid otherwise. therefore a monadic sequence in the View monad will not continue

wparam :: (Monad m, Read a, Typeable a, FormInput v) => String -> View v m aSource

get a parameter from a GET or POST key-value input.

disp :: (Monad m, FormInput v, Show a) => View v m a -> View v m ()Source

append to the output the result of an expression

(<?>) :: (Monad m, Functor m, FormInput v) => View v m a -> v -> View v m aSource

error message when a applicative expression do not match