Kibro

Documentation

module Network.CGI

kibro :: IConnection c => IO c -> PageList c -> IO ()

type Kibro c a = KibroT IO c a

data KibroT m c a

Instances

Monad m => MonadState (KibroSt c) (KibroT m c)

Monad m => Monad (KibroT m c)

Monad m => Functor (KibroT m c)

(Monad m, IConnection c) => Applicative (KibroT m c)

IConnection c => MonadCGI (KibroT IO c)

MonadIO m => MonadIO (KibroT m c)

type Page c = Kibro c CGIResult

type PageList c = [(String, Page c)]

gets :: MonadState s m => (s -> a) -> m a

Gets specific component of the state, using a projection function supplied.

con :: KibroSt c -> c

getParams :: IConnection c => Kibro c [String]

getSess :: IConnection c => String -> Kibro c (Maybe String)

readSess :: (IConnection c, Read a) => String -> Kibro c (Maybe a)

putSess :: IConnection c => String -> String -> Kibro c ()

writeSess :: (IConnection c, Show a) => String -> a -> Kibro c ()

getSessDef :: IConnection c => String -> String -> KibroT IO c String

getInputDef :: MonadCGI m => String -> String -> m String

readSessDef :: (IConnection c, Read a) => String -> a -> KibroT IO c a

readInputDef :: (MonadCGI m, Read a) => String -> a -> m a

deleteSess :: IConnection c => String -> Kibro c ()

outputHtml :: (HTML a, IConnection c) => a -> Kibro c CGIResult

(<<$) :: HTML a => (Html -> b) -> a -> b

Nice operator for removing parentheses.

io :: MonadIO m => IO a -> m a

stylesheet :: String -> Html