WashNGo-2.9: WASH is a family of embedded domain specific languages (EDSL) for programming Web applications in Haskell. Contents Index

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 where

Methods value :: i a VALID -> a extract a value from various kinds of input handles Instances HasValue InputField HasValue RadioGroup HasValue SelectionGroup

class InputHandle h where

Methods validate :: h INVALID -> Either [ValidationError] (h VALID) transforms an unvalidated input handle into either an error or a valid handle isBound :: h INVALID -> Bool ihNames :: h INVALID -> [String] Instances InputHandle F0 InputHandle a => InputHandle (F1 a) InputHandle a => InputHandle (FL a) InputHandle (InputField a) InputHandle (RadioGroup a) InputHandle (SelectionGroup a) (InputHandle a, InputHandle b) => InputHandle (F2 a b) InputHandle b => InputHandle (FA 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)

Produced by Haddock version 0.8