mysnapsession-0.4: Sessions and continuations for Snap web apps




class HasDlgManager m a | a -> m whereSource

data Dlg m a Source

A value of a Dlg type represents a dialogue between the user and the application, after which the application builds a value of type a. The trivial case is that the value is already known. Alternatively, it may be that there is some action to be performed, or else that the user needs to be asked or told something.


MonadTrans Dlg 
Monad m => Monad (Dlg m) 
MonadIO m => MonadIO (Dlg m) 

type Page m = ByteString -> m ()Source

A value of Page type represents a way of rendering a page, given a request URI that should be used for subsequent requests in order to reassociate them with the current dialogue.

showPage :: Monad m => Page m -> m a -> Dlg m aSource

Converts methods for rendering and parsing the result of a page into a Dlg step.