gitit-0.15.1.2: Wiki using happstack, git or darcs, and pandoc.
Safe HaskellNone
LanguageHaskell2010

Network.Gitit.Server

Documentation

bytestring :: 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 () #

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

data Request #

Constructors

Request 

Fields

Instances

Instances details
Show Request 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

showsPrec :: Int -> Request -> ShowS

show :: Request -> String

showList :: [Request] -> ShowS

HasHeaders Request 
Instance details

Defined in Happstack.Server.Internal.Types

result :: Int -> String -> Response #

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

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Method

toConstr :: Method -> Constr

dataTypeOf :: Method -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Method)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Method)

gmapT :: (forall b. Data b => b -> b) -> Method -> Method

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Method -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Method -> r

gmapQ :: (forall d. Data d => d -> u) -> Method -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Method -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Method -> m Method

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Method -> m Method

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Method -> m Method

Read Method 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

readsPrec :: Int -> ReadS Method

readList :: ReadS [Method]

readPrec :: ReadPrec Method

readListPrec :: ReadPrec [Method]

Show Method 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

showsPrec :: Int -> Method -> ShowS

show :: Method -> String

showList :: [Method] -> ShowS

Eq Method 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

(==) :: Method -> Method -> Bool

(/=) :: Method -> Method -> Bool

Ord Method 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

compare :: Method -> Method -> Ordering

(<) :: Method -> Method -> Bool

(<=) :: Method -> Method -> Bool

(>) :: Method -> Method -> Bool

(>=) :: Method -> Method -> Bool

max :: Method -> Method -> Method

min :: Method -> Method -> Method

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 Response #

Constructors

Response 

Fields

SendFile 

Fields

Instances

Instances details
Show Response 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

showsPrec :: Int -> Response -> ShowS

show :: Response -> String

showList :: [Response] -> ShowS

HasHeaders Response 
Instance details

Defined in Happstack.Server.Internal.Types

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

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 #

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

data Conf #

Constructors

Conf 

Fields

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

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

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

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 #

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

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

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 #

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

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

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

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

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

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

data Browsing #

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Browsing

toConstr :: Browsing -> Constr

dataTypeOf :: Browsing -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Browsing)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Browsing)

gmapT :: (forall b. Data b => b -> b) -> Browsing -> Browsing

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Browsing -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Browsing -> r

gmapQ :: (forall d. Data d => d -> u) -> Browsing -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Browsing -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Browsing -> m Browsing

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Browsing -> m Browsing

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Browsing -> m Browsing

Enum Browsing 
Instance details

Defined in Happstack.Server.FileServe.BuildingBlocks

Read Browsing 
Instance details

Defined in Happstack.Server.FileServe.BuildingBlocks

Methods

readsPrec :: Int -> ReadS Browsing

readList :: ReadS [Browsing]

readPrec :: ReadPrec Browsing

readListPrec :: ReadPrec [Browsing]

Show Browsing 
Instance details

Defined in Happstack.Server.FileServe.BuildingBlocks

Methods

showsPrec :: Int -> Browsing -> ShowS

show :: Browsing -> String

showList :: [Browsing] -> ShowS

Eq Browsing 
Instance details

Defined in Happstack.Server.FileServe.BuildingBlocks

Methods

(==) :: Browsing -> Browsing -> Bool

(/=) :: Browsing -> Browsing -> Bool

Ord Browsing 
Instance details

Defined in Happstack.Server.FileServe.BuildingBlocks

Methods

compare :: Browsing -> Browsing -> Ordering

(<) :: Browsing -> Browsing -> Bool

(<=) :: Browsing -> Browsing -> Bool

(>) :: Browsing -> Browsing -> Bool

(>=) :: Browsing -> Browsing -> Bool

max :: Browsing -> Browsing -> Browsing

min :: Browsing -> Browsing -> Browsing

type MimeMap = Map String String #

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

defaultIxFiles :: [FilePath] #

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

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

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

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 #

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

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

data Cookie #

Constructors

Cookie 

Fields

Instances

Instances details
Data Cookie 
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) -> Cookie -> c Cookie

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Cookie

toConstr :: Cookie -> Constr

dataTypeOf :: Cookie -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Cookie)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Cookie)

