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]
defaultSubmit :: (CGIMonad cgi, StripHandle handle_a a) => handle_a -> (a -> cgi ()) -> HTMLField cgi x y ()
submit :: (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 ([] 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 ()
create a submission button with attached action
submit :: (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 2.4.2