MFlow-0.4.6.0: stateful, RESTful web framework

Safe HaskellNone
LanguageHaskell98

MFlow.Forms.WebApi

Synopsis

Documentation

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

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 it return invalid. Therefore a monadic sequence in the View monad will not continue

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

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 :: (FormInput v, Typeable * a, Read a, Monad m) => String -> View v m a Source

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

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

error message when a applicative expression do not match