Safe Haskell | None |
---|---|
Language | Haskell98 |
MFlow.Forms.WebApi
- restp :: (Monad m, Functor m, FormInput v, Typeable a, Read a) => View v m a
- rest :: (Typeable * b, FormInput view, Monad m, Read b, Eq b) => b -> View view m b
- wparam :: (Typeable * a, Monad m, FormInput t, Read a) => String -> View t m a
- disp :: (Monad m, FormInput v, Show a) => View v m a -> View v m ()
- (<?>) :: (FormInput v, Monad m) => View v m a -> v -> View v m a
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.