WASH.CGI.InputHandle

Description

Internal use only. Provides access to class InputHandle and thus enables the construction new instances of this class, which requires knowledge about programming of validations.

Documentation

class HasValue i whereSource

Methods

value :: i a VALID -> aSource

extract a value from various kinds of input handles

Instances

HasValue RadioGroup
HasValue InputField
HasValue SelectionGroup

class InputHandle h whereSource

Methods

validate :: h INVALID -> Either [ValidationError] (h VALID)Source

transforms an unvalidated input handle into either an error or a valid handle

isBound :: h INVALID -> Bool Source

ihNames :: h INVALID -> [String]Source

Instances

InputHandle F0
InputHandle (RadioGroup a)
InputHandle (InputField a)
InputHandle (SelectionGroup a)
InputHandle a => InputHandle (FL a)
InputHandle a => InputHandle (F1 a)
InputHandle b => InputHandle (FA a b)
(InputHandle a, InputHandle b) => InputHandle (F2 a b)
(InputHandle a, InputHandle b, InputHandle c) => InputHandle (F3 a b c)
(InputHandle a, InputHandle b, InputHandle c, InputHandle d) => InputHandle (F4 a b c d)
(InputHandle a, InputHandle b, InputHandle c, InputHandle d, InputHandle e) => InputHandle (F5 a b c d e)
(InputHandle a, InputHandle b, InputHandle c, InputHandle d, InputHandle e, InputHandle f) => InputHandle (F6 a b c d e f)
(InputHandle a, InputHandle b, InputHandle c, InputHandle d, InputHandle e, InputHandle f, InputHandle g) => InputHandle (F7 a b c d e f g)
(InputHandle a, InputHandle b, InputHandle c, InputHandle d, InputHandle e, InputHandle f, InputHandle g, InputHandle h) => InputHandle (F8 a b c d e f g h)