Rest.Driver.Perform

Documentation

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

Methods

getHeader :: String -> m (Maybe String)

getParameter :: String -> m (Maybe String)

getBody :: m ByteString

getMethod :: m Method

getPaths :: m [String]

lookupMimeType :: String -> m (Maybe String)

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

setResponseCode :: Int -> m ()

Instances

Rest m => Rest (IdentityT m)

Rest m => Rest (MaybeT m)

(Functor m, Applicative m, Monad m) => Rest (RestM m)

Rest m => Rest (ContT r m)

(Error e, Rest m) => Rest (ErrorT e m)

Rest m => Rest (ReaderT r m)

Rest m => Rest (StateT s m)

(Monoid w, Rest m) => Rest (WriterT w m)

(Monoid w, Rest m) => Rest (RWST r w s m)

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

fetchInputs :: Rest m => Dict h p j o e -> ErrorT (Reason e) m (Env h p j)

parseContentType :: Rest m => m (Maybe Format)

headers :: Rest m => Header h -> ErrorT DataError m h

parameters :: Rest m => Param p -> ErrorT DataError m p

parser :: Monad m => Format -> Inputs j -> ByteString -> ErrorT DataError m j

failureWriter :: Rest m => Errors e -> Reason e -> m ByteString

contentType :: Rest m => Format -> m ()

validator :: forall v m e. Rest m => Outputs v -> ErrorT (Reason e) m ()

outputWriter :: forall v m e. Rest m => Outputs v -> v -> ErrorT (Reason e) m ByteString

outputMultipart :: Rest m => [BodyPart] -> m ByteString

accept :: Rest m => m [Format]