redHandlers-0.1: Monadic HTTP request handlers combinators to build a standalone web apps.

Network.HTTP.RedHandler

Documentation

data RequestContext Source

Constructors

RequestContext 

Fields

originalRequest :: Request
 
requestTime :: CalendarTime
 
dirs :: [String]
 
docName :: String
 
format :: String
 
customQuery :: [(String, String)]
 
formInputs :: [(String, Input)]
 
consumedDirs :: [String]
 
restrictByParentQuery :: [(String, String)]
 

Instances

query :: RequestContext -> [(String, String)]Source

moveBackwardDir :: RequestContext -> Maybe (RequestContext, String)Source

moveForwardDir :: RequestContext -> Maybe (RequestContext, String)Source

completeDirs :: RequestContext -> [String]Source

completeURL :: RequestContext -> StringSource

pendingURIPath :: RequestContext -> StringSource

renderQuery :: [(String, String)] -> StringSource

mkRqCtx :: Request -> IO RequestContextSource

orIfEmpty :: [a] -> [a] -> [a]Source

hasCookie :: String -> RequestContext -> BoolSource

postFields :: RequestContext -> [(String, String)]Source

postFieldFileName :: String -> RequestContext -> Maybe StringSource

postField :: String -> RequestContext -> StringSource

run :: Show a => Parser a -> String -> IO ()Source

showParses :: Show a => Parser a -> [String] -> IO ()Source

addResourceIdToCollAddr :: String -> RequestContext -> RequestContextSource

addMethodToCollAddr :: String -> RequestContext -> RequestContextSource

addMethodToResAddr :: String -> RequestContext -> RequestContextSource

addHierarchicalCollToResAddr :: String -> [(String, String)] -> RequestContext -> RequestContextSource

setCollectionFromRootAddr :: String -> RequestContext -> RequestContextSource

upgradeQueriesForHierarchy :: [(String, String)] -> RequestContext -> RequestContextSource

mapMaybeT :: (m (Maybe a) -> n (Maybe b)) -> MaybeT m a -> MaybeT n bSource

maybeToMonadPlus :: MonadPlus m => Maybe a -> m aSource

type IORqHandler = RqHandlerT IOSource

newtype RqHandlerT m a Source

Constructors

RqHandlerT 

Fields

unRqHandlerT :: ReaderT RequestContext (MaybeT m) a
 

Instances

runRqHandlerT :: RqHandlerT m a -> RequestContext -> m (Maybe a)Source

mapRqHandlerT :: (m (Maybe a) -> n (Maybe b)) -> RqHandlerT m a -> RqHandlerT n bSource

notMe :: Monad m => RqHandlerT m aSource

anyOf :: Monad m => [RqHandlerT m a] -> RqHandlerT m aSource

ifReq :: Monad m => (RequestContext -> Bool) -> RqHandlerT m a -> RqHandlerT m a -> RqHandlerT m aSource

underString :: Monad m => (String -> RqHandlerT m a) -> RqHandlerT m aSource

under :: Monad m => String -> RqHandlerT m a -> RqHandlerT m aSource

underInteger :: Monad m => (Integer -> RqHandlerT m a) -> RqHandlerT m aSource

reprocessLastDir :: Monad m => RqHandlerT m a -> RqHandlerT m aSource

underNoDir :: Monad m => RqHandlerT m a -> RqHandlerT m aSource

withDocName :: Monad m => String -> RqHandlerT m a -> RqHandlerT m aSource

withDocNameInteger :: Monad m => (Integer -> RqHandlerT m a) -> RqHandlerT m aSource

withDocNameString :: Monad m => (String -> RqHandlerT m a) -> RqHandlerT m aSource

modReq :: Monad m => (RequestContext -> RequestContext) -> RqHandlerT m a -> RqHandlerT m aSource

modResp :: Monad m => (a -> b) -> RqHandlerT m a -> RqHandlerT m bSource

filterReq :: Monad m => (RequestContext -> Bool) -> RqHandlerT m a -> RqHandlerT m aSource

sat :: Monad m => (RequestContext -> a) -> (a -> Bool) -> RqHandlerT m b -> RqHandlerT m bSource

ifMethod :: Monad m => RequestMethod -> RqHandlerT m a -> RqHandlerT m aSource

formatEq :: Monad m => String -> RqHandlerT m a -> RqHandlerT m aSource

formatHtml :: Monad m => RqHandlerT m a -> RqHandlerT m aSource

ifPost :: Monad m => RqHandlerT m a -> RqHandlerT m aSource

ifGet :: Monad m => RqHandlerT m a -> RqHandlerT m aSource

eq :: (Eq a, Monad m) => (RequestContext -> a) -> a -> RqHandlerT m b -> RqHandlerT m bSource

failWith :: Monad m => RqHandlerT m a -> RqHandlerT m a -> RqHandlerT m aSource

getResponse :: Monad m => RqHandlerT m BasicRsp -> RequestContext -> m ResponseSource

respWithStatic :: MonadIO m => String -> RqHandlerT m BasicRspSource

mapDir :: MonadIO m => String -> RqHandlerT m BasicRspSource

printString :: String -> IORqHandler ()Source

printFullReq :: IORqHandler ()Source

debug :: IORqHandler a -> IORqHandler aSource

debugStr :: String -> IORqHandler a -> IORqHandler aSource

printReq :: IORqHandler a -> IORqHandler aSource

withRequestDo :: Monad m => (RequestContext -> m a) -> RqHandlerT m aSource

withParam :: Monad m => (RequestContext -> Maybe a) -> (a -> RqHandlerT m b) -> RqHandlerT m bSource

maybeReads :: Read a => String -> Maybe aSource

withQueryField :: Monad m => String -> (String -> RqHandlerT m a) -> RqHandlerT m aSource

withQuery :: Monad m => ([(String, String)] -> RqHandlerT m a) -> RqHandlerT m aSource

withPostField :: Monad m => String -> (String -> RqHandlerT m a) -> RqHandlerT m aSource

withPostFields :: Monad m => ([(String, String)] -> RqHandlerT m a) -> RqHandlerT m aSource

withPostFieldFileName :: Monad m => String -> (Maybe String -> RqHandlerT m a) -> RqHandlerT m aSource

showReqHtml :: Monad m => RqHandlerT m HtmlSource

showReq :: RequestContext -> HtmlSource

data HandlerRsp a Source

Constructors

HandlerRsp 

Fields

hanRspHeaders :: [Header]
 
hanRspBody :: Either Non200Response a
 

Instances

data Non200Response Source

Constructors

RedirectResp 

non200response :: Non200Response -> ResponseSource

okHTTPStrResponse :: String -> ResponseSource

redirectResponse :: ResponseSource

redirectToRsp :: String -> HandlerRsp aSource

type BasicRsp = HandlerRsp BasicRspBodySource

data BasicRspBody Source

Constructors

FileResp Integer FilePath 
StrResp String 

basicRspWith :: (a -> String) -> HandlerRsp a -> BasicRspSource

fileRsp :: Integer -> FilePath -> BasicRspSource

maybeBasicRspToResponse :: Maybe BasicRsp -> ResponseSource

notFoundResponse :: ResponseSource

basicRspToResponse :: BasicRsp -> ResponseSource

basicRspBodyToResponse :: BasicRspBody -> ResponseSource

runHttpServer :: PortNumber -> [IORqHandler BasicRsp] -> IO ()Source