gmapT :: (forall b. Data b => b -> b) -> Cookie -> Cookie

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Cookie -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Cookie -> r

gmapQ :: (forall d. Data d => d -> u) -> Cookie -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Cookie -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Cookie -> m Cookie

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Cookie -> m Cookie

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Cookie -> m Cookie

Read Cookie 
Instance details

Defined in Happstack.Server.Internal.Cookie

Methods

readsPrec :: Int -> ReadS Cookie

readList :: ReadS [Cookie]

readPrec :: ReadPrec Cookie

readListPrec :: ReadPrec [Cookie]

Show Cookie 
Instance details

Defined in Happstack.Server.Internal.Cookie

Methods

showsPrec :: Int -> Cookie -> ShowS

show :: Cookie -> String

showList :: [Cookie] -> ShowS

Eq Cookie 
Instance details

Defined in Happstack.Server.Internal.Cookie

Methods

(==) :: Cookie -> Cookie -> Bool

(/=) :: Cookie -> Cookie -> Bool

MonadReader RqEnv RqData 
Instance details

Defined in Happstack.Server.RqData

Methods

ask :: RqData RqEnv

local :: (RqEnv -> RqEnv) -> RqData a -> RqData a

reader :: (RqEnv -> a) -> RqData a

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

readList :: ReadS [CookieLife]

readPrec :: ReadPrec CookieLife

readListPrec :: ReadPrec [CookieLife]

Show CookieLife 
Instance details

Defined in Happstack.Server.Internal.Cookie

Methods

showsPrec :: Int -> CookieLife -> ShowS

show :: CookieLife -> String

showList :: [CookieLife] -> ShowS

Eq CookieLife 
Instance details

Defined in Happstack.Server.Internal.Cookie

Methods

(==) :: CookieLife -> CookieLife -> Bool

(/=) :: CookieLife -> CookieLife -> Bool

Ord CookieLife 
Instance details

Defined in Happstack.Server.Internal.Cookie

data SameSite #

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SameSite

toConstr :: SameSite -> Constr

dataTypeOf :: SameSite -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SameSite)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SameSite)

gmapT :: (forall b. Data b => b -> b) -> SameSite -> SameSite

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SameSite -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SameSite -> r

gmapQ :: (forall d. Data d => d -> u) -> SameSite -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SameSite -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SameSite -> m SameSite

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SameSite -> m SameSite

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SameSite -> m SameSite

Read SameSite 
Instance details

Defined in Happstack.Server.Internal.Cookie

Methods

readsPrec :: Int -> ReadS SameSite

readList :: ReadS [SameSite]

readPrec :: ReadPrec SameSite

readListPrec :: ReadPrec [SameSite]

Show SameSite 
Instance details

Defined in Happstack.Server.Internal.Cookie

Methods

showsPrec :: Int -> SameSite -> ShowS

show :: SameSite -> String

showList :: [SameSite] -> ShowS

Eq SameSite 
Instance details

Defined in Happstack.Server.Internal.Cookie

Methods

(==) :: SameSite -> SameSite -> Bool

(/=) :: SameSite -> SameSite -> Bool

Ord SameSite 
Instance details

Defined in Happstack.Server.Internal.Cookie

Methods

compare :: SameSite -> SameSite -> Ordering

(<) :: SameSite -> SameSite -> Bool

(<=) :: SameSite -> SameSite -> Bool

(>) :: SameSite -> SameSite -> Bool

(>=) :: SameSite -> SameSite -> Bool

max :: SameSite -> SameSite -> SameSite

min :: SameSite -> SameSite -> SameSite

mkCookie :: String -> String -> Cookie #

data BodyPolicy #

Constructors

BodyPolicy 

Fields

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

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

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

type ServerPart a = ServerPartT IO a #

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

Instances

Instances details
HasContext ContentTransformer Source # 
Instance details

Defined in Network.Gitit.Types

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

Monad m => FilterMonad Response (ServerPartT m) 
Instance details

Defined in Happstack.Server.Internal.Monads

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 #

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

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

Defined in Happstack.Server.Internal.Monads

Methods

ask :: ServerPartT m r

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

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

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

Defined in Happstack.Server.Internal.Monads

