WashNGo-2.12: WASH is a family of embedded domain specific languages (EDSL) for programming Web applications in Haskell.ContentsIndex
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]
show/hide 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