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 InputHandle h whereSource
validate :: h INVALID -> Either [ValidationError] (h VALID)Source
transforms an unvalidated input handle into either an error or a valid handle
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) |