Safe Haskell	None
Language	Haskell2010

Strelka.Core.RequestParser

Synopsis

newtype RequestParser m a = RequestParser (ReaderT Request (StateT [PathSegment] (ExceptT Text m)) a)
run :: RequestParser m a -> Request -> [PathSegment] -> m (Either Text (a, [PathSegment]))

Documentation

newtype RequestParser m a Source #

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 Source #
Instance details Defined in Strelka.Core.RequestParser Methods lift :: Monad m => m a -> RequestParser m a #
Monad m => MonadError Text (RequestParser m) Source #
Instance details Defined in Strelka.Core.RequestParser Methods throwError :: Text -> RequestParser m a # catchError :: RequestParser m a -> (Text -> RequestParser m a) -> RequestParser m a #
Monad m => Monad (RequestParser m) Source #
Instance details Defined in Strelka.Core.RequestParser 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) Source #
Instance details Defined in Strelka.Core.RequestParser Methods fmap :: (a -> b) -> RequestParser m a -> RequestParser m b # (<$) :: a -> RequestParser m b -> RequestParser m a #
Monad m => Applicative (RequestParser m) Source #
Instance details Defined in Strelka.Core.RequestParser Methods pure :: a -> RequestParser m a # (<>) :: RequestParser m (a -> b) -> RequestParser m a -> RequestParser m b # liftA2 :: (a -> b -> c) -> RequestParser m a -> RequestParser m b -> RequestParser m c # (>) :: RequestParser m a -> RequestParser m b -> RequestParser m b # (<*) :: RequestParser m a -> RequestParser m b -> RequestParser m a #
MonadIO m => MonadIO (RequestParser m) Source #
Instance details Defined in Strelka.Core.RequestParser Methods liftIO :: IO a -> RequestParser m a #
Monad m => Alternative (RequestParser m) Source #
Instance details Defined in Strelka.Core.RequestParser 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) Source #
Instance details Defined in Strelka.Core.RequestParser 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])) Source #

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