Strelka.Core.RequestParser

Documentation

newtype RequestParser m a

Parser of an HTTP request. Analyzes its meta information, consumes the path segments and the body.

Constructors

RequestParser (ReaderT Request (StateT [PathSegment] (ExceptT Text m)) a)

Instances

MonadTrans RequestParser

Methods

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

Monad m => MonadError Text (RequestParser m)

Methods

throwError :: Text -> RequestParser m a

catchError :: RequestParser m a -> (Text -> RequestParser m a) -> RequestParser m a

Monad m => Monad (RequestParser m)

Methods

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

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

return :: a -> RequestParser m a

fail :: String -> RequestParser m a

Functor m => Functor (RequestParser m)

Methods

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

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

Monad m => Applicative (RequestParser m)

Methods

pure :: a -> RequestParser m a

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

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

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

MonadIO m => MonadIO (RequestParser m)

Methods

liftIO :: IO a -> RequestParser m a

Monad m => Alternative (RequestParser m)

Methods

empty :: RequestParser m a

(<|>) :: RequestParser m a -> RequestParser m a -> RequestParser m a

some :: RequestParser m a -> RequestParser m [a]

many :: RequestParser m a -> RequestParser m [a]

Monad m => MonadPlus (RequestParser m)

Methods

mzero :: RequestParser m a

mplus :: RequestParser m a -> RequestParser m a -> RequestParser m a

run :: RequestParser m a -> Request -> [PathSegment] -> m (Either Text (a, [PathSegment]))

Execute the parser providing a request and a list of segments.