kibro-0.1: Web development framework.




type Kibro c a = KibroT IO c aSource

data KibroT m c a Source


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 PageList c = [(String, Page c)]Source

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

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

con :: KibroSt c -> cSource

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

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

Nice operator for removing parentheses.

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