type-of-html 1.3.2.1 → 1.3.3.0
raw patch · 5 files changed
+20/−9 lines, 5 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Html.Element: input_ :: ( 'Input ?> a) => a -> 'Input > a
+ Html.Element: input_ :: 'Input > ()
- Html.Element: input_A :: ( 'Input <?> a) b => a -> b -> ( 'Input :@: a) b
+ Html.Element: input_A :: ( 'Input <?> a) () => a -> ( 'Input :@: a) ()
Files
- ChangeLog.md +10/−0
- src/Html/Element.hs +4/−4
- src/Html/Reify.hs +2/−2
- src/Html/Type/Internal.hs +3/−2
- type-of-html.cabal +1/−1
ChangeLog.md view
@@ -1,5 +1,15 @@ # Revision history for type-of-html +## 1.3.3.0 -- 2018-02-07++* fix the 'input' element++## 1.3.2.2 -- 2018-01-29++* ghc 8.4 compatibility+* better allocation strategy+* allow more lists+ ## 1.3.1.0 -- 2017-12-28 * internal cleanup
src/Html/Element.hs view
@@ -412,11 +412,11 @@ img_A :: ('Img <?> a) () => a -> ('Img :@: a) () img_A = flip WithAttributes () -input_ :: ('Input ?> a) => a -> 'Input > a-input_ = WithAttributes ()+input_ :: 'Input > ()+input_ = WithAttributes () () -input_A :: ('Input <?> a) b => a -> b -> ('Input :@: a) b-input_A = WithAttributes+input_A :: ('Input <?> a) () => a -> ('Input :@: a) ()+input_A = flip WithAttributes () ins_ :: ('Ins ?> a) => a -> 'Ins > a ins_ = WithAttributes ()
src/Html/Reify.hs view
@@ -94,7 +94,7 @@ {-# INLINE render #-} render (T ~(WithAttributes b c)) = render (T b :: T (Take (Length b) ps) b)- <> render (T c :: T (Drop (Length b) ps) c)+ <> render (T c :: T (Drop (Length b) ps) c) instance ( R (T (Take (Length a) ps) a)@@ -103,7 +103,7 @@ {-# INLINE render #-} render (T ~(a :#: b)) = render (T a :: T (Take (Length a) ps) a)- <> render (T b :: T (Drop (Length a) ps) b)+ <> render (T b :: T (Drop (Length a) ps) b) instance ( R (T (ToList a) a)
src/Html/Type/Internal.hs view
@@ -722,8 +722,8 @@ GetEInfo Details = EInfo "details" '[ FlowContent ] ( FlowContent :|: SingleElement Summary) GetEInfo Dfn = EInfo "dfn" '[ FlowContent, PhrasingContent ] (PhrasingContent :&: NOT (SingleElement Dfn)) GetEInfo Dialog = EInfo "dialog" '[ FlowContent ] FlowContent- GetEInfo Div = EInfo "div" '[ FlowContent ] (FlowContent :|: SingleElement Dt :|: SingleElement Dd :|: SingleElement Script :|: SingleElement Template)- GetEInfo Dl = EInfo "dl" '[ FlowContent ] (SingleElement Dt :|: SingleElement Dd :|: SingleElement Script :|: SingleElement Template :|: SingleElement Div)+ GetEInfo 'Div = EInfo "div" '[ FlowContent ] (FlowContent :|: SingleElement Dt :|: SingleElement Dd :|: SingleElement Script :|: SingleElement Template)+ GetEInfo Dl = EInfo "dl" '[ FlowContent ] (SingleElement Dt :|: SingleElement Dd :|: SingleElement Script :|: SingleElement Template :|: SingleElement 'Div) GetEInfo Dt = EInfo "dt" '[] (FlowContent :&: NOT (SingleElement Header :|: SingleElement Footer :|: SectioningContent :|: HeadingContent)) GetEInfo Em = EInfo "em" '[ FlowContent, PhrasingContent ] PhrasingContent GetEInfo Embed = EInfo "embed" '[ FlowContent, PhrasingContent ] NoContent@@ -746,6 +746,7 @@ GetEInfo I = EInfo "i" '[ FlowContent, PhrasingContent ] PhrasingContent GetEInfo Iframe = EInfo "iframe" '[ FlowContent, PhrasingContent ] NoContent GetEInfo Img = EInfo "img" '[ FlowContent, PhrasingContent ] NoContent+ GetEInfo Input = EInfo "input" '[] NoContent GetEInfo Ins = EInfo "ins" '[ FlowContent, PhrasingContent ] OnlyText GetEInfo Kbd = EInfo "kbd" '[ FlowContent, PhrasingContent ] PhrasingContent GetEInfo Label = EInfo "label" '[ FlowContent, PhrasingContent ] (PhrasingContent :&: NOT (SingleElement Label))
type-of-html.cabal view
@@ -1,5 +1,5 @@ name: type-of-html-version: 1.3.2.1+version: 1.3.3.0 synopsis: High performance type driven html generation. description: This library makes most invalid html documents compile time errors and uses advanced type level features to realise compile time computations. license: BSD3