ditto-lucid-0.0.1.0: Add support for using lucid with Reform

Safe HaskellNone
LanguageHaskell98

Ditto.Lucid.Named

Contents

Synopsis

Documentation

inputText :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) () text Source #

inputPassword :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) () text Source #

inputSubmit :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) () (Maybe text) Source #

inputReset :: (Monad m, FormError error, PathPiece text, Applicative f) => String -> text -> Form m input error (HtmlT f ()) () () Source #

inputHidden :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) () text Source #

inputButton :: (Monad m, FormError error, PathPiece text, Applicative f) => String -> text -> Form m input error (HtmlT f ()) () () Source #

textarea Source #

Arguments

:: (Monad m, FormError error, ToHtml text, Monad f) 
=> (input -> Either error text) 
-> Int

cols

-> Int

rows

-> String 
-> text

initial text

-> Form m input error (HtmlT f ()) () text 

inputFile :: (Monad m, FormError error, FormInput input, ErrorInputType error ~ input, Applicative f) => String -> Form m input error (HtmlT f ()) () (FileType input) Source #

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, PathPiece text, ToHtml children, Monad f) => (input -> Either error text) -> String -> text -> children -> Form m input error (HtmlT f ()) () (Maybe text) Source #

Create a <button type="submit"> element

buttonReset :: (Monad m, FormError error, Monad f) => String -> HtmlT f () -> Form m input error (HtmlT f ()) () () Source #

create a <button type="reset"></button> element

This element does not add any data to the form data set.

button :: (Monad m, FormError error, Monad f) => String -> HtmlT f () -> Form m input error (HtmlT f ()) () () Source #

create a <button type="button"></button> element

This element does not add any data to the form data set.

label :: (Monad m, Monad f) => HtmlT f () -> Form m input error (HtmlT f ()) () () Source #

create a <label> element.

Use this with or ++ to ensure that the for attribute references the correct id.

label "some input field: " ++> inputText ""

arbitraryHtml :: Monad m => view -> Form m input error view () () Source #

inputInt :: (Monad m, FormError err, Applicative f) => (input -> Either err Int) -> String -> Int -> Form m input err (HtmlT f ()) () Int Source #

inputDouble :: (Monad m, FormError err, Applicative f) => (input -> Either err Double) -> String -> Double -> Form m input err (HtmlT f ()) () Double Source #

inputCheckbox Source #

Arguments

:: (Monad m, FormInput input, FormError error, ErrorInputType error ~ input, Applicative f) 
=> Bool

initially checked

-> Form m input error (HtmlT f ()) () Bool 

Create a single <input type="checkbox"> element

returns a Bool indicating if it was checked or not.

see also inputCheckboxes FIXME: Should this built on something in Generalized?

inputCheckboxes Source #

Arguments

:: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) 
=> String 
-> [(a, lbl)]

value, label, initially checked

-> (a -> Bool)

function which indicates if a value should be checked initially

-> Form m input error (HtmlT f ()) () [a] 

Create a group of <input type="checkbox"> elements

inputRadio Source #

Arguments

:: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) 
=> String 
-> [(a, lbl)]

value, label, initially checked

-> (a -> Bool)

isDefault

-> Form m input error (HtmlT f ()) () a 

Create a group of <input type="radio"> elements

select Source #

Arguments

:: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) 
=> String 
-> [(a, lbl)]

value, label

-> (a -> Bool)

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

-> Form m input error (HtmlT f ()) () a 

create <select></select> element plus its <option></option> children.

see also: selectMultiple

selectMultiple Source #

Arguments

:: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) 
=> String 
-> [(a, lbl)]

value, label, initially checked

-> (a -> Bool)

isSelected initially

-> Form m input error (HtmlT f ()) () [a] 

create <select multiple="multiple"></select> element plus its <option></option> children.

This creates a <select> element which allows more than one item to be selected.

errorList :: (Monad m, ToHtml error, Monad f) => Form m input error (HtmlT f ()) () () Source #

create a <ul> which contains all the errors related to the Form.

The ul will have the attribute class="ditto-error-list".

childErrorList :: (Monad m, ToHtml error, Monad f) => Form m input error (HtmlT f ()) () () Source #

create a <ul> which contains all the errors related to the Form.

Includes errors from child forms.

The ul will have the attribute class="ditto-error-list".

br :: (Monad m, Applicative f) => Form m input error (HtmlT f ()) () () Source #

create a <br> tag.

fieldset :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a Source #

wrap a <fieldset class="ditto"> around a Form

ol :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a Source #

wrap an <ol class="ditto"> around a Form

ul :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a Source #

wrap a <ul class="ditto"> around a Form

li :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a Source #

wrap a <li class="ditto"> around a Form

formGenGET Source #

Arguments

:: Applicative m 
=> Text

action url

-> [(Text, Text)]

hidden fields to add to form

-> HtmlT m b 
-> HtmlT m b 

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

formGenPOST Source #

Arguments

:: Applicative m 
=> Text

action url

-> [(Text, Text)]

hidden fields to add to form

-> HtmlT m b 
-> HtmlT m b 

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

setAttr :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> [Attribute] -> Form m input error (HtmlT f ()) proof a Source #

add an attribute to the Html for a form element.

Orphan instances

PathPiece FormId Source # 
Instance details