Rest.Driver.RestM

Documentation

data RestM m a

Instances

MonadTrans RestM

Methods

lift :: Monad m => m a -> RestM m a

Monad m => Monad (RestM m)

Methods

(>>=) :: RestM m a -> (a -> RestM m b) -> RestM m b

(>>) :: RestM m a -> RestM m b -> RestM m b

return :: a -> RestM m a

fail :: String -> RestM m a

Functor m => Functor (RestM m)

Methods

fmap :: (a -> b) -> RestM m a -> RestM m b

(<$) :: a -> RestM m b -> RestM m a

Applicative m => Applicative (RestM m)

Methods

pure :: a -> RestM m a

(<*>) :: RestM m (a -> b) -> RestM m a -> RestM m b

(*>) :: RestM m a -> RestM m b -> RestM m b

(<*) :: RestM m a -> RestM m b -> RestM m a

(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 ()

runRestM :: RestInput -> RestM m a -> m (a, RestOutput)

runRestM_ :: Functor m => RestInput -> RestM m a -> m a

data RestInput

Constructors

RestInput

Fields

• headers :: HashMap (CI String) String
• parameters :: HashMap String String
• body :: ByteString
• method :: Maybe Method
• paths :: [String]
• mimeTypes :: HashMap String String

emptyInput :: RestInput

data RestOutput

Constructors

RestOutput

Fields

• headersSet :: HashMap String String
• responseCode :: Maybe Int

Instances

Show RestOutput

Methods

showsPrec :: Int -> RestOutput -> ShowS

show :: RestOutput -> String

showList :: [RestOutput] -> ShowS

Monoid RestOutput

Methods

mempty :: RestOutput

mappend :: RestOutput -> RestOutput -> RestOutput

mconcat :: [RestOutput] -> RestOutput