WashNGo-2.12.0.1: WASH is a family of EDSLs for programming Web applications in Haskell. Source code 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 Source

Methods validate :: hx -> Either [ValidationError] x Source isBound :: hx -> Bool Source ihNames :: hx -> [String] Source

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

create a submission button with attached action

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

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

create a continuation button with parameters

newtype DTree cgi x y Source

Constructors DTree unDTree :: HTMLField cgi x y ()

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

submission with staged validation

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

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

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

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.6.0