Safe Haskell	None
Language	Haskell2010

Network.Gitit.Server

Documentation

bytestring :: HasRqData m => m a -> m a #

data Cookie #

Constructors

Cookie
Fields cookieVersion :: String cookiePath :: String cookieDomain :: String cookieName :: String cookieValue :: String secure :: Bool httpOnly :: Bool sameSite :: SameSite partitioned :: Bool

Instances

data Response #

Constructors

Response
Fields rsCode :: Int rsHeaders :: Headers rsFlags :: RsFlags rsBody :: ByteString rsValidator :: Maybe (Response -> IO Response)
SendFile
Fields rsCode :: Int rsHeaders :: Headers rsFlags :: RsFlags rsValidator :: Maybe (Response -> IO Response) sfFilePath :: FilePath sfOffset :: Integer sfCount :: Integer

Instances

Instances details

Show Response
Instance details Defined in Happstack.Server.Internal.Types Methods showsPrec :: Int -> Response -> ShowS Source # show :: Response -> String Source # showList :: [Response] -> ShowS Source #
HasHeaders Response
Instance details Defined in Happstack.Server.Internal.Types Methods updateHeaders :: (Headers -> Headers) -> Response -> Response headers :: Response -> Headers
ToMessage Response
Instance details Defined in Happstack.Server.Response Methods toContentType :: Response -> ByteString # toMessage :: Response -> ByteString # toResponse :: Response -> Response #
Monad m => FilterMonad Response (ServerPartT m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (Response -> Response) -> ServerPartT m () # composeFilter :: (Response -> Response) -> ServerPartT m () # getFilter :: ServerPartT m b -> ServerPartT m (b, Response -> Response) #
Monad m => FilterMonad Response (WebT m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (Response -> Response) -> WebT m () # composeFilter :: (Response -> Response) -> WebT m () # getFilter :: WebT m b -> WebT m (b, Response -> Response) #
Monad m => WebMonad Response (ServerPartT m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: Response -> ServerPartT m b #
Monad m => WebMonad Response (WebT m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: Response -> WebT m b #

data Request #

Constructors

Request
Fields rqSecure :: Bool rqMethod :: Method rqPaths :: [String] rqUri :: String rqQuery :: String rqInputsQuery :: [(String, Input)] rqInputsBody :: MVar [(String, Input)] rqCookies :: [(String, Cookie)] rqVersion :: HttpVersion rqHeaders :: Headers rqBody :: MVar RqBody rqPeer :: Host

Instances

Instances details

Show Request
Instance details Defined in Happstack.Server.Internal.Types Methods showsPrec :: Int -> Request -> ShowS Source # show :: Request -> String Source # showList :: [Request] -> ShowS Source #
HasHeaders Request
Instance details Defined in Happstack.Server.Internal.Types Methods updateHeaders :: (Headers -> Headers) -> Request -> Request headers :: Request -> Headers

data Method #

Constructors

GET
HEAD
POST
PUT
DELETE
TRACE
OPTIONS
CONNECT
PATCH
EXTENSION ByteString

Instances

Instances details

Data Method
Instance details Defined in Happstack.Server.Internal.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Method -> c Method Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Method Source # toConstr :: Method -> Constr Source # dataTypeOf :: Method -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Method) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Method) Source # gmapT :: (forall b. Data b => b -> b) -> Method -> Method Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Method -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Method -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Method -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Method -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Method -> m Method Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Method -> m Method Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Method -> m Method Source #
Read Method
Instance details Defined in Happstack.Server.Internal.Types Methods readsPrec :: Int -> ReadS Method Source # readList :: ReadS [Method] Source # readPrec :: ReadPrec Method Source # readListPrec :: ReadPrec [Method] Source #
Show Method
Instance details Defined in Happstack.Server.Internal.Types Methods showsPrec :: Int -> Method -> ShowS Source # show :: Method -> String Source # showList :: [Method] -> ShowS Source #
Eq Method
Instance details Defined in Happstack.Server.Internal.Types Methods (==) :: Method -> Method -> Bool Source # (/=) :: Method -> Method -> Bool Source #
Ord Method
Instance details Defined in Happstack.Server.Internal.Types Methods compare :: Method -> Method -> Ordering Source # (<) :: Method -> Method -> Bool Source # (<=) :: Method -> Method -> Bool Source # (>) :: Method -> Method -> Bool Source # (>=) :: Method -> Method -> Bool Source # max :: Method -> Method -> Method Source # min :: Method -> Method -> Method Source #
MatchMethod Method
Instance details Defined in Happstack.Server.Routing Methods matchMethod :: Method -> Method -> Bool #
MatchMethod [Method]
Instance details Defined in Happstack.Server.Routing Methods matchMethod :: [Method] -> Method -> Bool #
MatchMethod (Method -> Bool)
Instance details Defined in Happstack.Server.Routing Methods matchMethod :: (Method -> Bool) -> Method -> Bool #

data Conf #

Constructors

Conf
Fields port :: Int validator :: Maybe (Response -> IO Response) logAccess :: forall t. FormatTime t => Maybe (LogAccess t) timeout :: Int threadGroup :: Maybe ThreadGroup

host :: (ServerMonad m, MonadPlus m) => String -> m a -> m a #

simpleHTTP :: ToMessage a => Conf -> ServerPartT IO a -> IO () #

addCookie :: (MonadIO m, FilterMonad Response m) => CookieLife -> Cookie -> m () #

look :: (Functor m, Monad m, HasRqData m) => String -> m String #

body :: HasRqData m => m a -> m a #

dir :: (ServerMonad m, MonadPlus m) => String -> m a -> m a #

method :: (ServerMonad m, MonadPlus m, MatchMethod method) => method -> m () #

flatten :: (ToMessage a, Functor f) => f a -> f Response #

path :: (FromReqURI a, MonadPlus m, ServerMonad m) => (a -> m b) -> m b #

data CookieLife #

Constructors

Session
MaxAge Int
Expires UTCTime
Expired

Instances

Instances details

Read CookieLife
Instance details Defined in Happstack.Server.Internal.Cookie Methods readsPrec :: Int -> ReadS CookieLife Source # readList :: ReadS [CookieLife] Source # readPrec :: ReadPrec CookieLife Source # readListPrec :: ReadPrec [CookieLife] Source #
Show CookieLife
Instance details Defined in Happstack.Server.Internal.Cookie Methods showsPrec :: Int -> CookieLife -> ShowS Source # show :: CookieLife -> String Source # showList :: [CookieLife] -> ShowS Source #
Eq CookieLife
Instance details Defined in Happstack.Server.Internal.Cookie Methods (==) :: CookieLife -> CookieLife -> Bool Source # (/=) :: CookieLife -> CookieLife -> Bool Source #
Ord CookieLife
Instance details Defined in Happstack.Server.Internal.Cookie Methods compare :: CookieLife -> CookieLife -> Ordering Source # (<) :: CookieLife -> CookieLife -> Bool Source # (<=) :: CookieLife -> CookieLife -> Bool Source # (>) :: CookieLife -> CookieLife -> Bool Source # (>=) :: CookieLife -> CookieLife -> Bool Source # max :: CookieLife -> CookieLife -> CookieLife Source # min :: CookieLife -> CookieLife -> CookieLife Source #

data Length #

Constructors

ContentLength
TransferEncodingChunked
NoContentLength

Instances

Instances details

Enum Length
Instance details Defined in Happstack.Server.Internal.Types Methods succ :: Length -> Length Source # pred :: Length -> Length Source # toEnum :: Int -> Length Source # fromEnum :: Length -> Int Source # enumFrom :: Length -> [Length] Source # enumFromThen :: Length -> Length -> [Length] Source # enumFromTo :: Length -> Length -> [Length] Source # enumFromThenTo :: Length -> Length -> Length -> [Length] Source #
Read Length
Instance details Defined in Happstack.Server.Internal.Types Methods readsPrec :: Int -> ReadS Length Source # readList :: ReadS [Length] Source # readPrec :: ReadPrec Length Source # readListPrec :: ReadPrec [Length] Source #
Show Length
Instance details Defined in Happstack.Server.Internal.Types Methods showsPrec :: Int -> Length -> ShowS Source # show :: Length -> String Source # showList :: [Length] -> ShowS Source #
Eq Length
Instance details Defined in Happstack.Server.Internal.Types Methods (==) :: Length -> Length -> Bool Source # (/=) :: Length -> Length -> Bool Source #
Ord Length
Instance details Defined in Happstack.Server.Internal.Types Methods compare :: Length -> Length -> Ordering Source # (<) :: Length -> Length -> Bool Source # (<=) :: Length -> Length -> Bool Source # (>) :: Length -> Length -> Bool Source # (>=) :: Length -> Length -> Bool Source # max :: Length -> Length -> Length Source # min :: Length -> Length -> Length Source #

class Monad m => FilterMonad a (m :: Type -> Type) | m -> a where #

Methods

setFilter :: (a -> a) -> m () #

composeFilter :: (a -> a) -> m () #

getFilter :: m b -> m (b, a -> a) #

Instances

Instances details

Monad m => FilterMonad Response (ServerPartT m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (Response -> Response) -> ServerPartT m () # composeFilter :: (Response -> Response) -> ServerPartT m () # getFilter :: ServerPartT m b -> ServerPartT m (b, Response -> Response) #
Monad m => FilterMonad Response (WebT m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (Response -> Response) -> WebT m () # composeFilter :: (Response -> Response) -> WebT m () # getFilter :: WebT m b -> WebT m (b, Response -> Response) #
Monad m => FilterMonad a (FilterT a m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (a -> a) -> FilterT a m () # composeFilter :: (a -> a) -> FilterT a m () # getFilter :: FilterT a m b -> FilterT a m (b, a -> a) #
FilterMonad a m => FilterMonad a (ExceptT e m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (a -> a) -> ExceptT e m () # composeFilter :: (a -> a) -> ExceptT e m () # getFilter :: ExceptT e m b -> ExceptT e m (b, a -> a) #
FilterMonad res m => FilterMonad res (ReaderT r m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (res -> res) -> ReaderT r m () # composeFilter :: (res -> res) -> ReaderT r m () # getFilter :: ReaderT r m b -> ReaderT r m (b, res -> res) #
FilterMonad res m => FilterMonad res (StateT s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (res -> res) -> StateT s m () # composeFilter :: (res -> res) -> StateT s m () # getFilter :: StateT s m b -> StateT s m (b, res -> res) #
FilterMonad res m => FilterMonad res (StateT s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (res -> res) -> StateT s m () # composeFilter :: (res -> res) -> StateT s m () # getFilter :: StateT s m b -> StateT s m (b, res -> res) #
(FilterMonad res m, Monoid w) => FilterMonad res (WriterT w m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (res -> res) -> WriterT w m () # composeFilter :: (res -> res) -> WriterT w m () # getFilter :: WriterT w m b -> WriterT w m (b, res -> res) #
(FilterMonad res m, Monoid w) => FilterMonad res (WriterT w m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (res -> res) -> WriterT w m () # composeFilter :: (res -> res) -> WriterT w m () # getFilter :: WriterT w m b -> WriterT w m (b, res -> res) #
(FilterMonad res m, Monoid w) => FilterMonad res (RWST r w s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (res -> res) -> RWST r w s m () # composeFilter :: (res -> res) -> RWST r w s m () # getFilter :: RWST r w s m b -> RWST r w s m (b, res -> res) #
(FilterMonad res m, Monoid w) => FilterMonad res (RWST r w s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods setFilter :: (res -> res) -> RWST r w s m () # composeFilter :: (res -> res) -> RWST r w s m () # getFilter :: RWST r w s m b -> RWST r w s m (b, res -> res) #

newtype RqBody #

Constructors

Body
Fields unBody :: ByteString

Instances

Instances details

Read RqBody
Instance details Defined in Happstack.Server.Internal.Types Methods readsPrec :: Int -> ReadS RqBody Source # readList :: ReadS [RqBody] Source # readPrec :: ReadPrec RqBody Source # readListPrec :: ReadPrec [RqBody] Source #
Show RqBody
Instance details Defined in Happstack.Server.Internal.Types Methods showsPrec :: Int -> RqBody -> ShowS Source # show :: RqBody -> String Source # showList :: [RqBody] -> ShowS Source #

result :: Int -> String -> Response #

spUnwrapErrorT :: Monad m => (e -> ServerPartT m a) -> Request -> UnWebT (ExceptT e m) a -> UnWebT m a #

data SameSite #

Constructors

SameSiteLax
SameSiteStrict
SameSiteNone
SameSiteNoValue

Instances

Instances details

Data SameSite
Instance details Defined in Happstack.Server.Internal.Cookie Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SameSite -> c SameSite Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SameSite Source # toConstr :: SameSite -> Constr Source # dataTypeOf :: SameSite -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SameSite) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SameSite) Source # gmapT :: (forall b. Data b => b -> b) -> SameSite -> SameSite Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SameSite -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SameSite -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SameSite -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SameSite -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SameSite -> m SameSite Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SameSite -> m SameSite Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SameSite -> m SameSite Source #
Read SameSite
Instance details Defined in Happstack.Server.Internal.Cookie Methods readsPrec :: Int -> ReadS SameSite Source # readList :: ReadS [SameSite] Source # readPrec :: ReadPrec SameSite Source # readListPrec :: ReadPrec [SameSite] Source #
Show SameSite
Instance details Defined in Happstack.Server.Internal.Cookie Methods showsPrec :: Int -> SameSite -> ShowS Source # show :: SameSite -> String Source # showList :: [SameSite] -> ShowS Source #
Eq SameSite
Instance details Defined in Happstack.Server.Internal.Cookie Methods (==) :: SameSite -> SameSite -> Bool Source # (/=) :: SameSite -> SameSite -> Bool Source #
Ord SameSite
Instance details Defined in Happstack.Server.Internal.Cookie Methods compare :: SameSite -> SameSite -> Ordering Source # (<) :: SameSite -> SameSite -> Bool Source # (<=) :: SameSite -> SameSite -> Bool Source # (>) :: SameSite -> SameSite -> Bool Source # (>=) :: SameSite -> SameSite -> Bool Source # max :: SameSite -> SameSite -> SameSite Source # min :: SameSite -> SameSite -> SameSite Source #

mkCookie :: String -> String -> Cookie #

data ContentType #

Constructors

ContentType
Fields ctType :: String ctSubtype :: String ctParameters :: [(String, String)]

Instances

Instances details

Read ContentType
Instance details Defined in Happstack.Server.Internal.RFC822Headers Methods readsPrec :: Int -> ReadS ContentType Source # readList :: ReadS [ContentType] Source # readPrec :: ReadPrec ContentType Source # readListPrec :: ReadPrec [ContentType] Source #
Show ContentType
Instance details Defined in Happstack.Server.Internal.RFC822Headers Methods showsPrec :: Int -> ContentType -> ShowS Source # show :: ContentType -> String Source # showList :: [ContentType] -> ShowS Source #
Eq ContentType
Instance details Defined in Happstack.Server.Internal.RFC822Headers Methods (==) :: ContentType -> ContentType -> Bool Source # (/=) :: ContentType -> ContentType -> Bool Source #
Ord ContentType
Instance details Defined in Happstack.Server.Internal.RFC822Headers Methods compare :: ContentType -> ContentType -> Ordering Source # (<) :: ContentType -> ContentType -> Bool Source # (<=) :: ContentType -> ContentType -> Bool Source # (>) :: ContentType -> ContentType -> Bool Source # (>=) :: ContentType -> ContentType -> Bool Source # max :: ContentType -> ContentType -> ContentType Source # min :: ContentType -> ContentType -> ContentType Source #

class FromReqURI a where #

Methods

fromReqURI :: String -> Maybe a #

Instances

Instances details

FromReqURI Int16
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Int16 #
FromReqURI Int32
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Int32 #
FromReqURI Int64
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Int64 #
FromReqURI Int8
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Int8 #
FromReqURI Word16
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Word16 #
FromReqURI Word32
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Word32 #
FromReqURI Word64
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Word64 #
FromReqURI Word8
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Word8 #
FromReqURI SessionKey Source #
Instance details Defined in Network.Gitit.Types Methods fromReqURI :: String -> Maybe SessionKey #
FromReqURI Text
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Text #
FromReqURI Text
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Text #
FromReqURI Integer
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Integer #
FromReqURI String
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe String #
FromReqURI Bool
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Bool #
FromReqURI Char
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Char #
FromReqURI Double
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Double #
FromReqURI Float
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Float #
FromReqURI Int
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Int #
FromReqURI Word
Instance details Defined in Happstack.Server.Internal.Types Methods fromReqURI :: String -> Maybe Word #

type Host = (String, Int) #

data Input #

Constructors

Input
Fields inputValue :: Either FilePath ByteString inputFilename :: Maybe FilePath inputContentType :: ContentType

Instances

Instances details

Read Input
Instance details Defined in Happstack.Server.Internal.Types Methods readsPrec :: Int -> ReadS Input Source # readList :: ReadS [Input] Source # readPrec :: ReadPrec Input Source # readListPrec :: ReadPrec [Input] Source #
Show Input
Instance details Defined in Happstack.Server.Internal.Types Methods showsPrec :: Int -> Input -> ShowS Source # show :: Input -> String Source # showList :: [Input] -> ShowS Source #
MonadReader RqEnv RqData
Instance details Defined in Happstack.Server.RqData Methods ask :: RqData RqEnv Source # local :: (RqEnv -> RqEnv) -> RqData a -> RqData a Source # reader :: (RqEnv -> a) -> RqData a Source #

data RsFlags #

Constructors

RsFlags
Fields rsfLength :: Length

Instances

Instances details

Read RsFlags
Instance details Defined in Happstack.Server.Internal.Types Methods readsPrec :: Int -> ReadS RsFlags Source # readList :: ReadS [RsFlags] Source # readPrec :: ReadPrec RsFlags Source # readListPrec :: ReadPrec [RsFlags] Source #
Show RsFlags
Instance details Defined in Happstack.Server.Internal.Types Methods showsPrec :: Int -> RsFlags -> ShowS Source # show :: RsFlags -> String Source # showList :: [RsFlags] -> ShowS Source #

type Headers = Map ByteString HeaderPair #

data HeaderPair #

Constructors

HeaderPair
Fields hName :: ByteString hValue :: [ByteString]

Instances

Instances details

Read HeaderPair
Instance details Defined in Happstack.Server.Internal.Types Methods readsPrec :: Int -> ReadS HeaderPair Source # readList :: ReadS [HeaderPair] Source # readPrec :: ReadPrec HeaderPair Source # readListPrec :: ReadPrec [HeaderPair] Source #
Show HeaderPair
Instance details Defined in Happstack.Server.Internal.Types Methods showsPrec :: Int -> HeaderPair -> ShowS Source # show :: HeaderPair -> String Source # showList :: [HeaderPair] -> ShowS Source #
HasHeaders Headers
Instance details Defined in Happstack.Server.Internal.Types Methods updateHeaders :: (Headers -> Headers) -> Headers -> Headers headers :: Headers -> Headers

type LogAccess time = String -> String -> time -> String -> Int -> Integer -> String -> String -> IO () #

data HttpVersion #

Constructors

HttpVersion Int Int

Instances

Instances details

Read HttpVersion
Instance details Defined in Happstack.Server.Internal.Types Methods readsPrec :: Int -> ReadS HttpVersion Source # readList :: ReadS [HttpVersion] Source # readPrec :: ReadPrec HttpVersion Source # readListPrec :: ReadPrec [HttpVersion] Source #
Show HttpVersion
Instance details Defined in Happstack.Server.Internal.Types Methods showsPrec :: Int -> HttpVersion -> ShowS Source # show :: HttpVersion -> String Source # showList :: [HttpVersion] -> ShowS Source #
Eq HttpVersion
Instance details Defined in Happstack.Server.Internal.Types Methods (==) :: HttpVersion -> HttpVersion -> Bool Source # (/=) :: HttpVersion -> HttpVersion -> Bool Source #

isHTTP1_1 :: Request -> Bool #

isHTTP1_0 :: Request -> Bool #

continueHTTP :: Request -> Response -> Bool #

nullConf :: Conf #

logMAccess :: FormatTime t => LogAccess t #

nullRsFlags :: RsFlags #

noContentLength :: Response -> Response #

chunked :: Response -> Response #

contentLength :: Response -> Response #

takeRequestBody :: MonadIO m => Request -> m (Maybe RqBody) #

readInputsBody :: Request -> IO (Maybe [(String, Input)]) #

rqURL :: Request -> String #

setRsCode :: Monad m => Int -> Response -> m Response #

mkHeaders :: [(String, String)] -> Headers #

getHeader :: HasHeaders r => String -> r -> Maybe ByteString #

getHeaderBS :: HasHeaders r => ByteString -> r -> Maybe ByteString #

getHeaderUnsafe :: HasHeaders r => ByteString -> r -> Maybe ByteString #

hasHeader :: HasHeaders r => String -> r -> Bool #

hasHeaderBS :: HasHeaders r => ByteString -> r -> Bool #

hasHeaderUnsafe :: HasHeaders r => ByteString -> r -> Bool #

setHeader :: HasHeaders r => String -> String -> r -> r #

setHeaderBS :: HasHeaders r => ByteString -> ByteString -> r -> r #

setHeaderUnsafe :: HasHeaders r => ByteString -> HeaderPair -> r -> r #

addHeader :: HasHeaders r => String -> String -> r -> r #

addHeaderBS :: HasHeaders r => ByteString -> ByteString -> r -> r #

addHeaderUnsafe :: HasHeaders r => ByteString -> HeaderPair -> r -> r #

resultBS :: Int -> ByteString -> Response #

redirect :: ToSURI s => Int -> s -> Response -> Response #

readDec' :: (Num a, Eq a) => String -> a #

fromReadS :: [(a, String)] -> Maybe a #

data BodyPolicy #

Constructors

BodyPolicy
Fields inputWorker :: Int64 -> Int64 -> Int64 -> InputWorker maxDisk :: Int64 maxRAM :: Int64 maxHeader :: Int64

defaultBodyPolicy :: FilePath -> Int64 -> Int64 -> Int64 -> BodyPolicy #

decodeBody :: (ServerMonad m, MonadPlus m, MonadIO m, FilterMonad Response m, WebMonad Response m) => BodyPolicy -> m () #

class Monad m => WebMonad a (m :: Type -> Type) | m -> a where #

Methods

finishWith :: a -> m b #

Instances

Instances details

Monad m => WebMonad Response (ServerPartT m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: Response -> ServerPartT m b #
Monad m => WebMonad Response (WebT m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: Response -> WebT m b #
WebMonad a m => WebMonad a (ExceptT e m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: a -> ExceptT e m b #
WebMonad a m => WebMonad a (ReaderT r m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: a -> ReaderT r m b #
WebMonad a m => WebMonad a (StateT s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: a -> StateT s m b #
WebMonad a m => WebMonad a (StateT s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: a -> StateT s m b #
(WebMonad a m, Monoid w) => WebMonad a (WriterT w m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: a -> WriterT w m b #
(WebMonad a m, Monoid w) => WebMonad a (WriterT w m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: a -> WriterT w m b #
(WebMonad a m, Monoid w) => WebMonad a (RWST r w s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: a -> RWST r w s m b #
(WebMonad a m, Monoid w) => WebMonad a (RWST r w s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods finishWith :: a -> RWST r w s m b #

type UnWebT (m :: Type -> Type) a = m (Maybe (Either Response a, FilterFun Response)) #

class Monad m => ServerMonad (m :: Type -> Type) where #

Methods

askRq :: m Request #

localRq :: (Request -> Request) -> m a -> m a #

Instances

Instances details

Monad m => ServerMonad (ServerPartT m)
Instance details Defined in Happstack.Server.Internal.Monads Methods askRq :: ServerPartT m Request # localRq :: (Request -> Request) -> ServerPartT m a -> ServerPartT m a #
ServerMonad m => ServerMonad (ExceptT e m)
Instance details Defined in Happstack.Server.Internal.Monads Methods askRq :: ExceptT e m Request # localRq :: (Request -> Request) -> ExceptT e m a -> ExceptT e m a #
ServerMonad m => ServerMonad (ReaderT r m)
Instance details Defined in Happstack.Server.Internal.Monads Methods askRq :: ReaderT r m Request # localRq :: (Request -> Request) -> ReaderT r m a -> ReaderT r m a #
ServerMonad m => ServerMonad (StateT s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods askRq :: StateT s m Request # localRq :: (Request -> Request) -> StateT s m a -> StateT s m a #
ServerMonad m => ServerMonad (StateT s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods askRq :: StateT s m Request # localRq :: (Request -> Request) -> StateT s m a -> StateT s m a #
(ServerMonad m, Monoid w) => ServerMonad (WriterT w m)
Instance details Defined in Happstack.Server.Internal.Monads Methods askRq :: WriterT w m Request # localRq :: (Request -> Request) -> WriterT w m a -> WriterT w m a #
(ServerMonad m, Monoid w) => ServerMonad (WriterT w m)
Instance details Defined in Happstack.Server.Internal.Monads Methods askRq :: WriterT w m Request # localRq :: (Request -> Request) -> WriterT w m a -> WriterT w m a #
(ServerMonad m, Monoid w) => ServerMonad (RWST r w s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods askRq :: RWST r w s m Request # localRq :: (Request -> Request) -> RWST r w s m a -> RWST r w s m a #
(ServerMonad m, Monoid w) => ServerMonad (RWST r w s m)
Instance details Defined in Happstack.Server.Internal.Monads Methods askRq :: RWST r w s m Request # localRq :: (Request -> Request) -> RWST r w s m a -> RWST r w s m a #

data ServerPartT (m :: Type -> Type) a #

Instances

Instances details

HasContext ContentTransformer Source #

Instance details

Defined in Network.Gitit.Types

Methods

getContext :: ContentTransformer Context Source #

modifyContext :: (Context -> Context) -> ContentTransformer () Source #

MonadTransControl ServerPartT

Instance details

Defined in Happstack.Server.Internal.Monads

Associated Types

type StT ServerPartT a
Instance details Defined in Happstack.Server.Internal.Monads type StT ServerPartT a = StT WebT (StT (ReaderT Request) a)

Methods

liftWith :: Monad m => (Run ServerPartT -> m a) -> ServerPartT m a

restoreT :: Monad m => m (StT ServerPartT a) -> ServerPartT m a

MonadTrans ServerPartT

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

lift :: Monad m => m a -> ServerPartT m a Source #

Monad m => FilterMonad Response (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

setFilter :: (Response -> Response) -> ServerPartT m () #

composeFilter :: (Response -> Response) -> ServerPartT m () #

getFilter :: ServerPartT m b -> ServerPartT m (b, Response -> Response) #

Monad m => WebMonad Response (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

finishWith :: Response -> ServerPartT m b #

MonadBaseControl b m => MonadBaseControl b (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

liftBaseWith :: (RunInBase (ServerPartT m) b -> b a) -> ServerPartT m a

restoreM :: StM (ServerPartT m) a -> ServerPartT m a

(Monad m, MonadError e m) => MonadError e (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

throwError :: e -> ServerPartT m a Source #

catchError :: ServerPartT m a -> (e -> ServerPartT m a) -> ServerPartT m a Source #

(Monad m, MonadReader r m) => MonadReader r (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

ask :: ServerPartT m r Source #

local :: (r -> r) -> ServerPartT m a -> ServerPartT m a Source #

reader :: (r -> a) -> ServerPartT m a Source #

(Monad m, MonadState s m) => MonadState s (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

get :: ServerPartT m s Source #

put :: s -> ServerPartT m () Source #

state :: (s -> (a, s)) -> ServerPartT m a Source #

(Monad m, MonadWriter w m) => MonadWriter w (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

writer :: (a, w) -> ServerPartT m a Source #

tell :: w -> ServerPartT m () Source #

listen :: ServerPartT m a -> ServerPartT m (a, w) Source #

pass :: ServerPartT m (a, w -> w) -> ServerPartT m a Source #

MonadBase b m => MonadBase b (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

liftBase :: b α -> ServerPartT m α

MonadIO m => MonadIO (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

liftIO :: IO a -> ServerPartT m a Source #

MonadCatch m => MonadCatch (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

catch :: (HasCallStack, Exception e) => ServerPartT m a -> (e -> ServerPartT m a) -> ServerPartT m a Source #

MonadThrow m => MonadThrow (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

throwM :: (HasCallStack, Exception e) => e -> ServerPartT m a Source #

(Functor m, MonadPlus m) => Alternative (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

empty :: ServerPartT m a Source #

(<|>) :: ServerPartT m a -> ServerPartT m a -> ServerPartT m a Source #

some :: ServerPartT m a -> ServerPartT m [a] Source #

many :: ServerPartT m a -> ServerPartT m [a] Source #

(Monad m, Functor m) => Applicative (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

pure :: a -> ServerPartT m a Source #

(<*>) :: ServerPartT m (a -> b) -> ServerPartT m a -> ServerPartT m b Source #

liftA2 :: (a -> b -> c) -> ServerPartT m a -> ServerPartT m b -> ServerPartT m c Source #

(*>) :: ServerPartT m a -> ServerPartT m b -> ServerPartT m b Source #

(<*) :: ServerPartT m a -> ServerPartT m b -> ServerPartT m a Source #

Functor m => Functor (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

fmap :: (a -> b) -> ServerPartT m a -> ServerPartT m b Source #

(<$) :: a -> ServerPartT m b -> ServerPartT m a Source #

Monad m => Monad (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

(>>=) :: ServerPartT m a -> (a -> ServerPartT m b) -> ServerPartT m b Source #

(>>) :: ServerPartT m a -> ServerPartT m b -> ServerPartT m b Source #

return :: a -> ServerPartT m a Source #

MonadPlus m => MonadPlus (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

mzero :: ServerPartT m a Source #

mplus :: ServerPartT m a -> ServerPartT m a -> ServerPartT m a Source #

MonadFail m => MonadFail (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

fail :: String -> ServerPartT m a Source #

Monad m => ServerMonad (ServerPartT m)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

askRq :: ServerPartT m Request #

localRq :: (Request -> Request) -> ServerPartT m a -> ServerPartT m a #

(Functor m, Monad m, MonadPlus m, MonadIO m) => Happstack (ServerPartT m)

Instance details

Defined in Happstack.Server.Monads

(MonadIO m, MonadPlus m) => HasRqData (ServerPartT m)

Instance details

Defined in Happstack.Server.RqData

Methods

askRqEnv :: ServerPartT m RqEnv #

localRqEnv :: (RqEnv -> RqEnv) -> ServerPartT m a -> ServerPartT m a #

rqDataError :: Errors String -> ServerPartT m a #

(Monad m, MonadPlus m) => Monoid (ServerPartT m a)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

mempty :: ServerPartT m a Source #

mappend :: ServerPartT m a -> ServerPartT m a -> ServerPartT m a Source #

mconcat :: [ServerPartT m a] -> ServerPartT m a Source #

(Monad m, MonadPlus m) => Semigroup (ServerPartT m a)

Instance details

Defined in Happstack.Server.Internal.Monads

Methods

(<>) :: ServerPartT m a -> ServerPartT m a -> ServerPartT m a Source #

sconcat :: NonEmpty (ServerPartT m a) -> ServerPartT m a Source #

stimes :: Integral b => b -> ServerPartT m a -> ServerPartT m a Source #

type StT ServerPartT a

Instance details

Defined in Happstack.Server.Internal.Monads

type StT ServerPartT a = StT WebT (StT (ReaderT Request) a)

type StM (ServerPartT m) a

Instance details

Defined in Happstack.Server.Internal.Monads

type StM (ServerPartT m) a = ComposeSt ServerPartT m a

type ServerPart a = ServerPartT IO a #

mapServerPartT :: (UnWebT m a -> UnWebT n b) -> ServerPartT m a -> ServerPartT n b #

mapServerPartT' :: (Request -> UnWebT m a -> UnWebT n b) -> ServerPartT m a -> ServerPartT n b #

filterFun :: (a -> a) -> FilterFun a #

ignoreFilters :: FilterMonad a m => m () #

escape :: (WebMonad a m, FilterMonad a m) => m a -> m b #

escape' :: (WebMonad a m, FilterMonad a m) => a -> m b #

escapeHTTP :: (ServerMonad m, MonadIO m) => (TimeoutIO -> IO ()) -> m a #

class ToMessage a where #

Minimal complete definition

Nothing

Methods

toContentType :: a -> ByteString #

toMessage :: a -> ByteString #

toResponse :: a -> Response #

Instances

Instances details

ToMessage Html
Instance details Defined in Happstack.Server.Response Methods toContentType :: Html -> ByteString # toMessage :: Html -> ByteString # toResponse :: Html -> Response #
ToMessage ByteString
Instance details Defined in Happstack.Server.Response Methods toContentType :: ByteString -> ByteString # toMessage :: ByteString -> ByteString # toResponse :: ByteString -> Response #
ToMessage ByteString
Instance details Defined in Happstack.Server.Response Methods toContentType :: ByteString -> ByteString # toMessage :: ByteString -> ByteString # toResponse :: ByteString -> Response #
ToMessage Response
Instance details Defined in Happstack.Server.Response Methods toContentType :: Response -> ByteString # toMessage :: Response -> ByteString # toResponse :: Response -> Response #
ToMessage Html
Instance details Defined in Happstack.Server.Response Methods toContentType :: Html -> ByteString # toMessage :: Html -> ByteString # toResponse :: Html -> Response #
ToMessage Text
Instance details Defined in Happstack.Server.Response Methods toContentType :: Text -> ByteString # toMessage :: Text -> ByteString # toResponse :: Text -> Response #
ToMessage Text
Instance details Defined in Happstack.Server.Response Methods toContentType :: Text -> ByteString # toMessage :: Text -> ByteString # toResponse :: Text -> Response #
ToMessage Html
Instance details Defined in Happstack.Server.Response Methods toContentType :: Html -> ByteString # toMessage :: Html -> ByteString # toResponse :: Html -> Response #
ToMessage Integer
Instance details Defined in Happstack.Server.Response Methods toContentType :: Integer -> ByteString # toMessage :: Integer -> ByteString # toResponse :: Integer -> Response #
ToMessage String
Instance details Defined in Happstack.Server.Response Methods toContentType :: String -> ByteString # toMessage :: String -> ByteString # toResponse :: String -> Response #
ToMessage ()
Instance details Defined in Happstack.Server.Response Methods toContentType :: () -> ByteString # toMessage :: () -> ByteString # toResponse :: () -> Response #
ToMessage a => ToMessage (Maybe a)
Instance details Defined in Happstack.Server.Response Methods toContentType :: Maybe a -> ByteString # toMessage :: Maybe a -> ByteString # toResponse :: Maybe a -> Response #

toResponseBS :: ByteString -> ByteString -> Response #

ifModifiedSince :: UTCTime -> Request -> Response -> Response #

setResponseCode :: FilterMonad Response m => Int -> m () #

resp :: FilterMonad Response m => Int -> b -> m b #

ok :: FilterMonad Response m => a -> m a #

noContent :: FilterMonad Response m => a -> m a #

movedPermanently :: (FilterMonad Response m, ToSURI a) => a -> res -> m res #

found :: (FilterMonad Response m, ToSURI uri) => uri -> res -> m res #

seeOther :: (FilterMonad Response m, ToSURI uri) => uri -> res -> m res #

tempRedirect :: (FilterMonad Response m, ToSURI a) => a -> res -> m res #

badRequest :: FilterMonad Response m => a -> m a #

unauthorized :: FilterMonad Response m => a -> m a #

forbidden :: FilterMonad Response m => a -> m a #

notFound :: FilterMonad Response m => a -> m a #

requestEntityTooLarge :: FilterMonad Response m => a -> m a #

internalServerError :: FilterMonad Response m => a -> m a #

badGateway :: FilterMonad Response m => a -> m a #

prettyResponse :: Response -> String #

setValidator :: (Response -> IO Response) -> Response -> Response #

setValidatorSP :: (Monad m, ToMessage r) => (Response -> IO Response) -> m r -> m Response #

validateConf :: Conf #

runValidator :: (Response -> IO Response) -> Response -> IO Response #

wdgHTMLValidator :: (MonadIO m, ToMessage r) => r -> m Response #

noopValidator :: Response -> IO Response #

lazyProcValidator :: FilePath -> [String] -> Maybe FilePath -> Maybe [(String, String)] -> (Maybe ByteString -> Bool) -> Response -> IO Response #

addCookies :: (MonadIO m, FilterMonad Response m) => [(CookieLife, Cookie)] -> m () #

expireCookie :: (MonadIO m, FilterMonad Response m) => String -> m () #

class FromData a where #

Methods

fromData :: RqData a #

Instances

Instances details

FromData GithubCallbackPars Source #
Instance details Defined in Network.Gitit.Authentication.Github Methods fromData :: RqData GithubCallbackPars #
FromData Command Source #
Instance details Defined in Network.Gitit.Types Methods fromData :: RqData Command #
FromData Params Source #
Instance details Defined in Network.Gitit.Types Methods fromData :: RqData Params #
FromData SessionKey Source #
Instance details Defined in Network.Gitit.Types Methods fromData :: RqData SessionKey #
FromData a => FromData (Maybe a)
Instance details Defined in Happstack.Server.RqData Methods fromData :: RqData (Maybe a) #
(FromData a, FromData b) => FromData (a, b)
Instance details Defined in Happstack.Server.RqData Methods fromData :: RqData (a, b) #
(FromData a, FromData b, FromData c) => FromData (a, b, c)
Instance details Defined in Happstack.Server.RqData Methods fromData :: RqData (a, b, c) #
(FromData a, FromData b, FromData c, FromData d) => FromData (a, b, c, d)
Instance details Defined in Happstack.Server.RqData Methods fromData :: RqData (a, b, c, d) #

class HasRqData (m :: Type -> Type) where #

Methods

askRqEnv :: m RqEnv #

localRqEnv :: (RqEnv -> RqEnv) -> m a -> m a #

rqDataError :: Errors String -> m a #

Instances

Instances details

HasRqData RqData
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: RqData RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> RqData a -> RqData a # rqDataError :: Errors String -> RqData a #
(MonadIO m, MonadPlus m) => HasRqData (ServerPartT m)
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: ServerPartT m RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> ServerPartT m a -> ServerPartT m a # rqDataError :: Errors String -> ServerPartT m a #
(Monad m, HasRqData m) => HasRqData (ExceptT e m)
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: ExceptT e m RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> ExceptT e m a -> ExceptT e m a # rqDataError :: Errors String -> ExceptT e m a #
(Monad m, HasRqData m) => HasRqData (ReaderT s m)
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: ReaderT s m RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> ReaderT s m a -> ReaderT s m a # rqDataError :: Errors String -> ReaderT s m a #
(Monad m, HasRqData m) => HasRqData (StateT s m)
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: StateT s m RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> StateT s m a -> StateT s m a # rqDataError :: Errors String -> StateT s m a #
(Monad m, HasRqData m) => HasRqData (StateT s m)
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: StateT s m RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> StateT s m a -> StateT s m a # rqDataError :: Errors String -> StateT s m a #
(Monad m, HasRqData m, Monoid w) => HasRqData (WriterT w m)
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: WriterT w m RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> WriterT w m a -> WriterT w m a # rqDataError :: Errors String -> WriterT w m a #
(Monad m, HasRqData m, Monoid w) => HasRqData (WriterT w m)
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: WriterT w m RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> WriterT w m a -> WriterT w m a # rqDataError :: Errors String -> WriterT w m a #
(Monad m, HasRqData m, Monoid w) => HasRqData (RWST r w s m)
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: RWST r w s m RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> RWST r w s m a -> RWST r w s m a # rqDataError :: Errors String -> RWST r w s m a #
(Monad m, HasRqData m, Monoid w) => HasRqData (RWST r w s m)
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: RWST r w s m RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> RWST r w s m a -> RWST r w s m a # rqDataError :: Errors String -> RWST r w s m a #

data RqData a #

Instances

Instances details

Alternative RqData
Instance details Defined in Happstack.Server.RqData Methods empty :: RqData a Source # (<\|>) :: RqData a -> RqData a -> RqData a Source # some :: RqData a -> RqData [a] Source # many :: RqData a -> RqData [a] Source #
Applicative RqData
Instance details Defined in Happstack.Server.RqData Methods pure :: a -> RqData a Source # (<>) :: RqData (a -> b) -> RqData a -> RqData b Source # liftA2 :: (a -> b -> c) -> RqData a -> RqData b -> RqData c Source # (>) :: RqData a -> RqData b -> RqData b Source # (<*) :: RqData a -> RqData b -> RqData a Source #
Functor RqData
Instance details Defined in Happstack.Server.RqData Methods fmap :: (a -> b) -> RqData a -> RqData b Source # (<$) :: a -> RqData b -> RqData a Source #
Monad RqData
Instance details Defined in Happstack.Server.RqData Methods (>>=) :: RqData a -> (a -> RqData b) -> RqData b Source # (>>) :: RqData a -> RqData b -> RqData b Source # return :: a -> RqData a Source #
MonadPlus RqData
Instance details Defined in Happstack.Server.RqData Methods mzero :: RqData a Source # mplus :: RqData a -> RqData a -> RqData a Source #
HasRqData RqData
Instance details Defined in Happstack.Server.RqData Methods askRqEnv :: RqData RqEnv # localRqEnv :: (RqEnv -> RqEnv) -> RqData a -> RqData a # rqDataError :: Errors String -> RqData a #
MonadReader RqEnv RqData
Instance details Defined in Happstack.Server.RqData Methods ask :: RqData RqEnv Source # local :: (RqEnv -> RqEnv) -> RqData a -> RqData a Source # reader :: (RqEnv -> a) -> RqData a Source #

type RqEnv = ([(String, Input)], Maybe [(String, Input)], [(String, Cookie)]) #

newtype Errors a #

Constructors

Errors
Fields unErrors :: [a]

Instances

Instances details

Alternative (Either (Errors a))
Instance details Defined in Happstack.Server.RqData Methods empty :: Either (Errors a) a0 Source # (<\|>) :: Either (Errors a) a0 -> Either (Errors a) a0 -> Either (Errors a) a0 Source # some :: Either (Errors a) a0 -> Either (Errors a) [a0] Source # many :: Either (Errors a) a0 -> Either (Errors a) [a0] Source #
Alternative (Either (Errors a)) => MonadPlus (Either (Errors a))
Instance details Defined in Happstack.Server.RqData Methods mzero :: Either (Errors a) a0 Source # mplus :: Either (Errors a) a0 -> Either (Errors a) a0 -> Either (Errors a) a0 Source #
Monoid (Errors a)
Instance details Defined in Happstack.Server.RqData Methods mempty :: Errors a Source # mappend :: Errors a -> Errors a -> Errors a Source # mconcat :: [Errors a] -> Errors a Source #
Semigroup (Errors a)
Instance details Defined in Happstack.Server.RqData Methods (<>) :: Errors a -> Errors a -> Errors a Source # sconcat :: NonEmpty (Errors a) -> Errors a Source # stimes :: Integral b => b -> Errors a -> Errors a Source #
Data a => Data (Errors a)
Instance details Defined in Happstack.Server.RqData Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Errors a -> c (Errors a) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Errors a) Source # toConstr :: Errors a -> Constr Source # dataTypeOf :: Errors a -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Errors a)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Errors a)) Source # gmapT :: (forall b. Data b => b -> b) -> Errors a -> Errors a Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Errors a -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Errors a -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Errors a -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Errors a -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Errors a -> m (Errors a) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Errors a -> m (Errors a) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Errors a -> m (Errors a) Source #
Read a => Read (Errors a)
Instance details Defined in Happstack.Server.RqData Methods readsPrec :: Int -> ReadS (Errors a) Source # readList :: ReadS [Errors a] Source # readPrec :: ReadPrec (Errors a) Source # readListPrec :: ReadPrec [Errors a] Source #
Show a => Show (Errors a)
Instance details Defined in Happstack.Server.RqData Methods showsPrec :: Int -> Errors a -> ShowS Source # show :: Errors a -> String Source # showList :: [Errors a] -> ShowS Source #
Eq a => Eq (Errors a)
Instance details Defined in Happstack.Server.RqData Methods (==) :: Errors a -> Errors a -> Bool Source # (/=) :: Errors a -> Errors a -> Bool Source #
Ord a => Ord (Errors a)
Instance details Defined in Happstack.Server.RqData Methods compare :: Errors a -> Errors a -> Ordering Source # (<) :: Errors a -> Errors a -> Bool Source # (<=) :: Errors a -> Errors a -> Bool Source # (>) :: Errors a -> Errors a -> Bool Source # (>=) :: Errors a -> Errors a -> Bool Source # max :: Errors a -> Errors a -> Errors a Source # min :: Errors a -> Errors a -> Errors a Source #

mapRqData :: (Either (Errors String) a -> Either (Errors String) b) -> RqData a -> RqData b #

unsafeReadRq :: Read a => String -> String -> Either String a #

readRq :: FromReqURI a => String -> String -> Either String a #

checkRq :: (Monad m, HasRqData m) => m a -> (a -> Either String b) -> m b #

checkRqM :: (Monad m, HasRqData m) => m a -> (a -> m (Either String b)) -> m b #

lookInput :: (Monad m, HasRqData m) => String -> m Input #

lookInputs :: (Monad m, HasRqData m) => String -> m [Input] #

lookBS :: (Functor m, Monad m, HasRqData m) => String -> m ByteString #

lookBSs :: (Functor m, Monad m, HasRqData m) => String -> m [ByteString] #

looks :: (Functor m, Monad m, HasRqData m) => String -> m [String] #

lookText :: (Functor m, Monad m, HasRqData m) => String -> m Text #

lookText' :: (Functor m, Monad m, HasRqData m) => String -> m Text #

lookTexts :: (Functor m, Monad m, HasRqData m) => String -> m [Text] #

lookTexts' :: (Functor m, Monad m, HasRqData m) => String -> m [Text] #

lookCookie :: (Monad m, HasRqData m) => String -> m Cookie #

lookCookieValue :: (Functor m, Monad m, HasRqData m) => String -> m String #

readCookieValue :: (Functor m, Monad m, HasRqData m, FromReqURI a) => String -> m a #

lookRead :: (Functor m, Monad m, HasRqData m, FromReqURI a) => String -> m a #

lookReads :: (Functor m, Monad m, HasRqData m, FromReqURI a) => String -> m [a] #

lookFile :: (Monad m, HasRqData m) => String -> m (FilePath, FilePath, ContentType) #

lookPairs :: (Monad m, HasRqData m) => m [(String, Either FilePath String)] #

lookPairsBS :: (Monad m, HasRqData m) => m [(String, Either FilePath ByteString)] #

getDataFn :: (HasRqData m, ServerMonad m) => RqData a -> m (Either [String] a) #

withDataFn :: (HasRqData m, MonadPlus m, ServerMonad m) => RqData a -> (a -> m r) -> m r #

getData :: (HasRqData m, ServerMonad m, FromData a) => m (Either [String] a) #

withData :: (HasRqData m, FromData a, MonadPlus m, ServerMonad m) => (a -> m r) -> m r #

queryString :: HasRqData m => m a -> m a #

class (ServerMonad m, WebMonad Response m, FilterMonad Response m, MonadIO m, MonadPlus m, HasRqData m, Monad m, Functor m, Applicative m, Alternative m) => Happstack (m :: Type -> Type) #

Instances

Instances details

(Functor m, Monad m, MonadPlus m, MonadIO m) => Happstack (ServerPartT m)
Instance details Defined in Happstack.Server.Monads
(Happstack m, Monoid e) => Happstack (ExceptT e m)
Instance details Defined in Happstack.Server.Monads
Happstack m => Happstack (ReaderT r m)
Instance details Defined in Happstack.Server.Monads
Happstack m => Happstack (StateT s m)
Instance details Defined in Happstack.Server.Monads
Happstack m => Happstack (StateT s m)
Instance details Defined in Happstack.Server.Monads
(Happstack m, Monoid w) => Happstack (WriterT w m)
Instance details Defined in Happstack.Server.Monads
(Happstack m, Monoid w) => Happstack (WriterT w m)
Instance details Defined in Happstack.Server.Monads
(Happstack m, Monoid w) => Happstack (RWST r w s m)
Instance details Defined in Happstack.Server.Monads
(Happstack m, Monoid w) => Happstack (RWST r w s m)
Instance details Defined in Happstack.Server.Monads

getHeaderM :: ServerMonad m => String -> m (Maybe ByteString) #

addHeaderM :: FilterMonad Response m => String -> String -> m () #

setHeaderM :: FilterMonad Response m => String -> String -> m () #

neverExpires :: FilterMonad Response m => m () #

require :: (MonadIO m, MonadPlus m) => IO (Maybe a) -> (a -> m r) -> m r #

requireM :: (MonadTrans t, Monad m, MonadPlus (t m)) => m (Maybe a) -> (a -> t m r) -> t m r #

class MatchMethod m where #

Methods

matchMethod :: m -> Method -> Bool #

Instances

Instances details

MatchMethod Method
Instance details Defined in Happstack.Server.Routing Methods matchMethod :: Method -> Method -> Bool #
MatchMethod ()
Instance details Defined in Happstack.Server.Routing Methods matchMethod :: () -> Method -> Bool #
MatchMethod [Method]
Instance details Defined in Happstack.Server.Routing Methods matchMethod :: [Method] -> Method -> Bool #
MatchMethod (Method -> Bool)
Instance details Defined in Happstack.Server.Routing Methods matchMethod :: (Method -> Bool) -> Method -> Bool #

guardRq :: (ServerMonad m, MonadPlus m) => (Request -> Bool) -> m () #

http :: (ServerMonad m, MonadPlus m) => m () #

https :: (ServerMonad m, MonadPlus m) => m () #

methodM :: (ServerMonad m, MonadPlus m, MatchMethod method) => method -> m () #

methodOnly :: (ServerMonad m, MonadPlus m, MatchMethod method) => method -> m () #

methodSP :: (ServerMonad m, MonadPlus m, MatchMethod method) => method -> m b -> m b #

nullDir :: (ServerMonad m, MonadPlus m) => m () #

dirs :: (ServerMonad m, MonadPlus m) => FilePath -> m a -> m a #

withHost :: (ServerMonad m, MonadPlus m) => (String -> m a) -> m a #

uriRest :: ServerMonad m => (String -> m a) -> m a #

anyPath :: (ServerMonad m, MonadPlus m) => m r -> m r #

trailingSlash :: (ServerMonad m, MonadPlus m) => m () #

noTrailingSlash :: (ServerMonad m, MonadPlus m) => m () #

data Browsing #

Constructors

EnableBrowsing
DisableBrowsing

Instances

Instances details

Data Browsing
Instance details Defined in Happstack.Server.FileServe.BuildingBlocks Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Browsing -> c Browsing Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Browsing Source # toConstr :: Browsing -> Constr Source # dataTypeOf :: Browsing -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Browsing) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Browsing) Source # gmapT :: (forall b. Data b => b -> b) -> Browsing -> Browsing Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Browsing -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Browsing -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Browsing -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Browsing -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Browsing -> m Browsing Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Browsing -> m Browsing Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Browsing -> m Browsing Source #
Enum Browsing
Instance details Defined in Happstack.Server.FileServe.BuildingBlocks Methods succ :: Browsing -> Browsing Source # pred :: Browsing -> Browsing Source # toEnum :: Int -> Browsing Source # fromEnum :: Browsing -> Int Source # enumFrom :: Browsing -> [Browsing] Source # enumFromThen :: Browsing -> Browsing -> [Browsing] Source # enumFromTo :: Browsing -> Browsing -> [Browsing] Source # enumFromThenTo :: Browsing -> Browsing -> Browsing -> [Browsing] Source #
Read Browsing
Instance details Defined in Happstack.Server.FileServe.BuildingBlocks Methods readsPrec :: Int -> ReadS Browsing Source # readList :: ReadS [Browsing] Source # readPrec :: ReadPrec Browsing Source # readListPrec :: ReadPrec [Browsing] Source #
Show Browsing
Instance details Defined in Happstack.Server.FileServe.BuildingBlocks Methods showsPrec :: Int -> Browsing -> ShowS Source # show :: Browsing -> String Source # showList :: [Browsing] -> ShowS Source #
Eq Browsing
Instance details Defined in Happstack.Server.FileServe.BuildingBlocks Methods (==) :: Browsing -> Browsing -> Bool Source # (/=) :: Browsing -> Browsing -> Bool Source #
Ord Browsing
Instance details Defined in Happstack.Server.FileServe.BuildingBlocks Methods compare :: Browsing -> Browsing -> Ordering Source # (<) :: Browsing -> Browsing -> Bool Source # (<=) :: Browsing -> Browsing -> Bool Source # (>) :: Browsing -> Browsing -> Bool Source # (>=) :: Browsing -> Browsing -> Bool Source # max :: Browsing -> Browsing -> Browsing Source # min :: Browsing -> Browsing -> Browsing Source #

type MimeMap = Map String String #

guessContentTypeM :: Monad m => MimeMap -> FilePath -> m String #

asContentType :: Monad m => String -> FilePath -> m String #

defaultIxFiles :: [FilePath] #

serveFile :: (ServerMonad m, FilterMonad Response m, MonadIO m, MonadPlus m) => (FilePath -> m String) -> FilePath -> m Response #

serveFileFrom :: (ServerMonad m, FilterMonad Response m, MonadIO m, MonadPlus m) => FilePath -> (FilePath -> m String) -> FilePath -> m Response #

fileServe :: (WebMonad Response m, ServerMonad m, FilterMonad Response m, MonadIO m, MonadPlus m) => [FilePath] -> FilePath -> m Response #

serveDirectory :: (WebMonad Response m, ServerMonad m, FilterMonad Response m, MonadIO m, MonadPlus m) => Browsing -> [FilePath] -> FilePath -> m Response #

mimeTypes :: MimeMap #

simpleErrorHandler :: forall (m :: Type -> Type). Monad m => String -> ServerPartT m Response #

errorHandlerSP :: forall (m :: Type -> Type) e a. Monad m => (Request -> e -> WebT m a) -> ServerPartT (ExceptT e m) a -> ServerPartT m a #

basicAuth :: Happstack m => String -> Map String String -> m a -> m a #

basicAuthBy :: Happstack m => (ByteString -> ByteString -> Bool) -> String -> m a -> m a #

validLoginPlaintext :: Map String String -> ByteString -> ByteString -> Bool #

parseConfig :: [String] -> Either [String] Conf #

simpleHTTP' :: (ToMessage b, Monad m, Functor m) => (UnWebT m a -> UnWebT IO b) -> Conf -> ServerPartT m a -> IO () #

simpleHTTP'' :: (ToMessage b, Monad m, Functor m) => ServerPartT m b -> Request -> m Response #

simpleHTTPWithSocket :: ToMessage a => Socket -> Conf -> ServerPartT IO a -> IO () #

simpleHTTPWithSocket' :: (ToMessage b, Monad m, Functor m) => (UnWebT m a -> UnWebT IO b) -> Socket -> Conf -> ServerPartT m a -> IO () #

bindPort :: Conf -> IO Socket #

bindIPv4 :: String -> Int -> IO Socket #

waitForTermination :: IO () #

acceptLanguage :: Happstack m => m [(Text, Maybe Double)] #

bestLanguage :: [(Text, Maybe Double)] -> [Text] #

withExpiresHeaders :: ServerMonad m => m Response -> m Response Source #

setContentType :: String -> Response -> Response Source #

setFilename :: String -> Response -> Response Source #

lookupIPAddr :: String -> IO (Maybe String) Source #

getHost :: ServerMonad m => m (Maybe String) Source #

compressedResponseFilter :: (FilterMonad Response m, MonadPlus m, WebMonad Response m, ServerMonad m, MonadFail m) => m String #