| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Web.REST
Description
REST is a DSL for creating routes using RESTful HTTP verbs. See http://en.wikipedia.org/wiki/Representational_state_transfer
Synopsis
- data REST (m :: Type -> Type) s = REST {
- restIndex :: ControllerT s m ()
- restShow :: ControllerT s m ()
- restCreate :: ControllerT s m ()
- restUpdate :: ControllerT s m ()
- restDelete :: ControllerT s m ()
- restEdit :: ControllerT s m ()
- restNew :: ControllerT s m ()
- type RESTController (m :: Type -> Type) r = RESTControllerM m r ()
- rest :: forall (m :: Type -> Type) r a. Monad m => RESTControllerM m r a -> REST m r
- routeREST :: forall (m :: Type -> Type) s. Monad m => REST m s -> ControllerT s m ()
- index :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s
- show :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s
- create :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s
- update :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s
- delete :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s
- edit :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s
- new :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s
Documentation
data REST (m :: Type -> Type) s Source #
Type used to encode a REST controller.
Constructors
| REST | |
Fields
| |
type RESTController (m :: Type -> Type) r = RESTControllerM m r () Source #
index :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s Source #
GET /
show :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s Source #
GET /:id
create :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s Source #
POST /
update :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s Source #
PUT /:id
delete :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s Source #
DELETE /:id
edit :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s Source #
GET /:id/edit
new :: forall s (m :: Type -> Type). ControllerT s m () -> RESTController m s Source #
GET /new