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