packages feed

lucid 2.11.20250303 → 2.11.20260427

raw patch · 3 files changed

+8/−11 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: HtmlT :: m (Seq Attribute -> Builder, a) -> HtmlT m a
+ Lucid.Base: HtmlT :: m (Seq Attribute -> Builder, a) -> HtmlT (m :: Type -> Type) a
- Lucid.Base: commuteHtmlT :: (Functor m, Monad n) => HtmlT m a -> m (HtmlT n a)
+ Lucid.Base: commuteHtmlT :: forall m (n :: Type -> Type) a. (Functor m, Monad n) => HtmlT m a -> m (HtmlT n a)
- Lucid.Base: makeElement :: Functor m => Text -> HtmlT m a -> HtmlT m a
+ Lucid.Base: makeElement :: forall (m :: Type -> Type) a. Functor m => Text -> HtmlT m a -> HtmlT m a
- Lucid.Base: makeElementNoEnd :: Applicative m => Text -> HtmlT m ()
+ Lucid.Base: makeElementNoEnd :: forall (m :: Type -> Type). Applicative m => Text -> HtmlT m ()
- Lucid.Base: makeXmlElementNoEnd :: Applicative m => Text -> HtmlT m ()
+ Lucid.Base: makeXmlElementNoEnd :: forall (m :: Type -> Type). Applicative m => Text -> HtmlT m ()
- Lucid.Base: newtype HtmlT m a
+ Lucid.Base: newtype HtmlT (m :: Type -> Type) a
- 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_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: area_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: base_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: base_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: br_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: br_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: col_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: col_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: doctype_ :: Applicative m => HtmlT m ()
+ Lucid.Html5: doctype_ :: forall (m :: Type -> Type). Applicative m => HtmlT m ()
- Lucid.Html5: doctypehtml_ :: Applicative m => HtmlT m a -> HtmlT m a
+ Lucid.Html5: doctypehtml_ :: forall (m :: Type -> Type) a. Applicative m => HtmlT m a -> HtmlT m a
- Lucid.Html5: embed_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: embed_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: hr_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: hr_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: img_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: img_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: input_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: input_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: keygen_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: keygen_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: link_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: link_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: menuitem_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: menuitem_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: meta_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: meta_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: param_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: param_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: source_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: source_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: track_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: track_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()
- Lucid.Html5: wbr_ :: Applicative m => [Attribute] -> HtmlT m ()
+ Lucid.Html5: wbr_ :: forall (m :: Type -> Type). Applicative m => [Attribute] -> HtmlT m ()

Files

CHANGELOG.md view
@@ -1,5 +1,9 @@ ## Upcoming +## 2.11.20260427++* Support GHC 9.14+ ## 2.11.20250303  * Support GHC 9.12
lucid.cabal view
@@ -1,5 +1,5 @@ name:                lucid-version:             2.11.20250303+version:             2.11.20260427 synopsis:            Clear to write, read and edit DSL for HTML description:   Clear to write, read and edit DSL for HTML.@@ -33,7 +33,7 @@                      Lucid.Bootstrap    -- GHC boot libraries-  build-depends:     base                   >=4.8      && <4.22+  build-depends:     base                   >=4.8      && <5                    , bytestring             >=0.10.6.0                    , containers             >=0.5.6.2                    , transformers           >=0.4.2.0
src/Lucid/Base.hs view
@@ -116,7 +116,9 @@ -- | Monoid is right-associative, a la the 'Builder' in it. instance (a ~ (),Applicative m) => Monoid (HtmlT m a) where   mempty  = pure mempty+#if !MIN_VERSION_base(4,11,0)   mappend = liftA2 mappend+#endif  -- | Based on the monad instance. instance Applicative m => Applicative (HtmlT m) where@@ -144,20 +146,11 @@  -- | Basically acts like Writer. instance Monad m => Monad (HtmlT m) where-  return a = HtmlT (return (mempty,a))-  {-# INLINE return #-}-   m >>= f = HtmlT $ do     ~(g,a) <- runHtmlT m     ~(h,b) <- runHtmlT (f a)     return (g <> h,b)   {-# INLINE (>>=) #-}--  m >> n = HtmlT $ do-    ~(g, _) <- runHtmlT m-    ~(h, b) <- runHtmlT n-    return (g <> h, b)-  {-# INLINE (>>) #-}  -- | Used for 'lift'. instance MonadTrans HtmlT where