packages feed

ditto-lucid 0.0.1.0 → 0.1.0.0

raw patch · 3 files changed

+76/−80 lines, 3 filesdep ~dittoPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: ditto

API changes (from Hackage documentation)

- Ditto.Lucid: arbitraryHtml :: Monad m => view -> Form m input error view () ()
+ Ditto.Lucid: arbitraryHtml :: Monad m => view -> Form m input error view ()
- Ditto.Lucid: br :: (Monad m, Applicative f) => Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid: br :: (Monad m, Applicative f) => Form m input error (HtmlT f ()) ()
- Ditto.Lucid: button :: (Monad m, FormError error, ToHtml children, Monad f) => children -> Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid: button :: (Monad m, FormError error, ToHtml children, Monad f) => children -> Form m input error (HtmlT f ()) ()
- Ditto.Lucid: buttonReset :: (Monad m, FormError error, ToHtml children, Monad f) => children -> Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid: buttonReset :: (Monad m, FormError error, ToHtml children, Monad f) => children -> Form m input error (HtmlT f ()) ()
- Ditto.Lucid: buttonSubmit :: (Monad m, FormError error, PathPiece text, ToHtml children, Monad f) => (input -> Either error text) -> text -> children -> Form m input error (HtmlT f ()) () (Maybe text)
+ Ditto.Lucid: buttonSubmit :: (Monad m, FormError error, PathPiece text, ToHtml children, Monad f) => (input -> Either error text) -> text -> children -> Form m input error (HtmlT f ()) (Maybe text)
- Ditto.Lucid: childErrorList :: (Monad m, ToHtml error, Monad f) => Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid: childErrorList :: (Monad m, ToHtml error, Monad f) => Form m input error (HtmlT f ()) ()
- Ditto.Lucid: errorList :: (Monad m, ToHtml error, Monad f) => Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid: errorList :: (Monad m, ToHtml error, Monad f) => Form m input error (HtmlT f ()) ()
- Ditto.Lucid: fieldset :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a
+ Ditto.Lucid: fieldset :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: inputButton :: (Monad m, FormError error, PathPiece text, Applicative f) => text -> Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid: inputButton :: (Monad m, FormError error, PathPiece text, Applicative f) => text -> Form m input error (HtmlT f ()) ()
- Ditto.Lucid: inputCheckbox :: forall x error input m f. (Monad m, FormInput input, FormError error, ErrorInputType error ~ input, Applicative f) => Bool -> Form m input error (HtmlT f ()) () Bool
+ Ditto.Lucid: inputCheckbox :: forall x error input m f. (Monad m, FormInput input, FormError error, ErrorInputType error ~ input, Applicative f) => Bool -> Form m input error (HtmlT f ()) Bool
- Ditto.Lucid: inputCheckboxes :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) () [a]
+ Ditto.Lucid: inputCheckboxes :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) [a]
- Ditto.Lucid: inputDouble :: (Monad m, FormError err, Applicative f) => (input -> Either err Double) -> Double -> Form m input err (HtmlT f ()) () Double
+ Ditto.Lucid: inputDouble :: (Monad m, FormError err, Applicative f) => (input -> Either err Double) -> Double -> Form m input err (HtmlT f ()) Double
- Ditto.Lucid: inputFile :: (Monad m, FormError error, FormInput input, ErrorInputType error ~ input, Applicative f) => Form m input error (HtmlT f ()) () (FileType input)
+ Ditto.Lucid: inputFile :: (Monad m, FormError error, FormInput input, ErrorInputType error ~ input, Applicative f) => Form m input error (HtmlT f ()) (FileType input)
- Ditto.Lucid: inputHidden :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> text -> Form m input error (HtmlT f ()) () text
+ Ditto.Lucid: inputHidden :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> text -> Form m input error (HtmlT f ()) text
- Ditto.Lucid: inputInt :: (Monad m, FormError err, Applicative f) => (input -> Either err Int) -> Int -> Form m input err (HtmlT f ()) () Int
+ Ditto.Lucid: inputInt :: (Monad m, FormError err, Applicative f) => (input -> Either err Int) -> Int -> Form m input err (HtmlT f ()) Int
- Ditto.Lucid: inputPassword :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> text -> Form m input error (HtmlT f ()) () text
+ Ditto.Lucid: inputPassword :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> text -> Form m input error (HtmlT f ()) text
- Ditto.Lucid: inputRadio :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) () a
+ Ditto.Lucid: inputRadio :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: inputReset :: (Monad m, FormError error, PathPiece text, Applicative f) => text -> Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid: inputReset :: (Monad m, FormError error, PathPiece text, Applicative f) => text -> Form m input error (HtmlT f ()) ()
- Ditto.Lucid: inputSubmit :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> text -> Form m input error (HtmlT f ()) () (Maybe text)
+ Ditto.Lucid: inputSubmit :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> text -> Form m input error (HtmlT f ()) (Maybe text)
- Ditto.Lucid: inputText :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> text -> Form m input error (HtmlT f ()) () text
+ Ditto.Lucid: inputText :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> text -> Form m input error (HtmlT f ()) text
- Ditto.Lucid: label :: (Monad m, Monad f) => HtmlT f () -> Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid: label :: (Monad m, Monad f) => HtmlT f () -> Form m input error (HtmlT f ()) ()
- Ditto.Lucid: li :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a
+ Ditto.Lucid: li :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: ol :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a
+ Ditto.Lucid: ol :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: select :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) () a
+ Ditto.Lucid: select :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: selectMultiple :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) () [a]
+ Ditto.Lucid: selectMultiple :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) [a]
- Ditto.Lucid: setAttr :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> [Attribute] -> Form m input error (HtmlT f ()) proof a
+ Ditto.Lucid: setAttr :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> [Attribute] -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: textarea :: (Monad m, FormError error, ToHtml text, Monad f) => (input -> Either error text) -> Int -> Int -> text -> Form m input error (HtmlT f ()) () text
+ Ditto.Lucid: textarea :: (Monad m, FormError error, ToHtml text, Monad f) => (input -> Either error text) -> Int -> Int -> text -> Form m input error (HtmlT f ()) text
- Ditto.Lucid: ul :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a
+ Ditto.Lucid: ul :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid.Named: arbitraryHtml :: Monad m => view -> Form m input error view () ()
+ Ditto.Lucid.Named: arbitraryHtml :: Monad m => view -> Form m input error view ()
- Ditto.Lucid.Named: br :: (Monad m, Applicative f) => Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid.Named: br :: (Monad m, Applicative f) => Form m input error (HtmlT f ()) ()
- Ditto.Lucid.Named: button :: (Monad m, FormError error, Monad f) => String -> HtmlT f () -> Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid.Named: button :: (Monad m, FormError error, Monad f) => String -> HtmlT f () -> Form m input error (HtmlT f ()) ()
- Ditto.Lucid.Named: buttonReset :: (Monad m, FormError error, Monad f) => String -> HtmlT f () -> Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid.Named: buttonReset :: (Monad m, FormError error, Monad f) => String -> HtmlT f () -> Form m input error (HtmlT f ()) ()
- Ditto.Lucid.Named: 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)
+ Ditto.Lucid.Named: 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)
- Ditto.Lucid.Named: childErrorList :: (Monad m, ToHtml error, Monad f) => Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid.Named: childErrorList :: (Monad m, ToHtml error, Monad f) => Form m input error (HtmlT f ()) ()
- Ditto.Lucid.Named: errorList :: (Monad m, ToHtml error, Monad f) => Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid.Named: errorList :: (Monad m, ToHtml error, Monad f) => Form m input error (HtmlT f ()) ()
- Ditto.Lucid.Named: fieldset :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a
+ Ditto.Lucid.Named: fieldset :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid.Named: inputButton :: (Monad m, FormError error, PathPiece text, Applicative f) => String -> text -> Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid.Named: inputButton :: (Monad m, FormError error, PathPiece text, Applicative f) => String -> text -> Form m input error (HtmlT f ()) ()
- Ditto.Lucid.Named: inputCheckbox :: forall x error input m f. (Monad m, FormInput input, FormError error, ErrorInputType error ~ input, Applicative f) => Bool -> Form m input error (HtmlT f ()) () Bool
+ Ditto.Lucid.Named: inputCheckbox :: forall x error input m f. (Monad m, FormInput input, FormError error, ErrorInputType error ~ input, Applicative f) => Bool -> Form m input error (HtmlT f ()) Bool
- Ditto.Lucid.Named: inputCheckboxes :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => String -> [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) () [a]
+ Ditto.Lucid.Named: inputCheckboxes :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => String -> [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) [a]
- Ditto.Lucid.Named: inputDouble :: (Monad m, FormError err, Applicative f) => (input -> Either err Double) -> String -> Double -> Form m input err (HtmlT f ()) () Double
+ Ditto.Lucid.Named: inputDouble :: (Monad m, FormError err, Applicative f) => (input -> Either err Double) -> String -> Double -> Form m input err (HtmlT f ()) Double
- Ditto.Lucid.Named: inputFile :: (Monad m, FormError error, FormInput input, ErrorInputType error ~ input, Applicative f) => String -> Form m input error (HtmlT f ()) () (FileType input)
+ Ditto.Lucid.Named: inputFile :: (Monad m, FormError error, FormInput input, ErrorInputType error ~ input, Applicative f) => String -> Form m input error (HtmlT f ()) (FileType input)
- Ditto.Lucid.Named: inputHidden :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) () text
+ Ditto.Lucid.Named: inputHidden :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) text
- Ditto.Lucid.Named: inputInt :: (Monad m, FormError err, Applicative f) => (input -> Either err Int) -> String -> Int -> Form m input err (HtmlT f ()) () Int
+ Ditto.Lucid.Named: inputInt :: (Monad m, FormError err, Applicative f) => (input -> Either err Int) -> String -> Int -> Form m input err (HtmlT f ()) Int
- Ditto.Lucid.Named: inputPassword :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) () text
+ Ditto.Lucid.Named: inputPassword :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) text
- Ditto.Lucid.Named: inputRadio :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => String -> [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) () a
+ Ditto.Lucid.Named: inputRadio :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => String -> [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) a
- Ditto.Lucid.Named: inputReset :: (Monad m, FormError error, PathPiece text, Applicative f) => String -> text -> Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid.Named: inputReset :: (Monad m, FormError error, PathPiece text, Applicative f) => String -> text -> Form m input error (HtmlT f ()) ()
- Ditto.Lucid.Named: inputSubmit :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) () (Maybe text)
+ Ditto.Lucid.Named: inputSubmit :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) (Maybe text)
- Ditto.Lucid.Named: inputText :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) () text
+ Ditto.Lucid.Named: inputText :: (Monad m, FormError error, PathPiece text, Applicative f) => (input -> Either error text) -> String -> text -> Form m input error (HtmlT f ()) text
- Ditto.Lucid.Named: label :: (Monad m, Monad f) => HtmlT f () -> Form m input error (HtmlT f ()) () ()
+ Ditto.Lucid.Named: label :: (Monad m, Monad f) => HtmlT f () -> Form m input error (HtmlT f ()) ()
- Ditto.Lucid.Named: li :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a
+ Ditto.Lucid.Named: li :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid.Named: ol :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a
+ Ditto.Lucid.Named: ol :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid.Named: select :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => String -> [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) () a
+ Ditto.Lucid.Named: select :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => String -> [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) a
- Ditto.Lucid.Named: selectMultiple :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => String -> [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) () [a]
+ Ditto.Lucid.Named: selectMultiple :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f) => String -> [(a, lbl)] -> (a -> Bool) -> Form m input error (HtmlT f ()) [a]
- Ditto.Lucid.Named: setAttr :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> [Attribute] -> Form m input error (HtmlT f ()) proof a
+ Ditto.Lucid.Named: setAttr :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> [Attribute] -> Form m input error (HtmlT f ()) a
- Ditto.Lucid.Named: textarea :: (Monad m, FormError error, ToHtml text, Monad f) => (input -> Either error text) -> Int -> Int -> String -> text -> Form m input error (HtmlT f ()) () text
+ Ditto.Lucid.Named: textarea :: (Monad m, FormError error, ToHtml text, Monad f) => (input -> Either error text) -> Int -> Int -> String -> text -> Form m input error (HtmlT f ()) text
- Ditto.Lucid.Named: ul :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) proof a -> Form m input error (HtmlT f ()) proof a
+ Ditto.Lucid.Named: ul :: (Monad m, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a

Files

ditto-lucid.cabal view
@@ -1,7 +1,7 @@ Name:                ditto-lucid-Version:             0.0.1.0-Synopsis:            Add support for using lucid with Reform-Description:         Reform is a library for building and validating forms using applicative functors. This package add support for using ditto with lucid.+Version:             0.1.0.0+Synopsis:            Add support for using lucid with Ditto+Description:         Ditto is a library for building and validating forms using applicative functors. This package add support for using ditto with lucid. License:             BSD3 License-file:        LICENSE Author:              Jeremy Shaw, Zachary Churchill@@ -23,7 +23,7 @@   build-depends:       base >4.5 && <5     , lucid < 3.0.0-    , ditto == 0.0.1.*+    , ditto == 0.1.0.*     , text >= 0.11 && < 1.3     , path-pieces   hs-source-dirs: src
src/Ditto/Lucid.hs view
@@ -24,7 +24,7 @@   :: (Monad m, FormError error, PathPiece text, Applicative f)   => (input -> Either error text)   -> text-  -> Form m input error (HtmlT f ()) () text+  -> Form m input error (HtmlT f ()) text inputText getInput initialValue = G.input getInput inputField initialValue   where     inputField i a = input_ [type_ "text", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -33,7 +33,7 @@   :: (Monad m, FormError error, PathPiece text, Applicative f)   => (input -> Either error text)   -> text-  -> Form m input error (HtmlT f ()) () text+  -> Form m input error (HtmlT f ()) text inputPassword getInput initialValue = G.input getInput inputField initialValue   where     inputField i a = input_ [type_ "password", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -42,7 +42,7 @@   :: (Monad m, FormError error, PathPiece text, Applicative f)   => (input -> Either error text)   -> text-  -> Form m input error (HtmlT f ()) () (Maybe text)+  -> Form m input error (HtmlT f ()) (Maybe text) inputSubmit getInput initialValue = G.inputMaybe getInput inputField initialValue   where     inputField i a = input_ [type_ "submit", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -50,7 +50,7 @@ inputReset   :: (Monad m, FormError error, PathPiece text, Applicative f)   => text-  -> Form m input error (HtmlT f ()) () ()+  -> Form m input error (HtmlT f ()) () inputReset lbl = G.inputNoData inputField lbl   where     inputField i a = input_ [type_ "submit", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -59,7 +59,7 @@   :: (Monad m, FormError error, PathPiece text, Applicative f)   => (input -> Either error text)   -> text-  -> Form m input error (HtmlT f ()) () text+  -> Form m input error (HtmlT f ()) text inputHidden getInput initialValue = G.input getInput inputField initialValue   where     inputField i a = input_ [type_ "hidden", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -67,7 +67,7 @@ inputButton   :: (Monad m, FormError error, PathPiece text, Applicative f)   => text-  -> Form m input error (HtmlT f ()) () ()+  -> Form m input error (HtmlT f ()) () inputButton label = G.inputNoData inputField label   where     inputField i a = input_ [type_ "button", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -78,7 +78,7 @@   -> Int -- ^ cols   -> Int -- ^ rows   -> text -- ^ initial text-  -> Form m input error (HtmlT f ()) () text+  -> Form m input error (HtmlT f ()) text textarea getInput cols rows initialValue = G.input getInput textareaView initialValue   where     textareaView i txt =@@ -95,7 +95,7 @@ -- 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. inputFile   :: (Monad m, FormError error, FormInput input, ErrorInputType error ~ input, Applicative f)-  => Form m input error (HtmlT f ()) () (FileType input)+  => Form m input error (HtmlT f ()) (FileType input) inputFile = G.inputFile fileView   where     fileView i = input_ [type_ "file", id_ (toPathPiece i), name_ (toPathPiece i)]@@ -106,7 +106,7 @@   => (input -> Either error text)   -> text   -> children-  -> Form m input error (HtmlT f ()) () (Maybe text)+  -> Form m input error (HtmlT f ()) (Maybe text) buttonSubmit getInput text c = G.inputMaybe getInput inputField text   where     inputField i a = button_ [type_ "submit", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)] $ toHtml c@@ -117,7 +117,7 @@ buttonReset   :: (Monad m, FormError error, ToHtml children, Monad f)   => children-  -> Form m input error (HtmlT f ()) () ()+  -> Form m input error (HtmlT f ()) () buttonReset c = G.inputNoData inputField Nothing   where     inputField i a = button_ [type_ "reset", id_ (toPathPiece i), name_ (toPathPiece i)] $ toHtml c@@ -128,7 +128,7 @@ button   :: (Monad m, FormError error, ToHtml children, Monad f)   => children-  -> Form m input error (HtmlT f ()) () ()+  -> Form m input error (HtmlT f ()) () button c = G.inputNoData inputField Nothing   where     inputField i a = button_ [type_ "button", id_ (toPathPiece i), name_ (toPathPiece i)] $ toHtml c@@ -141,12 +141,12 @@ label   :: (Monad m, Monad f)   => HtmlT f ()-  -> Form m input error (HtmlT f ()) () ()+  -> Form m input error (HtmlT f ()) () label c = G.label mkLabel   where     mkLabel i = label_ [for_ (toPathPiece i)] c -arbitraryHtml :: Monad m => view -> Form m input error view () ()+arbitraryHtml :: Monad m => view -> Form m input error view () arbitraryHtml wrap =   Form $ do     id' <- getFormId@@ -154,8 +154,7 @@       ( View (const $ wrap)       , pure         ( Ok $ Proved-          { proofs = ()-          , pos = unitRange id'+          { pos = unitRange id'           , unProved = ()           }         )@@ -165,7 +164,7 @@   :: (Monad m, FormError err, Applicative f)   => (input -> Either err Int)   -> Int-  -> Form m input err (HtmlT f ()) () Int+  -> Form m input err (HtmlT f ()) Int inputInt getInput initialValue = G.input getInput inputField initialValue   where     min = toPathPiece (minBound :: Int)@@ -186,7 +185,7 @@   :: (Monad m, FormError err, Applicative f)   => (input -> Either err Double)   -> Double-  -> Form m input err (HtmlT f ()) () Double+  -> Form m input err (HtmlT f ()) Double inputDouble getInput initialValue = G.input getInput inputField initialValue   where     inputField i a = input_ [type_ "number", step_ "any", id_ (toPathPiece i), name_ (toPathPiece i), value_ (T.pack $ show a)]@@ -200,7 +199,7 @@ inputCheckbox   :: forall x error input m f. (Monad m, FormInput input, FormError error, ErrorInputType error ~ input, Applicative f)   => Bool -- ^ initially checked-  -> Form m input error (HtmlT f ()) () Bool+  -> Form m input error (HtmlT f ()) Bool inputCheckbox initiallyChecked =   Form $ do     i <- getFormId@@ -223,8 +222,7 @@             , pure $               Ok                 ( Proved-                  { proofs = ()-                  , pos = unitRange i+                  { pos = unitRange i                   , unProved = if checked then True else False                   }                 )@@ -236,7 +234,7 @@   :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f)   => [(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]+  -> Form m input error (HtmlT f ()) [a] inputCheckboxes choices isChecked =   G.inputMulti choices mkCheckboxes isChecked   where@@ -254,7 +252,7 @@   :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f)   => [(a, lbl)] -- ^ value, label, initially checked   -> (a -> Bool) -- ^ isDefault-  -> Form m input error (HtmlT f ()) () a+  -> Form m input error (HtmlT f ()) a inputRadio choices isDefault =   G.inputChoice isDefault choices mkRadios   where@@ -274,7 +272,7 @@   :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f)   => [(a, lbl)] -- ^ value, label   -> (a -> Bool) -- ^ isDefault, must match *exactly one* element in the list of choices-  -> Form m input error (HtmlT f ()) () a+  -> Form m input error (HtmlT f ()) a select choices isDefault =   G.inputChoice isDefault choices mkSelect   where@@ -297,7 +295,7 @@   :: (Functor m, Monad m, FormError error, ErrorInputType error ~ input, FormInput input, ToHtml lbl, Monad f)   => [(a, lbl)] -- ^ value, label, initially checked   -> (a -> Bool) -- ^ isSelected initially-  -> Form m input error (HtmlT f ()) () [a]+  -> Form m input error (HtmlT f ()) [a] selectMultiple choices isSelected =   G.inputMulti choices mkSelect isSelected   where@@ -316,7 +314,7 @@ {- inputMultiSelectOptGroup :: (Functor m, XMLGenerator x, EmbedAsChild x groupLbl, EmbedAsChild x lbl, EmbedAsAttr x (Attr String FormId), FormError error, ErrorInputType error ~ input, FormInput input, Monad m, Applicative f) =>                    [(groupLbl, [(a, lbl, Bool)])]  -- ^ value, label, initially checked-                -> Form m input error (HtmlT f ()) () [a]+                -> Form m input error (HtmlT f ()) [a] inputMultiSelectOptGroup choices =     G.inputMulti choices mkSelect     where@@ -340,7 +338,7 @@ -- The @<\ul\>@ will have the attribute @class=\"ditto-error-list\"@. errorList   :: (Monad m, ToHtml error, Monad f)-  => Form m input error (HtmlT f ()) () ()+  => Form m input error (HtmlT f ()) () errorList = G.errors mkErrors   where     mkErrors :: Monad f => ToHtml a => [a] -> HtmlT f ()@@ -356,7 +354,7 @@ -- The @<\ul\>@ will have the attribute @class=\"ditto-error-list\"@. childErrorList   :: (Monad m, ToHtml error, Monad f)-  => Form m input error (HtmlT f ()) () ()+  => Form m input error (HtmlT f ()) () childErrorList = G.childErrors mkErrors   where     mkErrors :: Monad f => ToHtml a => [a] -> HtmlT f ()@@ -366,36 +364,36 @@     mkError e = li_ [] $ toHtml e  -- | create a @\<br\>@ tag.-br :: (Monad m, Applicative f) => Form m input error (HtmlT f ()) () ()+br :: (Monad m, Applicative f) => Form m input error (HtmlT f ()) () br = view (br_ [])  -- | wrap a @\<fieldset class=\"ditto\"\>@ around a 'Form' -- fieldset   :: (Monad m, Functor m, Applicative f)-  => Form m input error (HtmlT f ()) proof a-  -> Form m input error (HtmlT f ()) proof a+  => Form m input error (HtmlT f ()) a+  -> Form m input error (HtmlT f ()) a fieldset frm = mapView (fieldset_ [class_ "ditto"]) frm  -- | wrap an @\<ol 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+  => Form m input error (HtmlT f ()) a+  -> Form m input error (HtmlT f ()) a ol frm = mapView (ol_ [class_ "ditto"]) frm  -- | wrap a @\<ul 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+  => Form m input error (HtmlT f ()) a+  -> Form m input error (HtmlT f ()) a ul frm = mapView (ul_ [class_ "ditto"]) frm  -- | wrap a @\<li 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+  => Form m input error (HtmlT f ()) a+  -> Form m input error (HtmlT f ()) a li frm = mapView (li_ [class_ "ditto"]) frm  -- | create @\<form action=action method=\"GET\" enctype=\"multipart/form-data\"\>@@@ -429,7 +427,7 @@ -- | add an attribute to the 'Html' for a form element. setAttr   :: (Monad m, Functor m, Applicative f)-  => Form m input error (HtmlT f ()) proof a+  => Form m input error (HtmlT f ()) a   -> [Attribute]-  -> Form m input error (HtmlT f ()) proof a+  -> Form m input error (HtmlT f ()) a setAttr form attr = mapView (\x -> x `with` attr) form
src/Ditto/Lucid/Named.hs view
@@ -25,7 +25,7 @@   => (input -> Either error text)   -> String   -> text-  -> Form m input error (HtmlT f ()) () text+  -> Form m input error (HtmlT f ()) text inputText getInput name initialValue = G.input getInput inputField initialValue name   where     inputField i a = input_ [type_ "text", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -35,7 +35,7 @@   => (input -> Either error text)   -> String   -> text-  -> Form m input error (HtmlT f ()) () text+  -> Form m input error (HtmlT f ()) text inputPassword getInput name initialValue = G.input getInput inputField initialValue name   where     inputField i a = input_ [type_ "password", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -45,7 +45,7 @@   => (input -> Either error text)   -> String   -> text-  -> Form m input error (HtmlT f ()) () (Maybe text)+  -> Form m input error (HtmlT f ()) (Maybe text) inputSubmit getInput name initialValue = G.inputMaybe getInput inputField initialValue name   where     inputField i a = input_ [type_ "submit", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -54,7 +54,7 @@   :: (Monad m, FormError error, PathPiece text, Applicative f)   => String   -> text-  -> Form m input error (HtmlT f ()) () ()+  -> Form m input error (HtmlT f ()) () inputReset name lbl = G.inputNoData inputField lbl name   where     inputField i a = input_ [type_ "submit", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -64,7 +64,7 @@   => (input -> Either error text)   -> String   -> text-  -> Form m input error (HtmlT f ()) () text+  -> Form m input error (HtmlT f ()) text inputHidden getInput name initialValue = G.input getInput inputField initialValue name   where     inputField i a = input_ [type_ "hidden", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -73,7 +73,7 @@   :: (Monad m, FormError error, PathPiece text, Applicative f)   => String   -> text-  -> Form m input error (HtmlT f ()) () ()+  -> Form m input error (HtmlT f ()) () inputButton name label = G.inputNoData inputField label name   where     inputField i a = input_ [type_ "button", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)]@@ -85,7 +85,7 @@   -> Int -- ^ rows   -> String   -> text -- ^ initial text-  -> Form m input error (HtmlT f ()) () text+  -> Form m input error (HtmlT f ()) text textarea getInput cols rows name initialValue = G.input getInput textareaView initialValue name   where     textareaView i txt =@@ -103,7 +103,7 @@ inputFile   :: (Monad m, FormError error, FormInput input, ErrorInputType error ~ input, Applicative f)   => String-  -> Form m input error (HtmlT f ()) () (FileType input)+  -> Form m input error (HtmlT f ()) (FileType input) inputFile name = G.inputFile fileView name   where     fileView i = input_ [type_ "file", id_ (toPathPiece i), name_ (toPathPiece i)]@@ -115,7 +115,7 @@   -> String   -> text   -> children-  -> Form m input error (HtmlT f ()) () (Maybe text)+  -> Form m input error (HtmlT f ()) (Maybe text) buttonSubmit getInput name text c = G.inputMaybe getInput inputField text name   where     inputField i a = button_ [type_ "submit", id_ (toPathPiece i), name_ (toPathPiece i), value_ (toPathPiece a)] $ toHtml c@@ -127,7 +127,7 @@   :: (Monad m, FormError error, Monad f)   => String   -> HtmlT f ()-  -> Form m input error (HtmlT f ()) () ()+  -> Form m input error (HtmlT f ()) () buttonReset name c = G.inputNoData inputField Nothing name   where     inputField i a = button_ [type_ "reset", id_ (toPathPiece i), name_ (toPathPiece i)] c@@ -139,7 +139,7 @@   :: (Monad m, FormError error, Monad f)   => String   -> HtmlT f ()-  -> Form m input error (HtmlT f ()) () ()+  -> Form m input error (HtmlT f ()) () button name c = G.inputNoData inputField Nothing name   where     inputField i a = button_ [type_ "button", id_ (toPathPiece i), name_ (toPathPiece i)] c@@ -152,12 +152,12 @@ label   :: (Monad m, Monad f)   => HtmlT f ()-  -> Form m input error (HtmlT f ()) () ()+  -> Form m input error (HtmlT f ()) () label c = G.label mkLabel   where     mkLabel i = label_ [for_ (toPathPiece i)] c -arbitraryHtml :: Monad m => view -> Form m input error view () ()+arbitraryHtml :: Monad m => view -> Form m input error view () arbitraryHtml wrap =   Form $ do     id' <- getFormId@@ -165,8 +165,7 @@       ( View (const $ wrap)       , pure         ( Ok $ Proved-          { proofs = ()-          , pos = unitRange id'+          { pos = unitRange id'           , unProved = ()           }         )@@ -177,7 +176,7 @@   => (input -> Either err Int)   -> String   -> Int-  -> Form m input err (HtmlT f ()) () Int+  -> Form m input err (HtmlT f ()) Int inputInt getInput name initialValue = G.input getInput inputField initialValue name   where     min = toPathPiece (minBound :: Int)@@ -199,7 +198,7 @@   => (input -> Either err Double)   -> String   -> Double-  -> Form m input err (HtmlT f ()) () Double+  -> Form m input err (HtmlT f ()) Double inputDouble getInput name initialValue = G.input getInput inputField initialValue name   where     inputField i a = input_ [type_ "number", step_ "any", id_ (toPathPiece i), name_ (toPathPiece i), value_ (T.pack $ show a)]@@ -213,7 +212,7 @@ inputCheckbox   :: forall x error input m f. (Monad m, FormInput input, FormError error, ErrorInputType error ~ input, Applicative f)   => Bool -- ^ initially checked-  -> Form m input error (HtmlT f ()) () Bool+  -> Form m input error (HtmlT f ()) Bool inputCheckbox initiallyChecked =   Form $ do     i <- getFormId@@ -236,8 +235,7 @@             , pure $               Ok                 ( Proved-                  { proofs = ()-                  , pos = unitRange i+                  { pos = unitRange i                   , unProved = if checked then True else False                   }                 )@@ -250,7 +248,7 @@   => 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]+  -> Form m input error (HtmlT f ()) [a] inputCheckboxes name choices isChecked = G.inputMulti choices mkCheckboxes isChecked name   where     mkCheckboxes nm choices' = mconcat $ concatMap (mkCheckbox nm) choices'@@ -268,7 +266,7 @@   => String   -> [(a, lbl)] -- ^ value, label, initially checked   -> (a -> Bool) -- ^ isDefault-  -> Form m input error (HtmlT f ()) () a+  -> Form m input error (HtmlT f ()) a inputRadio name choices isDefault =   G.inputChoice isDefault choices mkRadios name   where@@ -289,7 +287,7 @@   => 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+  -> Form m input error (HtmlT f ()) a select name choices isDefault = G.inputChoice isDefault choices mkSelect name   where     mkSelect :: (ToHtml lbl, Monad f) => FormId -> [(a, Int, lbl, Bool)] -> HtmlT f ()@@ -312,7 +310,7 @@   => String   -> [(a, lbl)] -- ^ value, label, initially checked   -> (a -> Bool) -- ^ isSelected initially-  -> Form m input error (HtmlT f ()) () [a]+  -> Form m input error (HtmlT f ()) [a] selectMultiple name choices isSelected = G.inputMulti choices mkSelect isSelected name   where     mkSelect :: (ToHtml lbl, Monad f) => FormId -> [(a, Int, lbl, Bool)] -> HtmlT f ()@@ -330,7 +328,7 @@ {- inputMultiSelectOptGroup :: (Functor m, XMLGenerator x, EmbedAsChild x groupLbl, EmbedAsChild x lbl, EmbedAsAttr x (Attr String FormId), FormError error, ErrorInputType error ~ input, FormInput input, Monad m, Applicative f) =>                    [(groupLbl, [(a, lbl, Bool)])]  -- ^ value, label, initially checked-                -> Form m input error (HtmlT f ()) () [a]+                -> Form m input error (HtmlT f ()) [a] inputMultiSelectOptGroup choices =     G.inputMulti choices mkSelect     where@@ -354,7 +352,7 @@ -- The @<\ul\>@ will have the attribute @class=\"ditto-error-list\"@. errorList   :: (Monad m, ToHtml error, Monad f)-  => Form m input error (HtmlT f ()) () ()+  => Form m input error (HtmlT f ()) () errorList = G.errors mkErrors   where     mkErrors :: Monad f => ToHtml a => [a] -> HtmlT f ()@@ -370,7 +368,7 @@ -- The @<\ul\>@ will have the attribute @class=\"ditto-error-list\"@. childErrorList   :: (Monad m, ToHtml error, Monad f)-  => Form m input error (HtmlT f ()) () ()+  => Form m input error (HtmlT f ()) () childErrorList = G.childErrors mkErrors   where     mkErrors :: Monad f => ToHtml a => [a] -> HtmlT f ()@@ -380,36 +378,36 @@     mkError e = li_ [] $ toHtml e  -- | create a @\<br\>@ tag.-br :: (Monad m, Applicative f) => Form m input error (HtmlT f ()) () ()+br :: (Monad m, Applicative f) => Form m input error (HtmlT f ()) () br = view (br_ [])  -- | wrap a @\<fieldset class=\"ditto\"\>@ around a 'Form' -- fieldset   :: (Monad m, Functor m, Applicative f)-  => Form m input error (HtmlT f ()) proof a-  -> Form m input error (HtmlT f ()) proof a+  => Form m input error (HtmlT f ()) a+  -> Form m input error (HtmlT f ()) a fieldset frm = mapView (fieldset_ [class_ "ditto"]) frm  -- | wrap an @\<ol 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+  => Form m input error (HtmlT f ()) a+  -> Form m input error (HtmlT f ()) a ol frm = mapView (ol_ [class_ "ditto"]) frm  -- | wrap a @\<ul 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+  => Form m input error (HtmlT f ()) a+  -> Form m input error (HtmlT f ()) a ul frm = mapView (ul_ [class_ "ditto"]) frm  -- | wrap a @\<li 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+  => Form m input error (HtmlT f ()) a+  -> Form m input error (HtmlT f ()) a li frm = mapView (li_ [class_ "ditto"]) frm  -- | create @\<form action=action method=\"GET\" enctype=\"multipart/form-data\"\>@@@ -443,7 +441,7 @@ -- | add an attribute to the 'Html' for a form element. setAttr   :: (Monad m, Functor m, Applicative f)-  => Form m input error (HtmlT f ()) proof a+  => Form m input error (HtmlT f ()) a   -> [Attribute]-  -> Form m input error (HtmlT f ()) proof a+  -> Form m input error (HtmlT f ()) a setAttr form attr = mapView (\x -> x `with` attr) form