WashNGo-2.12: WASH is a family of embedded domain specific languages (EDSL) for programming Web applications in Haskell. Contents Index

WASH.CGI.SubmitXX

Description

Extended-Haskell version of the submission functions.

Synopsis

class StripHandle hx x | hx -> x where validate :: hx -> Either [ValidationError] x isBound :: hx -> Bool ihNames :: hx -> [String] submit :: (CGIMonad cgi, StripHandle handle_a a) => handle_a -> (a -> cgi ()) -> HTMLField cgi x y () defaultSubmit :: (CGIMonad cgi, StripHandle handle_a a) => handle_a -> (a -> cgi ()) -> HTMLField cgi x y () submit0 :: CGIMonad cgi => cgi () -> HTMLField cgi x y () newtype DTree cgi x y = DTree { unDTree :: (HTMLField cgi x y ()) } submitx :: DTree cgi x y -> HTMLField cgi x y () dtleaf :: CGIMonad cgi => cgi () -> DTree cgi x y dtnode :: (CGIMonad cgi, StripHandle handle_a a) => handle_a -> (a -> DTree cgi x y) -> DTree cgi x y activate :: (CGIMonad cgi, StripHandle ha a) => (a -> cgi ()) -> HTMLField cgi x y ha -> HTMLField cgi x y ha

Documentation

class StripHandle hx x | hx -> x where

Methods validate :: hx -> Either [ValidationError] x isBound :: hx -> Bool ihNames :: hx -> [String] Instances StripHandle () () (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) StripHandle hx x => StripHandle [hx] [x] StripHandle (InputField a x) a StripHandle (RadioGroup a x) a

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

create a submission button with attached action

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

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

create a continuation button with parameters

newtype DTree cgi x y

Constructors DTree unDTree :: (HTMLField cgi x y ())

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

submission with staged validation

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

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

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

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

Produced by Haddock version 0.8