{-# OPTIONS -XCPP #-} module IncreaseString ( clicks) where -- #define ALONE -- to execute it alone, uncomment this #ifdef ALONE import MFlow.Wai.Blaze.Html.All main= runNavigation "" $ transientNav grid #else import MFlow.Wai.Blaze.Html.All hiding(retry, page) import Menu #endif clicks s= do s' <- page $ p << b << "increase a String" ++> p << b << "press the back button to go back to the menu" ++>(getString (Just s) <* submitButton "submit") `validate` (\s -> return $ if length s > 5 then Just (b << "length must be < 5") else Nothing ) clicks $ s'++ "1"