Safe Haskell	None
Language	Haskell98

Rest.Driver.Perform

Documentation

class (Applicative m, Monad m) => Rest m where #

Minimal complete definition

getHeader, getParameter, getBody, getMethod, getPaths, lookupMimeType, setHeader, setResponseCode

Methods

getHeader :: String -> m (Maybe String) #

getParameter :: String -> m (Maybe String) #

getBody :: m ByteString #

getMethod :: m (Maybe Method) #

getPaths :: m [String] #

lookupMimeType :: String -> m (Maybe String) #

setHeader :: String -> String -> m () #

setResponseCode :: Int -> m () #

Instances

Rest m => Rest (MaybeT m) #
Methods getHeader :: String -> MaybeT m (Maybe String) # getParameter :: String -> MaybeT m (Maybe String) # getBody :: MaybeT m ByteString # getMethod :: MaybeT m (Maybe Method) # getPaths :: MaybeT m [String] # lookupMimeType :: String -> MaybeT m (Maybe String) # setHeader :: String -> String -> MaybeT m () # setResponseCode :: Int -> MaybeT m () #
(Functor m, Applicative m, Monad m) => Rest (RestM m) #
Methods getHeader :: String -> RestM m (Maybe String) # getParameter :: String -> RestM m (Maybe String) # getBody :: RestM m ByteString # getMethod :: RestM m (Maybe Method) # getPaths :: RestM m [String] # lookupMimeType :: String -> RestM m (Maybe String) # setHeader :: String -> String -> RestM m () # setResponseCode :: Int -> RestM m () #
Rest m => Rest (ExceptT e m) #
Methods getHeader :: String -> ExceptT e m (Maybe String) # getParameter :: String -> ExceptT e m (Maybe String) # getBody :: ExceptT e m ByteString # getMethod :: ExceptT e m (Maybe Method) # getPaths :: ExceptT e m [String] # lookupMimeType :: String -> ExceptT e m (Maybe String) # setHeader :: String -> String -> ExceptT e m () # setResponseCode :: Int -> ExceptT e m () #
Rest m => Rest (IdentityT * m) #
Methods getHeader :: String -> IdentityT * m (Maybe String) # getParameter :: String -> IdentityT * m (Maybe String) # getBody :: IdentityT * m ByteString # getMethod :: IdentityT * m (Maybe Method) # getPaths :: IdentityT * m [String] # lookupMimeType :: String -> IdentityT * m (Maybe String) # setHeader :: String -> String -> IdentityT * m () # setResponseCode :: Int -> IdentityT * m () #
Rest m => Rest (StateT s m) #
Methods getHeader :: String -> StateT s m (Maybe String) # getParameter :: String -> StateT s m (Maybe String) # getBody :: StateT s m ByteString # getMethod :: StateT s m (Maybe Method) # getPaths :: StateT s m [String] # lookupMimeType :: String -> StateT s m (Maybe String) # setHeader :: String -> String -> StateT s m () # setResponseCode :: Int -> StateT s m () #
(Monoid w, Rest m) => Rest (WriterT w m) #
Methods getHeader :: String -> WriterT w m (Maybe String) # getParameter :: String -> WriterT w m (Maybe String) # getBody :: WriterT w m ByteString # getMethod :: WriterT w m (Maybe Method) # getPaths :: WriterT w m [String] # lookupMimeType :: String -> WriterT w m (Maybe String) # setHeader :: String -> String -> WriterT w m () # setResponseCode :: Int -> WriterT w m () #
Rest m => Rest (ContT * r m) #
Methods getHeader :: String -> ContT * r m (Maybe String) # getParameter :: String -> ContT * r m (Maybe String) # getBody :: ContT * r m ByteString # getMethod :: ContT * r m (Maybe Method) # getPaths :: ContT * r m [String] # lookupMimeType :: String -> ContT * r m (Maybe String) # setHeader :: String -> String -> ContT * r m () # setResponseCode :: Int -> ContT * r m () #
Rest m => Rest (ReaderT * r m) #
Methods getHeader :: String -> ReaderT * r m (Maybe String) # getParameter :: String -> ReaderT * r m (Maybe String) # getBody :: ReaderT * r m ByteString # getMethod :: ReaderT * r m (Maybe Method) # getPaths :: ReaderT * r m [String] # lookupMimeType :: String -> ReaderT * r m (Maybe String) # setHeader :: String -> String -> ReaderT * r m () # setResponseCode :: Int -> ReaderT * r m () #
(Monoid w, Rest m) => Rest (RWST r w s m) #
Methods getHeader :: String -> RWST r w s m (Maybe String) # getParameter :: String -> RWST r w s m (Maybe String) # getBody :: RWST r w s m ByteString # getMethod :: RWST r w s m (Maybe Method) # getPaths :: RWST r w s m [String] # lookupMimeType :: String -> RWST r w s m (Maybe String) # setHeader :: String -> String -> RWST r w s m () # setResponseCode :: Int -> RWST r w s m () #

failureWriter :: Rest m => Errors e -> Reason (FromMaybe Void e) -> m ByteString #

writeResponse :: Rest m => RunnableHandler m -> m ByteString #

accept :: Maybe String -> Maybe String -> Maybe String -> [Format] #