packages feed

ditto-lucid 0.4 → 0.5.0

raw patch · 8 files changed

+124/−35 lines, 8 filesdep ~basedep ~dittodep ~lucidsetup-changedPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base, ditto, lucid, path-pieces, text

API changes (from Hackage documentation)

- Ditto.Lucid: br :: (Environment m input, Applicative f) => Form m input error (HtmlT f ()) ()
+ Ditto.Lucid: br :: forall (m :: Type -> Type) input (f :: Type -> Type) error. (Environment m input, Applicative f) => Form m input error (HtmlT f ()) ()
- Ditto.Lucid: childErrorList :: (Environment m input, ToHtml error, Monad f) => Form m input error (HtmlT f ()) ()
+ Ditto.Lucid: childErrorList :: forall (m :: Type -> Type) input error (f :: Type -> Type). (Environment m input, ToHtml error, Monad f) => Form m input error (HtmlT f ()) ()
- Ditto.Lucid: errorList :: (Environment m input, ToHtml error, Monad f) => Form m input error (HtmlT f ()) ()
+ Ditto.Lucid: errorList :: forall (m :: Type -> Type) input error (f :: Type -> Type). (Environment m input, ToHtml error, Monad f) => Form m input error (HtmlT f ()) ()
- Ditto.Lucid: fieldset :: (Environment m input, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
+ Ditto.Lucid: fieldset :: forall (m :: Type -> Type) input (f :: Type -> Type) error a. (Environment m input, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: formGenGET :: Applicative m => Text -> [(Text, Text)] -> HtmlT m b -> HtmlT m b
+ Ditto.Lucid: formGenGET :: forall (m :: Type -> Type) b. Applicative m => Text -> [(Text, Text)] -> HtmlT m b -> HtmlT m b
- Ditto.Lucid: formGenPOST :: Applicative m => Text -> [(Text, Text)] -> HtmlT m b -> HtmlT m b
+ Ditto.Lucid: formGenPOST :: forall (m :: Type -> Type) b. Applicative m => Text -> [(Text, Text)] -> HtmlT m b -> HtmlT m b
- Ditto.Lucid: li :: (Environment m input, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
+ Ditto.Lucid: li :: forall (m :: Type -> Type) input (f :: Type -> Type) error a. (Environment m input, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: ol :: (Environment m input, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
+ Ditto.Lucid: ol :: forall (m :: Type -> Type) input (f :: Type -> Type) error a. (Environment m input, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: setAttr :: (Environment m input, Functor m, Applicative f) => [Attribute] -> Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
+ Ditto.Lucid: setAttr :: forall (m :: Type -> Type) input (f :: Type -> Type) error a. (Environment m input, Functor m, Applicative f) => [Attribute] -> Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: ul :: (Environment m input, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
+ Ditto.Lucid: ul :: forall (m :: Type -> Type) input (f :: Type -> Type) error a. (Environment m input, Functor m, Applicative f) => Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: withChildErrors :: (Environment m input, ToHtml error, Monad f) => (HtmlT f () -> [error] -> HtmlT f ()) -> Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
+ Ditto.Lucid: withChildErrors :: forall (m :: Type -> Type) input error (f :: Type -> Type) a. (Environment m input, ToHtml error, Monad f) => (HtmlT f () -> [error] -> HtmlT f ()) -> Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid: withErrors :: (Environment m input, ToHtml error, Monad f) => (HtmlT f () -> [error] -> HtmlT f ()) -> Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
+ Ditto.Lucid: withErrors :: forall (m :: Type -> Type) input error (f :: Type -> Type) a. (Environment m input, ToHtml error, Monad f) => (HtmlT f () -> [error] -> HtmlT f ()) -> Form m input error (HtmlT f ()) a -> Form m input error (HtmlT f ()) a
- Ditto.Lucid.Named: arbitraryHtml :: Environment m input => view -> Form m input err view ()
+ Ditto.Lucid.Named: arbitraryHtml :: forall (m :: Type -> Type) input view err. Environment m input => view -> Form m input err view ()
- Ditto.Lucid.Named: button :: (Environment m input, FormError input err, Monad f) => Text -> HtmlT f () -> Form m input err (HtmlT f ()) ()
+ Ditto.Lucid.Named: button :: forall (m :: Type -> Type) input err (f :: Type -> Type). (Environment m input, FormError input err, Monad f) => Text -> HtmlT f () -> Form m input err (HtmlT f ()) ()
- Ditto.Lucid.Named: buttonReset :: (Environment m input, FormError input err, Monad f) => Text -> HtmlT f () -> Form m input err (HtmlT f ()) ()
+ Ditto.Lucid.Named: buttonReset :: forall (m :: Type -> Type) input err (f :: Type -> Type). (Environment m input, FormError input err, Monad f) => Text -> HtmlT f () -> Form m input err (HtmlT f ()) ()
- Ditto.Lucid.Named: buttonSubmit :: (Environment m input, FormError input err, PathPiece text, ToHtml children, Monad f) => (input -> Either err text) -> Text -> text -> children -> Form m input err (HtmlT f ()) (Maybe text)
+ Ditto.Lucid.Named: buttonSubmit :: forall (m :: Type -> Type) input err text children (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, ToHtml children, Monad f) => (input -> Either err text) -> Text -> text -> children -> Form m input err (HtmlT f ()) (Maybe text)
- Ditto.Lucid.Named: inputButton :: (Environment m input, FormError input err, PathPiece text, Applicative f) => Text -> text -> Form m input err (HtmlT f ()) ()
+ Ditto.Lucid.Named: inputButton :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => Text -> text -> Form m input err (HtmlT f ()) ()
- Ditto.Lucid.Named: inputCheckbox :: forall err input m f. (Environment m input, FormError input err, Applicative f) => Bool -> Text -> Form m input err (HtmlT f ()) Bool
+ Ditto.Lucid.Named: inputCheckbox :: forall err input (m :: Type -> Type) (f :: Type -> Type). (Environment m input, FormError input err, Applicative f) => Bool -> Text -> Form m input err (HtmlT f ()) Bool
- Ditto.Lucid.Named: inputCheckboxes :: (Functor m, Environment m input, FormError input err, FormInput input, ToHtml lbl, Monad f, PathPiece a, Eq a) => Text -> [(a, lbl)] -> (input -> Either err [a]) -> (a -> Bool) -> Form m input err (HtmlT f ()) [a]
+ Ditto.Lucid.Named: inputCheckboxes :: forall (m :: Type -> Type) input err lbl (f :: Type -> Type) a. (Functor m, Environment m input, FormError input err, FormInput input, ToHtml lbl, Monad f, PathPiece a, Eq a) => Text -> [(a, lbl)] -> (input -> Either err [a]) -> (a -> Bool) -> Form m input err (HtmlT f ()) [a]
- Ditto.Lucid.Named: inputDouble :: (Environment m input, FormError input err, Applicative f) => (input -> Either err Double) -> Text -> Double -> Form m input err (HtmlT f ()) Double
+ Ditto.Lucid.Named: inputDouble :: forall (m :: Type -> Type) input err (f :: Type -> Type). (Environment m input, FormError input err, Applicative f) => (input -> Either err Double) -> Text -> Double -> Form m input err (HtmlT f ()) Double
- Ditto.Lucid.Named: inputFile :: (Environment m input, FormError input err, FormInput input, Applicative f, ft ~ FileType input, Monoid ft) => Text -> Form m input err (HtmlT f ()) (FileType input)
+ Ditto.Lucid.Named: inputFile :: forall (m :: Type -> Type) input err (f :: Type -> Type) ft. (Environment m input, FormError input err, FormInput input, Applicative f, ft ~ FileType input, Monoid ft) => Text -> Form m input err (HtmlT f ()) (FileType input)
- Ditto.Lucid.Named: inputHidden :: (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Text -> text -> Form m input err (HtmlT f ()) text
+ Ditto.Lucid.Named: inputHidden :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Text -> text -> Form m input err (HtmlT f ()) text
- Ditto.Lucid.Named: inputInt :: (Environment m input, FormError input err, Applicative f) => (input -> Either err Int) -> Text -> Int -> Form m input err (HtmlT f ()) Int
+ Ditto.Lucid.Named: inputInt :: forall (m :: Type -> Type) input err (f :: Type -> Type). (Environment m input, FormError input err, Applicative f) => (input -> Either err Int) -> Text -> Int -> Form m input err (HtmlT f ()) Int
- Ditto.Lucid.Named: inputMaybeText :: (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Text -> Maybe text -> Form m input err (HtmlT f ()) (Maybe text)
+ Ditto.Lucid.Named: inputMaybeText :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Text -> Maybe text -> Form m input err (HtmlT f ()) (Maybe text)
- Ditto.Lucid.Named: inputPassword :: (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Text -> text -> Form m input err (HtmlT f ()) text
+ Ditto.Lucid.Named: inputPassword :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Text -> text -> Form m input err (HtmlT f ()) text
- Ditto.Lucid.Named: inputRadio :: (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => Text -> NonEmpty (a, Html ()) -> (input -> Either err a) -> (a -> Bool) -> Form m input err (HtmlT f ()) a
+ Ditto.Lucid.Named: inputRadio :: forall (m :: Type -> Type) input err (f :: Type -> Type) a. (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => Text -> NonEmpty (a, Html ()) -> (input -> Either err a) -> (a -> Bool) -> Form m input err (HtmlT f ()) a
- Ditto.Lucid.Named: inputReset :: (Environment m input, FormError input err, PathPiece text, Applicative f) => Text -> text -> Form m input err (HtmlT f ()) ()
+ Ditto.Lucid.Named: inputReset :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => Text -> text -> Form m input err (HtmlT f ()) ()
- Ditto.Lucid.Named: inputSubmit :: (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Text -> text -> Form m input err (HtmlT f ()) (Maybe text)
+ Ditto.Lucid.Named: inputSubmit :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Text -> text -> Form m input err (HtmlT f ()) (Maybe text)
- Ditto.Lucid.Named: inputText :: (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Text -> text -> Form m input err (HtmlT f ()) text
+ Ditto.Lucid.Named: inputText :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Text -> text -> Form m input err (HtmlT f ()) text
- Ditto.Lucid.Named: label :: (Environment m input, Monad f) => HtmlT f () -> Text -> Form m input err (HtmlT f ()) ()
+ Ditto.Lucid.Named: label :: forall (m :: Type -> Type) input (f :: Type -> Type) err. (Environment m input, Monad f) => HtmlT f () -> Text -> Form m input err (HtmlT f ()) ()
- Ditto.Lucid.Named: select :: (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => Text -> NonEmpty (a, Html ()) -> (input -> Either err a) -> (a -> Bool) -> Form m input err (HtmlT f ()) a
+ Ditto.Lucid.Named: select :: forall (m :: Type -> Type) input err (f :: Type -> Type) a. (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => Text -> NonEmpty (a, Html ()) -> (input -> Either err a) -> (a -> Bool) -> Form m input err (HtmlT f ()) a
- Ditto.Lucid.Named: selectMultiple :: (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => Text -> [(a, Html ())] -> (input -> Either err [a]) -> (a -> Bool) -> Form m input err (HtmlT f ()) [a]
+ Ditto.Lucid.Named: selectMultiple :: forall (m :: Type -> Type) input err (f :: Type -> Type) a. (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => Text -> [(a, Html ())] -> (input -> Either err [a]) -> (a -> Bool) -> Form m input err (HtmlT f ()) [a]
- Ditto.Lucid.Named: textarea :: (Environment m input, FormError input err, ToHtml text, Monad f) => (input -> Either err text) -> Int -> Int -> Text -> text -> Form m input err (HtmlT f ()) text
+ Ditto.Lucid.Named: textarea :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, ToHtml text, Monad f) => (input -> Either err text) -> Int -> Int -> Text -> text -> Form m input err (HtmlT f ()) text
- Ditto.Lucid.Unnamed: arbitraryHtml :: Environment m input => view -> Form m input err view ()
+ Ditto.Lucid.Unnamed: arbitraryHtml :: forall (m :: Type -> Type) input view err. Environment m input => view -> Form m input err view ()
- Ditto.Lucid.Unnamed: button :: (Environment m input, FormError input err, ToHtml children, Monad f) => children -> Form m input err (HtmlT f ()) ()
+ Ditto.Lucid.Unnamed: button :: forall (m :: Type -> Type) input err children (f :: Type -> Type). (Environment m input, FormError input err, ToHtml children, Monad f) => children -> Form m input err (HtmlT f ()) ()
- Ditto.Lucid.Unnamed: buttonReset :: (Environment m input, FormError input err, ToHtml children, Monad f) => children -> Form m input err (HtmlT f ()) ()
+ Ditto.Lucid.Unnamed: buttonReset :: forall (m :: Type -> Type) input err children (f :: Type -> Type). (Environment m input, FormError input err, ToHtml children, Monad f) => children -> Form m input err (HtmlT f ()) ()
- Ditto.Lucid.Unnamed: buttonSubmit :: (Environment m input, FormError input err, PathPiece text, ToHtml children, Monad f) => (input -> Either err text) -> text -> children -> Form m input err (HtmlT f ()) (Maybe text)
+ Ditto.Lucid.Unnamed: buttonSubmit :: forall (m :: Type -> Type) input err text children (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, ToHtml children, Monad f) => (input -> Either err text) -> text -> children -> Form m input err (HtmlT f ()) (Maybe text)
- Ditto.Lucid.Unnamed: inputButton :: (Environment m input, FormError input err, PathPiece text, Applicative f) => text -> Form m input err (HtmlT f ()) ()
+ Ditto.Lucid.Unnamed: inputButton :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => text -> Form m input err (HtmlT f ()) ()
- Ditto.Lucid.Unnamed: inputCheckbox :: forall err input m f. (Environment m input, FormError input err, Applicative f) => Bool -> Form m input err (HtmlT f ()) Bool
+ Ditto.Lucid.Unnamed: inputCheckbox :: forall err input (m :: Type -> Type) (f :: Type -> Type). (Environment m input, FormError input err, Applicative f) => Bool -> Form m input err (HtmlT f ()) Bool
- Ditto.Lucid.Unnamed: inputCheckboxes :: (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => [(a, Html ())] -> (input -> Either err [a]) -> (a -> Bool) -> Form m input err (HtmlT f ()) [a]
+ Ditto.Lucid.Unnamed: inputCheckboxes :: forall (m :: Type -> Type) input err (f :: Type -> Type) a. (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => [(a, Html ())] -> (input -> Either err [a]) -> (a -> Bool) -> Form m input err (HtmlT f ()) [a]
- Ditto.Lucid.Unnamed: inputDouble :: (Environment m input, FormError input err, Applicative f) => (input -> Either err Double) -> Double -> Form m input err (HtmlT f ()) Double
+ Ditto.Lucid.Unnamed: inputDouble :: forall (m :: Type -> Type) input err (f :: Type -> Type). (Environment m input, FormError input err, Applicative f) => (input -> Either err Double) -> Double -> Form m input err (HtmlT f ()) Double
- Ditto.Lucid.Unnamed: inputFile :: (Environment m input, FormError input err, FormInput input, Applicative f, ft ~ FileType input, Monoid ft) => Form m input err (HtmlT f ()) (FileType input)
+ Ditto.Lucid.Unnamed: inputFile :: forall (m :: Type -> Type) input err (f :: Type -> Type) ft. (Environment m input, FormError input err, FormInput input, Applicative f, ft ~ FileType input, Monoid ft) => Form m input err (HtmlT f ()) (FileType input)
- Ditto.Lucid.Unnamed: inputHidden :: (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> text -> Form m input err (HtmlT f ()) text
+ Ditto.Lucid.Unnamed: inputHidden :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> text -> Form m input err (HtmlT f ()) text
- Ditto.Lucid.Unnamed: inputInt :: (Environment m input, FormError input err, Applicative f) => (input -> Either err Int) -> Int -> Form m input err (HtmlT f ()) Int
+ Ditto.Lucid.Unnamed: inputInt :: forall (m :: Type -> Type) input err (f :: Type -> Type). (Environment m input, FormError input err, Applicative f) => (input -> Either err Int) -> Int -> Form m input err (HtmlT f ()) Int
- Ditto.Lucid.Unnamed: inputMaybeText :: (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Maybe text -> Form m input err (HtmlT f ()) (Maybe text)
+ Ditto.Lucid.Unnamed: inputMaybeText :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> Maybe text -> Form m input err (HtmlT f ()) (Maybe text)
- Ditto.Lucid.Unnamed: inputPassword :: (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> text -> Form m input err (HtmlT f ()) text
+ Ditto.Lucid.Unnamed: inputPassword :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> text -> Form m input err (HtmlT f ()) text
- Ditto.Lucid.Unnamed: inputRadio :: (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => NonEmpty (a, Html ()) -> (input -> Either err a) -> (a -> Bool) -> Form m input err (HtmlT f ()) a
+ Ditto.Lucid.Unnamed: inputRadio :: forall (m :: Type -> Type) input err (f :: Type -> Type) a. (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => NonEmpty (a, Html ()) -> (input -> Either err a) -> (a -> Bool) -> Form m input err (HtmlT f ()) a
- Ditto.Lucid.Unnamed: inputReset :: (Environment m input, FormError input err, PathPiece text, Applicative f) => text -> Form m input err (HtmlT f ()) ()
+ Ditto.Lucid.Unnamed: inputReset :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => text -> Form m input err (HtmlT f ()) ()
- Ditto.Lucid.Unnamed: inputSubmit :: (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> text -> Form m input err (HtmlT f ()) (Maybe text)
+ Ditto.Lucid.Unnamed: inputSubmit :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> text -> Form m input err (HtmlT f ()) (Maybe text)
- Ditto.Lucid.Unnamed: inputText :: (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> text -> Form m input err (HtmlT f ()) text
+ Ditto.Lucid.Unnamed: inputText :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, PathPiece text, Applicative f) => (input -> Either err text) -> text -> Form m input err (HtmlT f ()) text
- Ditto.Lucid.Unnamed: label :: (Environment m input, Monad f) => HtmlT f () -> Form m input err (HtmlT f ()) ()
+ Ditto.Lucid.Unnamed: label :: forall (m :: Type -> Type) input (f :: Type -> Type) err. (Environment m input, Monad f) => HtmlT f () -> Form m input err (HtmlT f ()) ()
- Ditto.Lucid.Unnamed: select :: (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => NonEmpty (a, Html ()) -> (input -> Either err a) -> (a -> Bool) -> Form m input err (HtmlT f ()) a
+ Ditto.Lucid.Unnamed: select :: forall (m :: Type -> Type) input err (f :: Type -> Type) a. (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => NonEmpty (a, Html ()) -> (input -> Either err a) -> (a -> Bool) -> Form m input err (HtmlT f ()) a
- Ditto.Lucid.Unnamed: selectMultiple :: (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => [(a, Html ())] -> (input -> Either err [a]) -> (a -> Bool) -> Form m input err (HtmlT f ()) [a]
+ Ditto.Lucid.Unnamed: selectMultiple :: forall (m :: Type -> Type) input err (f :: Type -> Type) a. (Functor m, Environment m input, FormError input err, FormInput input, Monad f, PathPiece a, Eq a) => [(a, Html ())] -> (input -> Either err [a]) -> (a -> Bool) -> Form m input err (HtmlT f ()) [a]
- Ditto.Lucid.Unnamed: textarea :: (Environment m input, FormError input err, ToHtml text, Monad f) => (input -> Either err text) -> Int -> Int -> text -> Form m input err (HtmlT f ()) text
+ Ditto.Lucid.Unnamed: textarea :: forall (m :: Type -> Type) input err text (f :: Type -> Type). (Environment m input, FormError input err, ToHtml text, Monad f) => (input -> Either err text) -> Int -> Int -> text -> Form m input err (HtmlT f ()) text

Files

+ CHANGELOG.md view
@@ -0,0 +1,22 @@+# Changelog++## 0.5.0 — 2026-08-27++### Breaking+- Require GHC 9.6+ / `base >= 4.14` (0.4.1 supported GHC 7.6+)++### Changed+- Support `ditto >= 0.4 && < 0.6` (backwards compatible with 0.4.x)+- Modernize cabal file (cabal 3.0, stricter warnings, `tested-with`)+- Relax `lucid` upper bound to `< 4`+- Move language extensions from modules into the cabal file+- Public API and type signatures unchanged (compatible with ditto 0.4.x)++### Added+- README and CHANGELOG+- GitHub Actions CI for GHC 9.6–9.14 × ditto 0.4 (Hackage) and 0.5 (master)+- `cabal.project.local.example` for sibling `../ditto` development++### Removed+- `Setup.hs` (unused with `build-type: Simple`)+- Travis CI configuration
+ README.md view
@@ -0,0 +1,33 @@+ditto-lucid [![Hackage](https://img.shields.io/hackage/v/ditto-lucid.svg)](https://hackage.haskell.org/package/ditto-lucid)+===========++Lucid HTML rendering for [ditto](https://github.com/goolord/ditto) forms.++## Requirements++- GHC 9.6 through 9.14 (`base >= 4.14`). GHC 9.10+ uses `GHC2024` by default.+- Works with **ditto 0.4** and **0.5** (backwards compatible).++### Cabal++```+cabal build+```++Resolves `ditto` from Hackage (`>= 0.4 && < 0.6`).++### Local ditto development++To build against a sibling checkout instead of Hackage:++```+cp cabal.project.local.example cabal.project.local+cabal build+```++## 0.5.0 notes++- **Breaking:** GHC 9.6+ required (was GHC 7.6+ on 0.4.1).+- Compatible with `ditto >= 0.4`.+- Recommended toolchain: GHC 9.10+ for `GHC2024`.+- With ditto 0.5+, `inputFile` initial render is an empty upload (no error).
− Setup.hs 
@@ -1,2 +0,0 @@-import Distribution.Simple-main = defaultMain
+ cabal.project.local.example view
@@ -0,0 +1,3 @@+packages:+  ./+  ../ditto
ditto-lucid.cabal view
@@ -1,31 +1,76 @@-Name:                ditto-lucid-Version:             0.4-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-Maintainer:          zacharyachurchill@gmail.com-Copyright:           2012 Jeremy Shaw, SeeReason Partners LLC,-                     2019 Zachary Churchill-Category:            Web-Build-type:          Simple-Cabal-version:       >=1.6+cabal-version: 3.0+name: ditto-lucid+version: 0.5.0+synopsis: Add support for using lucid with Ditto+description:+  Ditto is a library for building and validating forms using applicative+  functors. This package adds support for using Ditto with Lucid.+license: BSD-3-Clause+license-file: LICENSE+author: Jeremy Shaw, Zachary Churchill+maintainer: zacharyachurchill@gmail.com+copyright:+  2012 Jeremy Shaw, SeeReason Partners LLC,+  2019 Zachary Churchill+homepage: https://github.com/goolord/ditto-lucid+bug-reports: https://github.com/goolord/ditto-lucid/issues+category: Web+build-type: Simple+extra-doc-files:+  CHANGELOG.md+  README.md+  cabal.project.local.example+tested-with:+  GHC == 9.6.7+  GHC == 9.8.4+  GHC == 9.10.3+  GHC == 9.12.4+  GHC == 9.14.1  source-repository head-  type:     git+  type: git   location: https://github.com/goolord/ditto-lucid.git -Library+common warnings-base   ghc-options: -Wall-  exposed-modules: ++common warnings-modern+  if impl(ghc >= 8.10)+    ghc-options:+      -Wcompat+      -Widentities+      -Wincomplete-record-updates+      -Wincomplete-uni-patterns+      -Wmissing-deriving-strategies+      -Wunused-packages++common extensions-shared+  default-extensions:+    OverloadedStrings+    ScopedTypeVariables+    TypeFamilies++common defaults-ghc2024+  import: warnings-base, warnings-modern, extensions-shared+  default-language: GHC2024++common defaults-ghc2021+  import: warnings-base, warnings-modern, extensions-shared+  default-language: GHC2021++library+  if impl(ghc >= 9.10)+    import: defaults-ghc2024+  else+    import: defaults-ghc2021+  exposed-modules:     Ditto.Lucid     Ditto.Lucid.Unnamed     Ditto.Lucid.Named   build-depends:-      base >4.5 && <5-    , lucid < 3.0.0-    , ditto >= 0.4 && <= 0.5-    , text >= 0.11 && < 1.3-    , path-pieces+      base        >= 4.14 && < 5+    , lucid       >= 2.9  && < 4+    , ditto       >= 0.4  && < 0.6+    , text        >= 1.2  && < 3+    , path-pieces >= 0.2  && < 0.4   hs-source-dirs: src
src/Ditto/Lucid.hs view
@@ -1,7 +1,3 @@-{-# LANGUAGE OverloadedStrings #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE TypeFamilies #-}- {-# OPTIONS_GHC -fno-warn-orphans #-}  module Ditto.Lucid where
src/Ditto/Lucid/Named.hs view
@@ -1,7 +1,3 @@-{-# LANGUAGE OverloadedStrings #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE TypeFamilies #-}- module Ditto.Lucid.Named where  import Data.Foldable (traverse_, fold)
src/Ditto/Lucid/Unnamed.hs view
@@ -1,7 +1,3 @@-{-# LANGUAGE OverloadedStrings #-}-{-# LANGUAGE ScopedTypeVariables #-}-{-# LANGUAGE TypeFamilies #-}- module Ditto.Lucid.Unnamed where  import Data.Foldable (traverse_, fold)