Text.Reform.Hamlet.Common

Documentation

inputText :: (FormError error, Monad m, ToMarkup text) => (input -> Either error text) -> text -> Form m input error (HtmlUrl url) () text

inputPassword :: (Monad m, FormError error, ToMarkup text) => (input -> Either error text) -> text -> Form m input error (HtmlUrl url) () text

inputSubmit :: (Monad m, FormError error, ToMarkup text) => (input -> Either error text) -> text -> Form m input error (HtmlUrl url) () (Maybe text)

inputReset :: (Monad m, FormError error, ToMarkup text) => text -> Form m input error (HtmlUrl url) () ()

inputHidden :: (Monad m, FormError error, ToMarkup text) => (input -> Either error text) -> text -> Form m input error (HtmlUrl url) () text

inputButton :: (Monad m, FormError error, ToMarkup text) => text -> Form m input error (HtmlUrl url) () ()

textarea

Arguments

:: (Monad m, FormError error, ToMarkup text)

=> (input -> Either error text)

-> Int

cols

-> Int

rows

-> text

initial text

-> Form m input error (HtmlUrl url) () text

inputFile :: (Monad m, FormError error, FormInput input, ErrorInputType error ~ input) => Form m input error (HtmlUrl url) () (FileType input)

Create an <input type="file"> element

This control may succeed even if the user does not actually select a file to upload. In that case the uploaded name will likely be "" and the file contents will be empty as well.

buttonSubmit :: (Monad m, FormError error, ToMarkup text, ToMarkup children) => (input -> Either error text) -> text -> children -> Form m input error (HtmlUrl url) () (Maybe text)

Create a <button type="submit"> element

buttonReset :: (Monad m, FormError error, ToMarkup children) => children -> Form m input error (HtmlUrl url) () ()

button :: (Monad m, FormError error, ToMarkup children) => children -> Form m input error (HtmlUrl url) () ()

label :: (Monad m, ToMarkup c) => c -> Form m input error (HtmlUrl url) () ()

inputCheckbox

Arguments

:: (Monad m, FormInput input, FormError error, ErrorInputType error ~ input)

=> Bool

initially checked

-> Form m input error (HtmlUrl url) () Bool

inputCheckboxes

Arguments

:: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToMarkup lbl)

=> [(a, lbl)]

value, label, initially checked

-> (a -> Bool)

function which indicates if a value should be checked initially

-> Form m input error (HtmlUrl url) () [a]

inputRadio

Arguments

:: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToMarkup lbl)

=> [(a, lbl)]

value, label, initially checked

-> (a -> Bool)

isDefault

-> Form m input error (HtmlUrl url) () a

select

Arguments

:: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToMarkup lbl)

=> [(a, lbl)]

value, label

-> (a -> Bool)

isDefault, must match *exactly one* element in the list of choices

-> Form m input error (HtmlUrl url) () a

selectMultiple

Arguments

:: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToMarkup lbl)

=> [(a, lbl)]

value, label, initially checked

-> (a -> Bool)

isSelected initially

-> Form m input error (HtmlUrl url) () [a]

errorList :: (Monad m, ToMarkup error) => Form m input error (HtmlUrl url) () ()

childErrorList :: (Monad m, ToMarkup error) => Form m input error (HtmlUrl url) () ()

br :: Monad m => Form m input error (HtmlUrl url) () ()

fieldset :: (Monad m, Functor m, ToMarkup c) => Form m input error c proof a -> Form m input error (HtmlUrl url) proof a

ol :: (Monad m, Functor m, ToMarkup c) => Form m input error c proof a -> Form m input error (HtmlUrl url) proof a

ul :: (Monad m, Functor m, ToMarkup c) => Form m input error c proof a -> Form m input error (HtmlUrl url) proof a

li :: (Monad m, Functor m, ToMarkup c) => Form m input error c proof a -> Form m input error (HtmlUrl url) proof a

form

Arguments

:: ToMarkup action

=> action

action url

-> [(Text, Text)]

hidden fields to add to form

-> HtmlUrl url

children

-> HtmlUrl url

create <form action=action method="POST" enctype="multipart/form-data">