lucid2 0.0.20250303 → 0.0.20260427
raw patch · 3 files changed
+8/−2 lines, 3 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Lucid: data HtmlT m a
+ Lucid: data HtmlT (m :: Type -> Type) a
- Lucid: toHtml :: (ToHtml a, Monad m) => a -> HtmlT m ()
+ Lucid: toHtml :: forall (m :: Type -> Type). (ToHtml a, Monad m) => a -> HtmlT m ()
- Lucid: toHtmlRaw :: (ToHtml a, Monad m) => a -> HtmlT m ()
+ Lucid: toHtmlRaw :: forall (m :: Type -> Type). (ToHtml a, Monad m) => a -> HtmlT m ()
- Lucid.Base: commuteHtmlT :: (Monad m, Monad n) => HtmlT m a -> m (HtmlT n a)
+ Lucid.Base: commuteHtmlT :: forall m (n :: Type -> Type) a. (Monad m, Monad n) => HtmlT m a -> m (HtmlT n a)
- Lucid.Base: commuteHtmlT2 :: (Monad m, Monad n) => HtmlT m a -> m (HtmlT n a)
+ Lucid.Base: commuteHtmlT2 :: forall m (n :: Type -> Type) a. (Monad m, Monad n) => HtmlT m a -> m (HtmlT n a)
- Lucid.Base: data HtmlT m a
+ Lucid.Base: data HtmlT (m :: Type -> Type) a
- Lucid.Base: generalizeHtmlT :: Monad m => HtmlT Identity a -> HtmlT m a
+ Lucid.Base: generalizeHtmlT :: forall (m :: Type -> Type) a. Monad m => HtmlT Identity a -> HtmlT m a
- Lucid.Base: hoistHtmlT :: (Monad m, Monad n) => (forall a. m a -> n a) -> HtmlT m b -> HtmlT n b
+ Lucid.Base: hoistHtmlT :: (Monad m, Monad n) => (forall a. () => m a -> n a) -> HtmlT m b -> HtmlT n b
- Lucid.Base: makeElement :: Monad m => Text -> [Attributes] -> HtmlT m a -> HtmlT m a
+ Lucid.Base: makeElement :: forall (m :: Type -> Type) a. Monad m => Text -> [Attributes] -> HtmlT m a -> HtmlT m a
- Lucid.Base: makeElementNoEnd :: Monad m => Text -> [Attributes] -> HtmlT m ()
+ Lucid.Base: makeElementNoEnd :: forall (m :: Type -> Type). Monad m => Text -> [Attributes] -> HtmlT m ()
- Lucid.Base: relaxHtmlT :: Monad m => HtmlT Identity a -> HtmlT m a
+ Lucid.Base: relaxHtmlT :: forall (m :: Type -> Type) a. Monad m => HtmlT Identity a -> HtmlT m a
- Lucid.Base: toHtml :: (ToHtml a, Monad m) => a -> HtmlT m ()
+ Lucid.Base: toHtml :: forall (m :: Type -> Type). (ToHtml a, Monad m) => a -> HtmlT m ()
- Lucid.Base: toHtmlRaw :: (ToHtml a, Monad m) => a -> HtmlT m ()
+ Lucid.Base: toHtmlRaw :: forall (m :: Type -> Type). (ToHtml a, Monad m) => a -> HtmlT m ()
- Lucid.Html5: area_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: area_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: base_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: base_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: br_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: br_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: col_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: col_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: doctype_ :: Monad m => HtmlT m ()
+ Lucid.Html5: doctype_ :: forall (m :: Type -> Type). Monad m => HtmlT m ()
- Lucid.Html5: doctypehtml_ :: Monad m => HtmlT m a -> HtmlT m a
+ Lucid.Html5: doctypehtml_ :: forall (m :: Type -> Type) a. Monad m => HtmlT m a -> HtmlT m a
- Lucid.Html5: embed_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: embed_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: hr_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: hr_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: img_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: img_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: input_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: input_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: keygen_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: keygen_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: link_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: link_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: menuitem_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: menuitem_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: meta_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: meta_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: param_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: param_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: source_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: source_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: track_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: track_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
- Lucid.Html5: wbr_ :: Monad m => [Attributes] -> HtmlT m ()
+ Lucid.Html5: wbr_ :: forall (m :: Type -> Type). Monad m => [Attributes] -> HtmlT m ()
Files
- CHANGELOG.md +4/−0
- lucid2.cabal +2/−2
- src/Lucid/Base.hs +2/−0
CHANGELOG.md view
@@ -1,3 +1,7 @@+## 0.0.20260427++* Support GHC 9.14+ ## 0.0.20250303 * Support GHC 9.12
lucid2.cabal view
@@ -1,5 +1,5 @@ name: lucid2-version: 0.0.20250303+version: 0.0.20260427 synopsis: Clear to write, read and edit DSL for HTML description: Clear to write, read and edit DSL for HTML.@@ -39,7 +39,7 @@ Blaze.ByteString.Builder.Html.Word -- GHC boot libraries- build-depends: base >= 4.8 && < 4.22+ build-depends: base >= 4.8 && < 5 , bytestring >= 0.10.12.0 , containers >= 0.6.5.1 , transformers >= 0.5.6.2
src/Lucid/Base.hs view
@@ -125,7 +125,9 @@ -- | Monoid is right-associative, a la the 'Builder' in it. instance (a ~ (),Monad m) => Monoid (HtmlT m a) where mempty = pure mempty+#if !MIN_VERSION_base(4,11,0) mappend = liftA2 mappend+#endif -- | If you want to use IO in your HTML generation. instance MonadIO m => MonadIO (HtmlT m) where