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] 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] 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