ContentsIndex
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
submit :: StripHandle handle_a a => handle_a -> (a -> CGI ()) -> HTMLField x y ()
defaultSubmit :: StripHandle handle_a a => handle_a -> (a -> CGI ()) -> HTMLField x y ()
submit0 :: CGI () -> HTMLField x y ()
newtype DTree x y = DTree {
unDTree :: (HTMLField x y ())
}
submitx :: DTree x y -> HTMLField x y ()
dtleaf :: CGI () -> DTree x y
dtnode :: StripHandle handle_a a => handle_a -> (a -> DTree x y) -> DTree x y
Documentation
class StripHandle hx x | hx -> x where
Methods
validate :: hx -> Either [ValidationError] x
isBound :: hx -> Bool
Instances
StripHandle (InputField a x) a
StripHandle (RadioGroup a x) a
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]
submit :: StripHandle handle_a a => handle_a -> (a -> CGI ()) -> HTMLField x y ()
create a submission button with attached action
defaultSubmit :: StripHandle handle_a a => handle_a -> (a -> CGI ()) -> HTMLField x y ()
submit0 :: CGI () -> HTMLField x y ()
create a continuation button with parameters
newtype DTree x y
Constructors
DTree
unDTree :: (HTMLField x y ())
Instances
submitx :: DTree x y -> HTMLField x y ()
submission with staged validation
dtleaf :: CGI () -> DTree x y
dtnode :: StripHandle handle_a a => handle_a -> (a -> DTree x y) -> DTree x y
Produced by Haddock version 0.5