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