Methods

get :: ServerPartT m s

put :: s -> ServerPartT m ()

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

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

Defined in Happstack.Server.Internal.Monads

Methods

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

tell :: w -> ServerPartT m ()

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

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

MonadBase b m => MonadBase b (ServerPartT m) 
Instance details

Defined in Happstack.Server.Internal.Monads

Methods

liftBase :: b α -> ServerPartT m α

MonadFail m => MonadFail (ServerPartT m) 
Instance details

Defined in Happstack.Server.Internal.Monads

Methods

fail :: String -> ServerPartT m a

MonadIO m => MonadIO (ServerPartT m) 
Instance details

Defined in Happstack.Server.Internal.Monads

Methods

liftIO :: IO a -> ServerPartT m a #

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

Defined in Happstack.Server.Internal.Monads

Methods

empty :: ServerPartT m a

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

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

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

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

Defined in Happstack.Server.Internal.Monads

Methods

pure :: a -> ServerPartT m a

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

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

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

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

Functor m => Functor (ServerPartT m) 
Instance details

Defined in Happstack.Server.Internal.Monads

Methods

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

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

Monad m => Monad (ServerPartT m) 
Instance details

Defined in Happstack.Server.Internal.Monads

Methods

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

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

return :: a -> ServerPartT m a

MonadPlus m => MonadPlus (ServerPartT m) 
Instance details

Defined in Happstack.Server.Internal.Monads

Methods

mzero :: ServerPartT m a

mplus :: ServerPartT m a -> ServerPartT m a -> ServerPartT m a

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

MonadThrow m => MonadThrow (ServerPartT m) 
Instance details

Defined in Happstack.Server.Internal.Monads

Methods

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

Monad m => ServerMonad (ServerPartT m) 
Instance details

Defined in Happstack.Server.Internal.Monads

