HTML类型:高性能类型的安全HTML生成

时间:2024-02-28 15:19:10
【文件属性】:

文件名称:HTML类型:高性能类型的安全HTML生成

文件大小:53KB

文件格式:ZIP

更新时间:2024-02-28 15:19:10

Haskell

html类型 type-of-html库是用于以高性能,模块化和类型安全的方式生成HTML的库。 请查看该模块的文档以获取api的概述: 请注意,您至少需要ghc 8.2。 类型安全 html规范的一部分是在类型级别编码的,从而将许多错误转化为类型错误。 让我们在ghci中检查/ type safety /: >>> Td :> Tr :> " a " < interactive>: 1 : 1 : error : • tr is not a valid child of td . • In the expression : Td :> Tr :> " a " In an equation for ‘ it ’: it = Td :> Tr :> " a " < interactive>: 1 : 7 : error : • Char is


【文件预览】:
type-of-html-master
----.travis.yml(44B)
----default.nix(488B)
----test()
--------Custom.hs(122B)
--------Value.hs(6KB)
--------Type.hs(1KB)
----Readme.md(16KB)
----LICENSE(1KB)
----type-of-html.cabal(3KB)
----src()
--------Html()
--------Html.hs(4KB)
----Setup.hs(46B)
----bench()
--------Reduction.hs(760B)
--------Perf.hs(26KB)
--------ExampleTypeOfHtml.hs(13KB)
--------Alloc.hs(5KB)
--------Small.hs(323B)
--------ExampleBlaze.hs(14KB)
--------Blaze.hs(995B)
--------Medium.hs(3KB)
----.gitignore(39B)
----ChangeLog.md(2KB)

网友评论