Safe Haskell	None
Language	Haskell98

Ditto.Generalized.Unnamed

Description

This module provides helper functions for HTML input elements. These helper functions are not specific to any particular web framework or html library.

Additionally, the inputs generated with the functions from this module will have their names/ids automatically enumerated.

For named formlets, see Ditto.Generalized.Named

Synopsis

data Choice lbl a = Choice {
- choiceFormId :: FormId
- choiceLabel :: lbl
- choiceIsSelected :: Bool
- choiceVal :: a
}
input :: (Environment m input, FormError input err) => (input -> Either err a) -> (FormId -> a -> view) -> a -> Form m input err view a
inputMaybe :: (Environment m input, FormError input err) => (input -> Either err a) -> (FormId -> Maybe a -> view) -> Maybe a -> Form m input err view (Maybe a)
inputNoData :: Environment m input => (FormId -> view) -> Form m input err view ()
inputFile :: forall m input err view ft. (Environment m input, FormInput input, FormError input err, ft ~ FileType input, Monoid ft) => (FormId -> view) -> Form m input err view (FileType input)
inputMulti :: forall m input err view a lbl. (FormError input err, FormInput input, Environment m input, Eq a) => [(a, lbl)] -> (input -> Either err [a]) -> (FormId -> [Choice lbl a] -> view) -> (a -> Bool) -> Form m input err view [a]
inputChoice :: forall a m err input lbl view. (FormError input err, FormInput input, Environment m input, Eq a, Monoid view) => (a -> Bool) -> NonEmpty (a, lbl) -> (input -> Either err a) -> (FormId -> [Choice lbl a] -> view) -> Form m input err view a
inputList :: forall m input err a view. (Monad m, FormError input err, Environment m input) => (input -> m (Either err [a])) -> ([view] -> view) -> [a] -> view -> (a -> Form m input err view a) -> Form m input err view [a]
label :: Environment m input => (FormId -> view) -> Form m input err view ()
errors :: Environment m input => ([err] -> view) -> Form m input err view ()
childErrors :: Environment m input => ([err] -> view) -> Form m input err view ()
withErrors :: Environment m input => (view -> [err] -> view) -> Form m input err view a -> Form m input err view a
withChildErrors :: Monad m => (view -> [err] -> view) -> Form m input err view a -> Form m input err view a

Documentation

data Choice lbl a Source #

a choice for inputChoice

Constructors

Choice
Fields choiceFormId :: FormId the formId choiceLabel :: lbl label choiceIsSelected :: Bool is the choice selected choiceVal :: a the haskell value of the choice

input :: (Environment m input, FormError input err) => (input -> Either err a) -> (FormId -> a -> view) -> a -> Form m input err view a Source #

used for constructing elements like <input type="text">, which pure a single input value.

inputMaybe :: (Environment m input, FormError input err) => (input -> Either err a) -> (FormId -> Maybe a -> view) -> Maybe a -> Form m input err view (Maybe a) Source #

used for elements like <input type="submit"> which are not always present in the form submission data.

inputNoData :: Environment m input => (FormId -> view) -> Form m input err view () Source #

used for elements like <input type="reset"> which take a value, but are never present in the form data set.

inputFile :: forall m input err view ft. (Environment m input, FormInput input, FormError input err, ft ~ FileType input, Monoid ft) => (FormId -> view) -> Form m input err view (FileType input) Source #

used for <input type="file">

inputMulti Source #

Arguments

:: (FormError input err, FormInput input, Environment m input, Eq a)
=> [(a, lbl)]	value, label, initially checked
-> (input -> Either err [a])
-> (FormId -> [Choice lbl a] -> view)	function which generates the view
-> (a -> Bool)	isChecked/isSelected initially
-> Form m input err view [a]

used for groups of checkboxes, <select multiple="multiple"> boxes

inputChoice Source #

Arguments

:: (FormError input err, FormInput input, Environment m input, Eq a, Monoid view)
=> (a -> Bool)	is default
-> NonEmpty (a, lbl)	value, label
-> (input -> Either err a)
-> (FormId -> [Choice lbl a] -> view)	function which generates the view
-> Form m input err view a

radio buttons, single <select> boxes

inputList Source #

Arguments

:: (Monad m, FormError input err, Environment m input)
=> (input -> m (Either err [a]))	decoding function for the list
-> ([view] -> view)	how to concatenate views
-> [a]	initial values
-> view	view to generate in the fail case
-> (a -> Form m input err view a)
-> Form m input err view [a]

this is necessary in order to basically map over the decoding function

label :: Environment m input => (FormId -> view) -> Form m input err view () Source #

used to create <label> elements

errors Source #

Arguments

:: Environment m input
=> ([err] -> view)	function to convert the err messages into a view
-> Form m input err view ()

used to add a list of err messages to a Form

This function automatically takes care of extracting only the errors that are relevent to the form element it is attached to via <* or *>.

childErrors :: Environment m input => ([err] -> view) -> Form m input err view () Source #

similar to errors but includes err messages from children of the form as well.

withErrors :: Environment m input => (view -> [err] -> view) -> Form m input err view a -> Form m input err view a Source #

modify the view of a form based on its errors

withChildErrors :: Monad m => (view -> [err] -> view) -> Form m input err view a -> Form m input err view a Source #

modify the view of a form based on its child errors