(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

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

Defined in Happstack.Server.Internal.Monads

(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

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

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

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 UnWebT (m :: Type -> Type) a = m (Maybe (Either Response a, FilterFun Response)) #

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 #

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 #

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

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

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 #

data ContentType #

Constructors

ContentType 

Fields

Instances

Instances details
Read ContentType 
Instance details

Defined in Happstack.Server.Internal.RFC822Headers

Methods

readsPrec :: Int -> ReadS ContentType

readList :: ReadS [ContentType]

readPrec :: ReadPrec ContentType

readListPrec :: ReadPrec [ContentType]

Show ContentType 
Instance details

Defined in Happstack.Server.Internal.RFC822Headers

Methods

showsPrec :: Int -> ContentType -> ShowS

show :: ContentType -> String

showList :: [ContentType] -> ShowS

Eq ContentType 
Instance details

Defined in Happstack.Server.Internal.RFC822Headers

Methods

(==) :: ContentType -> ContentType -> Bool

(/=) :: ContentType -> ContentType -> Bool

Ord ContentType 
Instance details

Defined in Happstack.Server.Internal.RFC822Headers

newtype RqBody #

Constructors

Body 

Fields

Instances

Instances details
Read RqBody 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

readsPrec :: Int -> ReadS RqBody

readList :: ReadS [RqBody]

readPrec :: ReadPrec RqBody

readListPrec :: ReadPrec [RqBody]

Show RqBody 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

showsPrec :: Int -> RqBody -> ShowS

show :: RqBody -> String

showList :: [RqBody] -> ShowS

data Length #

Instances

Instances details
Enum Length 
Instance details

Defined in Happstack.Server.Internal.Types

Read Length 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

readsPrec :: Int -> ReadS Length

readList :: ReadS [Length]

readPrec :: ReadPrec Length

readListPrec :: ReadPrec [Length]

Show Length 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

showsPrec :: Int -> Length -> ShowS

show :: Length -> String

showList :: [Length] -> ShowS

Eq Length 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

(==) :: Length -> Length -> Bool

(/=) :: Length -> Length -> Bool

Ord Length 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

compare :: Length -> Length -> Ordering

(<) :: Length -> Length -> Bool

(<=) :: Length -> Length -> Bool

(>) :: Length -> Length -> Bool

(>=) :: Length -> Length -> Bool

max :: Length -> Length -> Length

min :: Length -> Length -> Length

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 String 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

fromReqURI :: String -> Maybe String #

FromReqURI Integer 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

fromReqURI :: String -> Maybe Integer #

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 #

data HeaderPair #

Constructors

HeaderPair 

Fields

Instances

Instances details
Read HeaderPair 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

readsPrec :: Int -> ReadS HeaderPair

readList :: ReadS [HeaderPair]

readPrec :: ReadPrec HeaderPair

readListPrec :: ReadPrec [HeaderPair]

Show HeaderPair 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

showsPrec :: Int -> HeaderPair -> ShowS

show :: HeaderPair -> String

showList :: [HeaderPair] -> ShowS

HasHeaders Headers 
Instance details

Defined in Happstack.Server.Internal.Types

type Headers = Map ByteString HeaderPair #

type Host = (String, Int) #

data HttpVersion #

Constructors

HttpVersion Int Int 

Instances

Instances details
Read HttpVersion 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

readsPrec :: Int -> ReadS HttpVersion

readList :: ReadS [HttpVersion]

readPrec :: ReadPrec HttpVersion

readListPrec :: ReadPrec [HttpVersion]

Show HttpVersion 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

showsPrec :: Int -> HttpVersion -> ShowS

show :: HttpVersion -> String

showList :: [HttpVersion] -> ShowS

Eq HttpVersion 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

(==) :: HttpVersion -> HttpVersion -> Bool

(/=) :: HttpVersion -> HttpVersion -> Bool

data Input #

Constructors

Input 

Fields

Instances

Instances details
Read Input 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

readsPrec :: Int -> ReadS Input

readList :: ReadS [Input]

readPrec :: ReadPrec Input

readListPrec :: ReadPrec [Input]

Show Input 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

showsPrec :: Int -> Input -> ShowS

show :: Input -> String

showList :: [Input] -> ShowS

MonadReader RqEnv RqData 
Instance details

Defined in Happstack.Server.RqData

Methods

ask :: RqData RqEnv

local :: (RqEnv -> RqEnv) -> RqData a -> RqData a

reader :: (RqEnv -> a) -> RqData a

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

data RsFlags #

Constructors

RsFlags 

Fields

Instances

Instances details
Read RsFlags 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

readsPrec :: Int -> ReadS RsFlags

readList :: ReadS [RsFlags]

readPrec :: ReadPrec RsFlags

readListPrec :: ReadPrec [RsFlags]

Show RsFlags 
Instance details

Defined in Happstack.Server.Internal.Types

Methods

showsPrec :: Int -> RsFlags -> ShowS

show :: RsFlags -> String

showList :: [RsFlags] -> ShowS

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

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

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

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

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 #

isHTTP1_0 :: Request -> Bool #

isHTTP1_1 :: Request -> Bool #

logMAccess :: FormatTime t => LogAccess t #

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

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

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

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

resultBS :: Int -> ByteString -> Response #

rqURL :: Request -> String #

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

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

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

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

addHeaderM :: FilterMonad Response m => String -> String -> 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 #

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

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 String 
Instance details

Defined in Happstack.Server.Response

Methods

toContentType :: String -> ByteString #

toMessage :: String -> ByteString #

toResponse :: String -> Response #

ToMessage Integer 
Instance details

Defined in Happstack.Server.Response

Methods

toContentType :: Integer -> ByteString #

toMessage :: Integer -> ByteString #

toResponse :: Integer -> 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 #

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

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

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

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

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

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

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

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

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

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

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

toResponseBS :: ByteString -> ByteString -> Response #

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 #

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

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

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 #

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

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

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

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

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

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

newtype Errors a #

Constructors

Errors 

Fields

Instances

Instances details
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)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Errors a)

toConstr :: Errors a -> Constr

dataTypeOf :: Errors a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Errors a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Errors a))

gmapT :: (forall b. Data b => b -> b) -> Errors a -> Errors a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Errors a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Errors a -> r

