WashNGo-2.12.0.1: WASH is a family of EDSLs for programming Web applications in Haskell.

WASH.CGI.SubmitXX

Description

Extended-Haskell version of the submission functions.

Synopsis

Documentation

class StripHandle hx x | hx -> x whereSource

Instances

StripHandle () () 
StripHandle hx x => StripHandle [hx] [x] 
StripHandle (RadioGroup a x) a 
StripHandle (InputField a x) a 
(StripHandle hx x, StripHandle hy y) => StripHandle (hx, hy) (x, y) 
(StripHandle hx x, StripHandle hy y, StripHandle hz z) => StripHandle (hx, hy, hz) (x, y, z) 
(StripHandle hx x, StripHandle hy y, StripHandle hz z, StripHandle ha a) => StripHandle (hx, hy, hz, ha) (x, y, z, a) 
(StripHandle hx x, StripHandle hy y, StripHandle hz z, StripHandle ha a, StripHandle hb b) => StripHandle (hx, hy, hz, ha, hb) (x, y, z, a, b) 
(StripHandle hx x, StripHandle hy y, StripHandle hz z, StripHandle ha a, StripHandle hb b, StripHandle hc c) => StripHandle (hx, hy, hz, ha, hb, hc) (x, y, z, a, b, c) 
(StripHandle hx x, StripHandle hy y, StripHandle hz z, StripHandle ha a, StripHandle hb b, StripHandle hc c, StripHandle hd d) => StripHandle (hx, hy, hz, ha, hb, hc, hd) (x, y, z, a, b, c, d) 
(StripHandle hx x, StripHandle hy y, StripHandle hz z, StripHandle ha a, StripHandle hb b, StripHandle hc c, StripHandle hd d, StripHandle he e) => StripHandle (hx, hy, hz, ha, hb, hc, hd, he) (x, y, z, a, b, c, d, e) 
(StripHandle hw w, StripHandle hx x, StripHandle hy y, StripHandle hz z, StripHandle ha a, StripHandle hb b, StripHandle hc c, StripHandle hd d, StripHandle he e) => StripHandle (hw, hx, hy, hz, ha, hb, hc, hd, he) (w, x, y, z, a, b, c, d, e) 

defaultSubmit :: (CGIMonad cgi, StripHandle handle_a a) => handle_a -> (a -> cgi ()) -> HTMLField cgi x y ()Source

create a submission button with attached action

submit :: (CGIMonad cgi, StripHandle handle_a a) => handle_a -> (a -> cgi ()) -> HTMLField cgi x y ()Source

submit0 :: CGIMonad cgi => cgi () -> HTMLField cgi x y ()Source

create a continuation button with parameters

newtype DTree cgi x y Source

Constructors

DTree 

Fields

unDTree :: HTMLField cgi x y ()
 

submitx :: DTree cgi x y -> HTMLField cgi x y ()Source

submission with staged validation

dtleaf :: CGIMonad cgi => cgi () -> DTree cgi x ySource

dtnode :: (CGIMonad cgi, StripHandle handle_a a) => handle_a -> (a -> DTree cgi x y) -> DTree cgi x ySource

activate :: (CGIMonad cgi, StripHandle ha a) => (a -> cgi ()) -> HTMLField cgi x y ha -> HTMLField cgi x y haSource

Attach a CGI action to the value returned by the input field. Activation means that data is submitted as soon as it is entered.