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 #

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 :: (Typeable * b, FormInput view, Monad m, Read b, Eq b) => b -> View view m b #

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

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 () #

append to the output the result of an expression

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

error message when a applicative expression do not match