gmapQ :: (forall d. Data d => d -> u) -> Errors a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Errors a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Errors a -> m (Errors a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Errors a -> m (Errors a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Errors a -> m (Errors a)

Alternative (Either (Errors a)) 
Instance details

Defined in Happstack.Server.RqData

Methods

empty :: Either (Errors a) a0

(<|>) :: Either (Errors a) a0 -> Either (Errors a) a0 -> Either (Errors a) a0

some :: Either (Errors a) a0 -> Either (Errors a) [a0]

many :: Either (Errors a) a0 -> Either (Errors a) [a0]

Alternative (Either (Errors a)) => MonadPlus (Either (Errors a)) 
Instance details

Defined in Happstack.Server.RqData

Methods

mzero :: Either (Errors a) a0

mplus :: Either (Errors a) a0 -> Either (Errors a) a0 -> Either (Errors a) a0

Monoid (Errors a) 
Instance details

Defined in Happstack.Server.RqData

Methods

mempty :: Errors a

mappend :: Errors a -> Errors a -> Errors a

mconcat :: [Errors a] -> Errors a

Semigroup (Errors a) 
Instance details

Defined in Happstack.Server.RqData

Methods

(<>) :: Errors a -> Errors a -> Errors a

sconcat :: NonEmpty (Errors a) -> Errors a

stimes :: Integral b => b -> Errors a -> Errors a

Read a => Read (Errors a) 
Instance details

Defined in Happstack.Server.RqData

Methods

readsPrec :: Int -> ReadS (Errors a)

readList :: ReadS [Errors a]

readPrec :: ReadPrec (Errors a)

readListPrec :: ReadPrec [Errors a]

Show a => Show (Errors a) 
Instance details

Defined in Happstack.Server.RqData

Methods

showsPrec :: Int -> Errors a -> ShowS

show :: Errors a -> String

showList :: [Errors a] -> ShowS

Eq a => Eq (Errors a) 
Instance details

Defined in Happstack.Server.RqData

Methods

(==) :: Errors a -> Errors a -> Bool

(/=) :: Errors a -> Errors a -> Bool

Ord a => Ord (Errors a) 
Instance details

Defined in Happstack.Server.RqData

Methods

compare :: Errors a -> Errors a -> Ordering

(<) :: Errors a -> Errors a -> Bool

(<=) :: Errors a -> Errors a -> Bool

(>) :: Errors a -> Errors a -> Bool

(>=) :: Errors a -> Errors a -> Bool

max :: Errors a -> Errors a -> Errors a

min :: Errors a -> Errors a -> Errors a

class FromData a where #

Methods

fromData :: RqData a #

Instances

Instances details
FromData GithubCallbackPars Source # 
Instance details

Defined in Network.Gitit.Authentication.Github

FromData Command Source # 
Instance details

Defined in Network.Gitit.Types

FromData Params Source # 
Instance details

Defined in Network.Gitit.Types

FromData SessionKey Source # 
Instance details

Defined in Network.Gitit.Types

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

(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

(<|>) :: RqData a -> RqData a -> RqData a

some :: RqData a -> RqData [a]

many :: RqData a -> RqData [a]

Applicative RqData 
Instance details

Defined in Happstack.Server.RqData

Methods

pure :: a -> RqData a

(<*>) :: RqData (a -> b) -> RqData a -> RqData b

liftA2 :: (a -> b -> c) -> RqData a -> RqData b -> RqData c

(*>) :: RqData a -> RqData b -> RqData b

(<*) :: RqData a -> RqData b -> RqData a

Functor RqData 
Instance details

Defined in Happstack.Server.RqData

Methods

fmap :: (a -> b) -> RqData a -> RqData b

(<$) :: a -> RqData b -> RqData a

Monad RqData 
Instance details

Defined in Happstack.Server.RqData

Methods

(>>=) :: RqData a -> (a -> RqData b) -> RqData b

(>>) :: RqData a -> RqData b -> RqData b

return :: a -> RqData a

MonadPlus RqData 
Instance details

Defined in Happstack.Server.RqData

Methods

mzero :: RqData a

mplus :: RqData a -> RqData a -> RqData a

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

local :: (RqEnv -> RqEnv) -> RqData a -> RqData a

reader :: (RqEnv -> a) -> RqData a

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

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 #

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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] #

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

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

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

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

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

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

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

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

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

bindPort :: Conf -> IO Socket #

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

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

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

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

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 #