Hello, World!
-``` - -Webs: - -```ocaml -open Webs_html -open El -open At - -let greeting = p ~at:[class' "text-lg"; id "hello"] [txt "Hello, World!"] -``` - -Dream-html: - -```ocaml -open Dream_html -open Tag -open Attr - -let greeting = p[class_ "text-lg"; id "hello"][txt "Hello, World!"] -``` - -Note, this is not meant to be a demonstration of how many characters you're -saving. It's just a different style which I have found we can take advantage of -thanks to OCaml being whitespace-insensitive. Normally you wouldn't format OCaml -code like this, but I feel that the domain justifies it. - -## Details - -Attribute and text values are escaped using -[`Dream.html_escape`](https://aantron.github.io/dream/#val-html_escape): - -``` -utop # open Dream_html;; -utop # let user_input = "";; -utop # open Tag;; -utop # let safe = p[][txt "%s" user_input];; -utop # to_string safe;; -- : string = -"<script>alert('You have been pwned')</script>
" -``` - -## Usage - -A convenience is provided to respond with an HTML node from a handler: - -```ocaml -Dream_html.respond greeting -``` - -You can compose multiple HTML nodes together into a single node without an extra -DOM node, like [React fragments](https://react.dev/reference/react/Fragment): - -```ocaml -let view = Tag.null[ - p[][txt "Hello"]; - p[][txt "World"]] -``` - -You can do string interpolation using the `txt` node constructor and of any -attribute which takes a string value: - -```ocaml -let greet name = p[id "greet-%s" name][txt "Hello, %s!" name] -``` - -You can conditionally render an attribute, and -[void elements](https://developer.mozilla.org/en-US/docs/Glossary/Void_element) -are statically enforced as childless: - -```ocaml -let entry = input[ - if should_focus then autofocus else null; - id "email"; - name "email"; - value "Email address"] -``` - -You can also embed HTML comments in the generated document: - -```ocaml -div[][ - comment "TODO: xyz."; - p[][txt "Hello!"]] -``` - -## Explore in the REPL - -``` -$ utop -utop # #require "dream_html";; -utop # open Dream_html;; -utop # open Tag;; -utop # open Attr;; -utop # #install_printer pp;; -utop # p[class_ "hello"][txt "world"];; -- : node =world
-``` - -## Test - -Run the test and print out diff if it fails: - - dune runtest # Will also exit 1 on failure - -Set the new version of the output as correct: - - dune promote - -## Prior art/design notes - -Surface design obviously lifted straight from -[elm-html](https://package.elm-lang.org/packages/elm/html/latest/). - -Similar to [Webs](https://erratique.ch/software/webs/doc/Webs_html/index.html) as -mentioned earlier (it turns out there are only a limited number of ways to do -this kind of library). - -Implementation inspired by both elm-html and -[Scalatags](https://com-lihaoyi.github.io/scalatags/). diff --git a/dream-html/Dream_html/.dummy b/dream-html/Dream_html/.dummy deleted file mode 100644 index e69de29..0000000 diff --git a/dream-html/Dream_html/Aria/index.html b/dream-html/Dream_html/Aria/index.html index 7c76acf..70099a0 100644 --- a/dream-html/Dream_html/Aria/index.html +++ b/dream-html/Dream_html/Aria/index.html @@ -1,2 +1,2 @@ -Dream_html.Ariahttps://developer.mozilla.org/en-US/docs/Web/Accessibility/ARIA/Attributes/
val activedescendant : _ string_attrval atomic : attrval autocomplete : [ `inline | `list | `both ] to_attrval braillelabel : _ string_attrval brailleroledescription : _ string_attrval busy : attrval checked : [ `false_ | `true_ | `mixed ] to_attrval colcount : int to_attrval colindextext : _ string_attrval colspan : int to_attrval controls : _ string_attrval current : [ `page | `step | `location | `date | `time | `true_ ] to_attrval describedby : _ string_attrval description : _ string_attrval details : _ string_attrval disabled : attrval errormessage : _ string_attrval expanded : bool to_attrval flowto : _ string_attrval haspopup : [ `true_ | `menu | `listbox | `tree | `grid | `dialog ] to_attrval invalid : [ `grammar | `spelling | `true_ ] to_attrval keyshortcuts : _ string_attrval label : _ string_attrval labelledby : _ string_attrval level : int to_attrval live : [ `assertive | `polite ] to_attrval modal : attrval multiline : attrval multiselectable : attrval orientation : [ `horizontal | `vertical ] to_attrval owns : _ string_attrval placeholder : _ string_attrval posinset : int to_attrval pressed : [ `false_ | `mixed | `true_ ] to_attrval readonly : attrval relevant : [ `additions | `all | `removals | `text ] to_attrval required : attrval roledescription : _ string_attrval rowcount : int to_attrval rowindex : int to_attrval rowindextext : _ string_attrval rowspan : int to_attrval selected : bool to_attrval setsize : int to_attrval sort : [ `ascending | `descending | `other ] to_attrval valuemax : float to_attrval valuemin : float to_attrval valuenow : float to_attrval valuetext : _ string_attrDream_html.Ariahttps://developer.mozilla.org/en-US/docs/Web/Accessibility/ARIA/Attributes/
val activedescendant : _ string_attrval atomic : attrval autocomplete : [ `inline | `list | `both ] to_attrval braillelabel : _ string_attrval brailleroledescription : _ string_attrval busy : attrval checked : [ `false_ | `true_ | `mixed ] to_attrval colcount : int to_attrval colindextext : _ string_attrval colspan : int to_attrval controls : _ string_attrval current : [ `page | `step | `location | `date | `time | `true_ ] to_attrval describedby : _ string_attrval description : _ string_attrval details : _ string_attrval disabled : attrval errormessage : _ string_attrval expanded : bool to_attrval flowto : _ string_attrval haspopup : [ `true_ | `menu | `listbox | `tree | `grid | `dialog ] to_attrval invalid : [ `grammar | `spelling | `true_ ] to_attrval keyshortcuts : _ string_attrval label : _ string_attrval labelledby : _ string_attrval level : int to_attrval live : [ `assertive | `polite ] to_attrval modal : attrval multiline : attrval multiselectable : attrval orientation : [ `horizontal | `vertical ] to_attrval owns : _ string_attrval placeholder : _ string_attrval posinset : int to_attrval pressed : [ `false_ | `mixed | `true_ ] to_attrval readonly : attrval relevant : [ `additions | `all | `removals | `text ] to_attrval required : attrval roledescription : _ string_attrval rowcount : int to_attrval rowindex : int to_attrval rowindextext : _ string_attrval rowspan : int to_attrval selected : bool to_attrval setsize : int to_attrval sort : [ `ascending | `descending | `other ] to_attrval valuemax : float to_attrval valuemin : float to_attrval valuenow : float to_attrval valuetext : _ string_attrDream_html.FormTyped, extensible HTML form decoder with error reporting for all form field validation failures.
See the bottom of the page for complete examples.
The type of a decoder for a single form field value of type 'a which can successfully decode the field value or fail with an error message key.
In the following type decoders, the minimum and maximum values are all inclusive.
val bool : bool tyval char : ?min:char -> ?max:char -> char tyval float : ?min:float -> ?max:float -> float tyval int : ?min:int -> ?max:int -> int tyval int32 : ?min:int32 -> ?max:int32 -> int32 tyval int64 : ?min:int64 -> ?max:int64 -> int64 tyval string : ?min_length:int -> ?max_length:int -> string tyThe type of a form (a form field by itself is also considered a form) which can decode values of type 'a or fail with a list of error message keys.
list ?min_length ?max_length ty name is a form field which can decode a list of values which can each be decoded by ty. The list must have at least min_length and at most max_length (inclusive).
optional ty name is a form field which can decode an optional value from the form.
required ?default ty name is a form field which can decode a required value from the form. If at least one value corresponding to the given name does not appear in the form, and if a default value is not specified, the decoding fails with an error.
val ensure :
+ string ->
+ ('b -> bool) ->
+ ('a ty -> string -> 'b t) ->
+ 'a ty ->
+ string ->
+ 'b tensure message condition field ty name is a form field which imposes an additional condition on top of the existing field. If the condition fails, the result is an error message. It is suggested that the message be a translation key so that the application can be localized to different languages.
let+ email = required string "email" decodes a form field named email as a string.
and+ password = required string "password" continues decoding in an existing form declaration and decodes a form field password as a string.
val validate :
+ 'a t ->
+ (string * string) list ->
+ ('a, (string * string) list) Stdlib.resultvalidate form values is a result of validating the given form's values. It may be either some value of type 'a or a list of form field names and the corresponding error message keys.
pp_error is a helper pretty-printer for debugging/troubleshooting form validation errors.
When errors are reported, the following keys are used instead of English strings. These keys can be used for localizing the error messages. The suggested default English translations are given below.
These keys are modelled after Play Framework.
Basic complete example:
type user = { name : string; age : int option}
+
+open Dream_html.Form
+
+let user_form =
+ let+ name = required string "name"
+ and+ age = optional (int ~min:16) "age" in (* Thanks, Australia! *)
+ { name; age }
+
+let dream_form = ["age", "42"; "name", "Bob"]
+let user_result = validate user_form dream_formResult: Ok { name = "Bob"; age = Some 42 }
Sad path:
validate user_form ["age", "none"]Result: Error [("age", "error.expected.int"); ("name", "error.required")]
Notice that validation errors for all fields are reported. This is a critical design decision that differentiates this module from others available in OCaml.
Decode list of values from form:
type plan = { id : string; features : string list }
+
+let plan_form =
+ let+ id = required string "id"
+ and+ features = list string "features" in
+ { id; features }
+
+validate plan_form ["id", "foo"]Result: Ok {id = "foo"; features = []}
validate plan_form ["id", "foo"; "features", "f1"; "features", "f2"]Result: Ok {id = "foo"; features = ["f1"; "f2"]}
Note that the names can be anything, eg "features[]" if you prefer.
Add further requirements to field values:
let plan_form =
+ let+ id = ensure "error.expected.nonempty" (( <> ) "") required string "id"
+ and+ features = list string "features" in
+ { id; features }
+
+validate plan_form ["id", ""]Result: Error [("id", "error.expected.nonempty")]
Dream_html.HTMLAll standard HTML attributes and tags. Some attributes and tags have the same name, e.g. style. To disambiguate them, attributes have a _ (underscore) suffix.
Standard, most non-deprecated attributes from https://developer.mozilla.org/en-US/docs/Web/HTML/Attributes. Where an attribute name conflicts with an OCaml keyword, the name is suffixed with _. Most attributes are constructed by passing in a value of some type.
All string-valued attributes allow formatting (interpolation):
div [id "section-%d" section_id] []Or plain strings:
p [id "toast"] []Most boolean attributes are plain values and don't need to be constructed with function calls:
input [required]However, boolean attributes which may be inherited and toggled on/off in children, are constructed by passing in a value:
div [contenteditable true] [
+HTML (dream-html.Dream_html.HTML) Module Dream_html.HTML
All standard HTML attributes and tags. Some attributes and tags have the same name, e.g. style. To disambiguate them, attributes have a _ (underscore) suffix.
Attributes
Standard, most non-deprecated attributes from https://developer.mozilla.org/en-US/docs/Web/HTML/Attributes. Where an attribute name conflicts with an OCaml keyword, the name is suffixed with _. Most attributes are constructed by passing in a value of some type.
All string-valued attributes allow formatting (interpolation):
div [id "section-%d" section_id] []
Or plain strings:
p [id "toast"] []
Most boolean attributes are plain values and don't need to be constructed with function calls:
input [required]
However, boolean attributes which may be inherited and toggled on/off in children, are constructed by passing in a value:
div [contenteditable true] [
p [] [txt "Edit me!"];
p [contenteditable false] [txt "Can't edit me!"];
]
Enumerated attributes accept specific values:
input [inputmode `tel]
val null_ : attrAn attribute that will not be rendered in the markup. Useful for conditional logic where you sometimes want to render an attribute and sometimes not.
p [if should_show then null_ else style_ "display:none"] [txt "Show and tell"]
val accept : _ string_attrval accept_charset : _ string_attrval accesskey : _ string_attrval action : _ string_attrval align : _ string_attrval allow : _ string_attrval alt : _ string_attrval async : attrval autocapitalize :
diff --git a/dream-html/Dream_html/Hx/index.html b/dream-html/Dream_html/Hx/index.html
index 15e01db..d0e2442 100644
--- a/dream-html/Dream_html/Hx/index.html
+++ b/dream-html/Dream_html/Hx/index.html
@@ -1,2 +1,2 @@
-Hx (dream-html.Dream_html.Hx) Module Dream_html.Hx
htmx support https://htmx.org/reference/
val __ : _ string_attrThis attribute serves as the _ attribute, which is used by Hyperscript. Note that the value of this attribute is not escaped.
val boost : bool to_attrval confirm : _ string_attrval delete : _ string_attrval disable : attrval disinherit : _ string_attrval encoding_formdata : attrHardcoding of the hx-encoding attribute to multipart/form-data.
val ext : _ string_attrval get : _ string_attrval headers : _ string_attrval history_false : attrHardcoding of the hx-history attribute to false.
val history_elt : attrval include_ : _ string_attrval indicator : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val on : _ string_attrNote that the value of this attribute is not escaped.
val on_ : event:string -> _ string_attrThe hx-on:* set of attributes, where * represents DOM events: https://htmx.org/attributes/hx-on/.
Note that the value of this attribute is not escaped.
val params : _ string_attrval patch : _ string_attrval post : _ string_attrval preload : attrThe preload extension: https://htmx.org/extensions/preload/
val preserve : attrval prompt : _ string_attrval push_url : _ string_attrval put : _ string_attrval replace_url : _ string_attrval request : _ string_attrval select : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val select_oob : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val sse_connect : _ string_attrval sse_swap : _ string_attrval swap : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val swap_oob : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val sync : _ string_attrval target : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val trigger : _ string_attrNote that the value of this attribute is not escaped.
val validate : attrval vals : _ string_attrval ws_connect : _ string_attrval ws_send : attr
+Hx (dream-html.Dream_html.Hx) Module Dream_html.Hx
htmx support https://htmx.org/reference/
val __ : _ string_attrThis attribute serves as the _ attribute, which is used by Hyperscript. Note that the value of this attribute is not escaped.
val boost : bool to_attrval confirm : _ string_attrval delete : _ string_attrval disable : attrval disabled_elt : _ string_attrval disinherit : _ string_attrval encoding_formdata : attrHardcoding of the hx-encoding attribute to multipart/form-data.
val ext : _ string_attrval get : _ string_attrval headers : _ string_attrval history_false : attrHardcoding of the hx-history attribute to false.
val history_elt : attrval include_ : _ string_attrval indicator : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val inherit_ : _ string_attrval on : _ string_attrNote that the value of this attribute is not escaped.
val on_ : event:string -> _ string_attrThe hx-on:* set of attributes, where * represents DOM events: https://htmx.org/attributes/hx-on/.
Note that the value of this attribute is not escaped.
val params : _ string_attrval patch : _ string_attrval post : _ string_attrval preload : attrThe preload extension: https://htmx.org/extensions/preload/
val preserve : attrval prompt : _ string_attrval push_url : _ string_attrval put : _ string_attrval replace_url : _ string_attrval request : _ string_attrval select : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val select_oob : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val sse_close : _ string_attrval sse_connect : _ string_attrval sse_swap : _ string_attrval swap : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val swap_oob : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val sync : _ string_attrval target : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val trigger : _ string_attrNote that the value of this attribute is not escaped.
val validate : attrval vals : _ string_attrval ws_connect : _ string_attrval ws_send : attr
diff --git a/dream-html/Dream_html/Livereload/index.html b/dream-html/Dream_html/Livereload/index.html
index b24b4d2..900539e 100644
--- a/dream-html/Dream_html/Livereload/index.html
+++ b/dream-html/Dream_html/Livereload/index.html
@@ -1,5 +1,5 @@
-Livereload (dream-html.Dream_html.Livereload) Module Dream_html.Livereload
Live reload script injection and handling. Adapted from Dream.livereload middleware. This version is not a middleware so it's not as plug-and-play as that, but on the other hand it's much simpler to implement because it uses type-safe dream-html nodes rather than parsing and printing raw HTML. See below for the 3-step process to use it.
This module is adapted from Dream, released under the MIT license. For details, visit https://github.com/aantron/dream.
Copyright 2021-2023 Thibaut Mattio, Anton Bachin.
(1) Put this in your top-level router:
let () = Dream.run
+Livereload (dream-html.Dream_html.Livereload) Module Dream_html.Livereload
Live reload script injection and handling. Adapted from Dream.livereload middleware. This version is not a middleware so it's not as plug-and-play as that, but on the other hand it's much simpler to implement because it uses type-safe dream-html nodes rather than parsing and printing raw HTML. See below for the 3-step process to use it.
This module is adapted from Dream, released under the MIT license. For details, visit https://github.com/aantron/dream.
Copyright 2021-2023 Thibaut Mattio, Anton Bachin.
(1) Put this in your top-level router:
let () = Dream.run
@@ Dream.logger
@@ Dream.router [
Dream_html.Livereload.route;
diff --git a/dream-html/Dream_html/MathML/index.html b/dream-html/Dream_html/MathML/index.html
index 4e13382..d4da082 100644
--- a/dream-html/Dream_html/MathML/index.html
+++ b/dream-html/Dream_html/MathML/index.html
@@ -1,2 +1,2 @@
-MathML (dream-html.Dream_html.MathML) Module Dream_html.MathML
val accent : bool to_attrval accentunder : bool to_attrval columnspan : int to_attrval depth : _ string_attrval dir : [ `ltr | `rtl ] to_attrval display_block : attrSee https://developer.mozilla.org/en-US/docs/Web/MathML/Element/math#display. display=inline is the default, so there is no need to bind its value.
val displaystyle : bool to_attrval fence : bool to_attrval height : _ string_attrval largeop : bool to_attrval linethickness : _ string_attrval lspace : _ string_attrval mathvariant : _ string_attrval maxsize : _ string_attrval minsize : _ string_attrval movablelimits : bool to_attrval rowspan : int to_attrval rspace : _ string_attrval scriptlevel : _ string_attrval separator : bool to_attrval stretchy : bool to_attrval symmetric : bool to_attrval voffset : _ string_attrval xmlns : attrval annotation : std_tagval annotation_xml : std_tagval math : std_tagval merror : std_tagval mfrac : std_tagval mi : std_tagval mmultiscripts : std_tagval mn : std_tagval mo : std_tagval mover : std_tagval mpadded : std_tagval mphantom : std_tagval mroot : std_tagval mrow : std_tagval ms : std_tagval mspace : std_tagval msqrt : std_tagval mstyle : std_tagval msub : std_tagval msubsup : std_tagval msup : std_tagval mtable : std_tagval mtd : std_tagval mtext : std_tagval mtr : std_tagval munder : std_tagval munderover : std_tagval semantics : std_tag
+MathML (dream-html.Dream_html.MathML) Module Dream_html.MathML
val accent : bool to_attrval accentunder : bool to_attrval columnspan : int to_attrval depth : _ string_attrval dir : [ `ltr | `rtl ] to_attrval display_block : attrSee https://developer.mozilla.org/en-US/docs/Web/MathML/Element/math#display. display=inline is the default, so there is no need to bind its value.
val displaystyle : bool to_attrval fence : bool to_attrval height : _ string_attrval largeop : bool to_attrval linethickness : _ string_attrval lspace : _ string_attrval mathvariant : _ string_attrval maxsize : _ string_attrval minsize : _ string_attrval movablelimits : bool to_attrval rowspan : int to_attrval rspace : _ string_attrval scriptlevel : _ string_attrval separator : bool to_attrval stretchy : bool to_attrval symmetric : bool to_attrval voffset : _ string_attrval xmlns : attrval annotation : std_tagval annotation_xml : std_tagval math : std_tagval merror : std_tagval mfrac : std_tagval mi : std_tagval mmultiscripts : std_tagval mn : std_tagval mo : std_tagval mover : std_tagval mpadded : std_tagval mphantom : std_tagval mroot : std_tagval mrow : std_tagval ms : std_tagval mspace : std_tagval msqrt : std_tagval mstyle : std_tagval msub : std_tagval msubsup : std_tagval msup : std_tagval mtable : std_tagval mtd : std_tagval mtext : std_tagval mtr : std_tagval munder : std_tagval munderover : std_tagval semantics : std_tag
diff --git a/dream-html/Dream_html/SVG/index.html b/dream-html/Dream_html/SVG/index.html
index d6f0f61..4c422e5 100644
--- a/dream-html/Dream_html/SVG/index.html
+++ b/dream-html/Dream_html/SVG/index.html
@@ -1,3 +1,3 @@
-SVG (dream-html.Dream_html.SVG) Module Dream_html.SVG
val d : _ string_attrval fill : _ string_attrval stroke : _ string_attrval stroke_linecap : [< `butt | `round | `square ] to_attrval stroke_linejoin :
+SVG (dream-html.Dream_html.SVG) Module Dream_html.SVG
val d : _ string_attrval fill : _ string_attrval stroke : _ string_attrval stroke_linecap : [< `butt | `round | `square ] to_attrval stroke_linejoin :
[< `arcs | `bevel | `miter | `miter_clip | `round ] to_attrval stroke_width : _ string_attrval viewbox : min_x:int -> min_y:int -> width:int -> height:int -> attrval xmlns : attrval path : std_tagval svg : std_tag
diff --git a/dream-html/Dream_html/index.html b/dream-html/Dream_html/index.html
index 12b3162..bb5c1e4 100644
--- a/dream-html/Dream_html/index.html
+++ b/dream-html/Dream_html/index.html
@@ -1,5 +1,24 @@
-Dream_html (dream-html.Dream_html) Module Dream_html
include module type of Pure_html
Core types
These are the types of the final values which get rendered.
Output
val to_string : node -> stringval to_xml : node -> stringSame as to_string but render void tags as XML-style self-closing tags.
val pp : Stdlib.Format.formatter -> node -> unitval pp_xml : Stdlib.Format.formatter -> node -> unitSame as pp but render void tags as XML-style self-closing tags.
Constructing nodes and attributes
type 'a to_attr = 'a -> attrAttributes can be created from typed values.
type 'a string_attr = ('a, unit, string, attr) Stdlib.format4 -> 'aSpecial handling for string-value attributes so they can use format strings i.e. string interpolation.
A 'void element': https://developer.mozilla.org/en-US/docs/Glossary/Void_element with no children.
Tags which can have attributes but can contain only text. The text can be formatted.
val attr : string -> attrattr name is a new attribute which does not carry any payload. E.g.
let required = attr "required"
val string_attr : string -> ?raw:bool -> _ string_attrstring_attr name fmt is a new string-valued attribute which allows formatting i.e. string interpolation of the value. Note, the fmt argument is required due to the value restriction.
val uri_attr : string -> _ string_attrConvenience for attributes whose values should be URIs. Takes care of both URI-encoding and attribute escaping, as recommended in https://cheatsheetseries.owasp.org/cheatsheets/Cross_Site_Scripting_Prevention_Cheat_Sheet.html#common-mistake.
Examples
a [href "/blog?tags=iamsafe\"></a><script>alert('Pwned')</script>"] [txt "Tags: tag1 | tag2"]
+Dream_html (dream-html.Dream_html) Module Dream_html
Input
module Form : sig ... endTyped, extensible HTML form decoder with error reporting for all form field validation failures.
val form :
+ 'a Form.t ->
+ ?csrf:bool ->
+ Dream.request ->
+ [> 'a Dream.form_result | `Invalid of (string * string) list ] Dream.promiseType-safe wrapper for Dream.form. Similarly to that, you can match on the result:
type new_user = { name : string; email : string }
+let new_user =
+ let open Dream_html.Form in
+ let+ name = required string "name"
+ and+ email = required string "email" in
+ { name; email }
+
+(* POST /users *)
+let post_users req =
+ match%lwt Dream_html.form new_user req with
+ | `Ok { name; email } -> (* ... *)
+ | `Invalid errors -> Dream.json ~code:422 ( (* ...render errors... *) )
+ | _ -> Dream.empty `Bad_Request
val query :
+ 'a Form.t ->
+ Dream.request ->
+ [> `Ok of 'a | `Invalid of (string * string) list ]Type-safe wrapper for Dream.all_queries. Can be used to decode the query parameters into a typed value.
Output
include module type of Pure_html
Core types
These are the types of the final values which get rendered.
Output
val to_string : node -> stringval to_xml : ?header:bool -> node -> stringSame as to_string but render void tags as XML-style self-closing tags.
val pp : Stdlib.Format.formatter -> node -> unitval pp_xml : Stdlib.Format.formatter -> ?header:bool -> node -> unitSame as pp but render void tags as XML-style self-closing tags.
Constructing nodes and attributes
type 'a to_attr = 'a -> attrAttributes can be created from typed values.
type 'a string_attr = ('a, unit, string, attr) Stdlib.format4 -> 'aSpecial handling for string-value attributes so they can use format strings i.e. string interpolation.
A 'void element': https://developer.mozilla.org/en-US/docs/Glossary/Void_element with no children.
Tags which can have attributes but can contain only text. The text can be formatted.
val attr : string -> attrattr name is a new attribute which does not carry any payload. E.g.
let required = attr "required"
val string_attr : string -> ?raw:bool -> _ string_attrstring_attr name fmt is a new string-valued attribute which allows formatting i.e. string interpolation of the value. Note, the fmt argument is required due to the value restriction.
val uri_attr : string -> _ string_attrConvenience for attributes whose values should be URIs. Takes care of both URI-encoding and attribute escaping, as recommended in https://cheatsheetseries.owasp.org/cheatsheets/Cross_Site_Scripting_Prevention_Cheat_Sheet.html#common-mistake.
Examples
a [href "/blog?tags=iamsafe\"></a><script>alert('Pwned')</script>"] [txt "Tags: tag1 | tag2"]
==>
<a href="/blog?tags=iamsafe%22%3E%3C/a%3E%3Cscript%3Ealert('Pwned')%3C/script%3E">Tags: tag1 | tag2</a>
@@ -8,7 +27,7 @@
<a href="/foo?a=1&b=2%203&c=4%3C5&d=6%3E5">Test</a>
val bool_attr : string -> bool to_attrval float_attr : string -> float to_attrval int_attr : string -> int to_attrval std_tag : string -> std_tagval void_tag : string -> void_tagval text_tag : string -> ?raw:bool -> _ text_tagBuild a tag which can contain only text.
val txt : ?raw:bool -> ('a, unit, string, node) Stdlib.format4 -> 'aA text node inside the DOM e.g. the 'hi' in <b>hi</b>. Allows string interpolation using the same formatting features as Printf.sprintf:
b [] [txt "Hello, %s!" name]
Or without interpolation:
b [] [txt "Bold of you."]
HTML-escapes the text value. You can use the ~raw param to bypass escaping:
let user_input = "<script>alert('I like HTML injection')</script>" in
txt ~raw:true "%s" user_input
val comment : string -> nodeA comment that will be embedded in the rendered HTML, i.e. <!-- comment -->. The text is HTML-escaped.
Accessors for tags
Add an attribute to a tag.
let toast msg = p [id "toast"] [txt "%s" msg]
let toast_oob = toast "ok." +@ Hx.swap_oob "true"
val (.@[]) : node -> string -> stringGet the value of an existing attribute.
let toast = p [id "toast"] [txt "OK."]
-let toast_id = toast.@["id"]
val is_null : node -> boolGet whether a node is null (empty) or not. Useful for conditional rendering of UIs when you are passed in a node and you don't know if it's empty or not.
val is_null_ : attr -> boolGet whether an attribute is null (empty) or not.
Standard attributes and tags
module HTML : sig ... endAll standard HTML attributes and tags. Some attributes and tags have the same name, e.g. style. To disambiguate them, attributes have a _ (underscore) suffix.
module SVG : sig ... endmodule MathML : sig ... endARIA support
module Aria : sig ... endhtmx support
module Hx : sig ... endhtmx support https://htmx.org/reference/
Output
val is_null : node -> boolGet whether a node is null (empty) or not. Useful for conditional rendering of UIs when you are passed in a node and you don't know if it's empty or not.
val is_null_ : attr -> boolGet whether an attribute is null (empty) or not.
Standard attributes and tags
module HTML : sig ... endAll standard HTML attributes and tags. Some attributes and tags have the same name, e.g. style. To disambiguate them, attributes have a _ (underscore) suffix.
module SVG : sig ... endmodule MathML : sig ... endARIA support
module Aria : sig ... endhtmx support
module Hx : sig ... endhtmx support https://htmx.org/reference/
val respond :
?status:[< Dream.status ] ->
?code:int ->
?headers:(string * string) list ->
diff --git a/dream-html/index.html b/dream-html/index.html
index b4ff5c1..4791a13 100644
--- a/dream-html/index.html
+++ b/dream-html/index.html
@@ -1,2 +1,2 @@
-index (dream-html.index) dream-html index
Library dream-html
The entry point of this library is the module: Dream_html.
+index (dream-html.index) dream-html index
Library dream-html
The entry point of this library is the module: Dream_html.
diff --git a/odoc.support/odoc.css b/odoc.support/odoc.css
index 71148de..15240b5 100644
--- a/odoc.support/odoc.css
+++ b/odoc.support/odoc.css
@@ -1,7 +1,7 @@
@charset "UTF-8";
/* Copyright (c) 2016 The odoc contributors. All rights reserved.
Distributed under the ISC license, see terms at the end of the file.
- odoc 2.4.2 */
+ odoc 2.4.3 */
/* Fonts */
/* noticia-text-regular - latin */
diff --git a/pure-html/Pure_html/Aria/index.html b/pure-html/Pure_html/Aria/index.html
index 54ebf1c..9e48cae 100644
--- a/pure-html/Pure_html/Aria/index.html
+++ b/pure-html/Pure_html/Aria/index.html
@@ -1,2 +1,2 @@
-Aria (pure-html.Pure_html.Aria) Module Pure_html.Aria
https://developer.mozilla.org/en-US/docs/Web/Accessibility/ARIA/Attributes/
val activedescendant : _ string_attrval atomic : attrval autocomplete : [ `inline | `list | `both ] to_attrval braillelabel : _ string_attrval brailleroledescription : _ string_attrval busy : attrval checked : [ `false_ | `true_ | `mixed ] to_attrval colcount : int to_attrval colindextext : _ string_attrval colspan : int to_attrval controls : _ string_attrval current : [ `page | `step | `location | `date | `time | `true_ ] to_attrval describedby : _ string_attrval description : _ string_attrval details : _ string_attrval disabled : attrval errormessage : _ string_attrval expanded : bool to_attrval flowto : _ string_attrval haspopup : [ `true_ | `menu | `listbox | `tree | `grid | `dialog ] to_attrval invalid : [ `grammar | `spelling | `true_ ] to_attrval keyshortcuts : _ string_attrval label : _ string_attrval labelledby : _ string_attrval level : int to_attrval live : [ `assertive | `polite ] to_attrval modal : attrval multiline : attrval multiselectable : attrval orientation : [ `horizontal | `vertical ] to_attrval owns : _ string_attrval placeholder : _ string_attrval posinset : int to_attrval pressed : [ `false_ | `mixed | `true_ ] to_attrval readonly : attrval relevant : [ `additions | `all | `removals | `text ] to_attrval required : attrval roledescription : _ string_attrval rowcount : int to_attrval rowindex : int to_attrval rowindextext : _ string_attrval rowspan : int to_attrval selected : bool to_attrval setsize : int to_attrval sort : [ `ascending | `descending | `other ] to_attrval valuemax : float to_attrval valuemin : float to_attrval valuenow : float to_attrval valuetext : _ string_attr
+Aria (pure-html.Pure_html.Aria) Module Pure_html.Aria
https://developer.mozilla.org/en-US/docs/Web/Accessibility/ARIA/Attributes/
val activedescendant : _ string_attrval atomic : attrval autocomplete : [ `inline | `list | `both ] to_attrval braillelabel : _ string_attrval brailleroledescription : _ string_attrval busy : attrval checked : [ `false_ | `true_ | `mixed ] to_attrval colcount : int to_attrval colindextext : _ string_attrval colspan : int to_attrval controls : _ string_attrval current : [ `page | `step | `location | `date | `time | `true_ ] to_attrval describedby : _ string_attrval description : _ string_attrval details : _ string_attrval disabled : attrval errormessage : _ string_attrval expanded : bool to_attrval flowto : _ string_attrval haspopup : [ `true_ | `menu | `listbox | `tree | `grid | `dialog ] to_attrval invalid : [ `grammar | `spelling | `true_ ] to_attrval keyshortcuts : _ string_attrval label : _ string_attrval labelledby : _ string_attrval level : int to_attrval live : [ `assertive | `polite ] to_attrval modal : attrval multiline : attrval multiselectable : attrval orientation : [ `horizontal | `vertical ] to_attrval owns : _ string_attrval placeholder : _ string_attrval posinset : int to_attrval pressed : [ `false_ | `mixed | `true_ ] to_attrval readonly : attrval relevant : [ `additions | `all | `removals | `text ] to_attrval required : attrval roledescription : _ string_attrval rowcount : int to_attrval rowindex : int to_attrval rowindextext : _ string_attrval rowspan : int to_attrval selected : bool to_attrval setsize : int to_attrval sort : [ `ascending | `descending | `other ] to_attrval valuemax : float to_attrval valuemin : float to_attrval valuenow : float to_attrval valuetext : _ string_attr
diff --git a/pure-html/Pure_html/HTML/index.html b/pure-html/Pure_html/HTML/index.html
index 998fede..abddb8f 100644
--- a/pure-html/Pure_html/HTML/index.html
+++ b/pure-html/Pure_html/HTML/index.html
@@ -1,5 +1,5 @@
-HTML (pure-html.Pure_html.HTML) Module Pure_html.HTML
All standard HTML attributes and tags. Some attributes and tags have the same name, e.g. style. To disambiguate them, attributes have a _ (underscore) suffix.
Attributes
Standard, most non-deprecated attributes from https://developer.mozilla.org/en-US/docs/Web/HTML/Attributes. Where an attribute name conflicts with an OCaml keyword, the name is suffixed with _. Most attributes are constructed by passing in a value of some type.
All string-valued attributes allow formatting (interpolation):
div [id "section-%d" section_id] []
Or plain strings:
p [id "toast"] []
Most boolean attributes are plain values and don't need to be constructed with function calls:
input [required]
However, boolean attributes which may be inherited and toggled on/off in children, are constructed by passing in a value:
div [contenteditable true] [
+HTML (pure-html.Pure_html.HTML) Module Pure_html.HTML
All standard HTML attributes and tags. Some attributes and tags have the same name, e.g. style. To disambiguate them, attributes have a _ (underscore) suffix.
Attributes
Standard, most non-deprecated attributes from https://developer.mozilla.org/en-US/docs/Web/HTML/Attributes. Where an attribute name conflicts with an OCaml keyword, the name is suffixed with _. Most attributes are constructed by passing in a value of some type.
All string-valued attributes allow formatting (interpolation):
div [id "section-%d" section_id] []
Or plain strings:
p [id "toast"] []
Most boolean attributes are plain values and don't need to be constructed with function calls:
input [required]
However, boolean attributes which may be inherited and toggled on/off in children, are constructed by passing in a value:
div [contenteditable true] [
p [] [txt "Edit me!"];
p [contenteditable false] [txt "Can't edit me!"];
]
Enumerated attributes accept specific values:
input [inputmode `tel]
val null_ : attrAn attribute that will not be rendered in the markup. Useful for conditional logic where you sometimes want to render an attribute and sometimes not.
p [if should_show then null_ else style_ "display:none"] [txt "Show and tell"]
val accept : _ string_attrval accept_charset : _ string_attrval accesskey : _ string_attrval action : _ string_attrval align : _ string_attrval allow : _ string_attrval alt : _ string_attrval async : attrval autocapitalize :
diff --git a/pure-html/Pure_html/Hx/index.html b/pure-html/Pure_html/Hx/index.html
index c4638a0..9a38edb 100644
--- a/pure-html/Pure_html/Hx/index.html
+++ b/pure-html/Pure_html/Hx/index.html
@@ -1,2 +1,2 @@
-Hx (pure-html.Pure_html.Hx) Module Pure_html.Hx
htmx support https://htmx.org/reference/
val __ : _ string_attrThis attribute serves as the _ attribute, which is used by Hyperscript. Note that the value of this attribute is not escaped.
val boost : bool to_attrval confirm : _ string_attrval delete : _ string_attrval disable : attrval disinherit : _ string_attrval encoding_formdata : attrHardcoding of the hx-encoding attribute to multipart/form-data.
val ext : _ string_attrval get : _ string_attrval headers : _ string_attrval history_false : attrHardcoding of the hx-history attribute to false.
val history_elt : attrval include_ : _ string_attrval indicator : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val on : _ string_attrNote that the value of this attribute is not escaped.
val on_ : event:string -> _ string_attrThe hx-on:* set of attributes, where * represents DOM events: https://htmx.org/attributes/hx-on/.
Note that the value of this attribute is not escaped.
val params : _ string_attrval patch : _ string_attrval post : _ string_attrval preload : attrThe preload extension: https://htmx.org/extensions/preload/
val preserve : attrval prompt : _ string_attrval push_url : _ string_attrval put : _ string_attrval replace_url : _ string_attrval request : _ string_attrval select : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val select_oob : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val sse_connect : _ string_attrval sse_swap : _ string_attrval swap : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val swap_oob : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val sync : _ string_attrval target : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val trigger : _ string_attrNote that the value of this attribute is not escaped.
val validate : attrval vals : _ string_attrval ws_connect : _ string_attrval ws_send : attr
+Hx (pure-html.Pure_html.Hx) Module Pure_html.Hx
htmx support https://htmx.org/reference/
val __ : _ string_attrThis attribute serves as the _ attribute, which is used by Hyperscript. Note that the value of this attribute is not escaped.
val boost : bool to_attrval confirm : _ string_attrval delete : _ string_attrval disable : attrval disabled_elt : _ string_attrval disinherit : _ string_attrval encoding_formdata : attrHardcoding of the hx-encoding attribute to multipart/form-data.
val ext : _ string_attrval get : _ string_attrval headers : _ string_attrval history_false : attrHardcoding of the hx-history attribute to false.
val history_elt : attrval include_ : _ string_attrval indicator : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val inherit_ : _ string_attrval on : _ string_attrNote that the value of this attribute is not escaped.
val on_ : event:string -> _ string_attrThe hx-on:* set of attributes, where * represents DOM events: https://htmx.org/attributes/hx-on/.
Note that the value of this attribute is not escaped.
val params : _ string_attrval patch : _ string_attrval post : _ string_attrval preload : attrThe preload extension: https://htmx.org/extensions/preload/
val preserve : attrval prompt : _ string_attrval push_url : _ string_attrval put : _ string_attrval replace_url : _ string_attrval request : _ string_attrval select : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val select_oob : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val sse_close : _ string_attrval sse_connect : _ string_attrval sse_swap : _ string_attrval swap : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val swap_oob : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val sync : _ string_attrval target : _ string_attrNote that the value of this attribute is not escaped as it may include a CSS selector.
val trigger : _ string_attrNote that the value of this attribute is not escaped.
val validate : attrval vals : _ string_attrval ws_connect : _ string_attrval ws_send : attr
diff --git a/pure-html/Pure_html/MathML/index.html b/pure-html/Pure_html/MathML/index.html
index 7dafdb2..53664e0 100644
--- a/pure-html/Pure_html/MathML/index.html
+++ b/pure-html/Pure_html/MathML/index.html
@@ -1,2 +1,2 @@
-MathML (pure-html.Pure_html.MathML) Module Pure_html.MathML
val accent : bool to_attrval accentunder : bool to_attrval columnspan : int to_attrval depth : _ string_attrval dir : [ `ltr | `rtl ] to_attrval display_block : attrSee https://developer.mozilla.org/en-US/docs/Web/MathML/Element/math#display. display=inline is the default, so there is no need to bind its value.
val displaystyle : bool to_attrval fence : bool to_attrval height : _ string_attrval largeop : bool to_attrval linethickness : _ string_attrval lspace : _ string_attrval mathvariant : _ string_attrval maxsize : _ string_attrval minsize : _ string_attrval movablelimits : bool to_attrval rowspan : int to_attrval rspace : _ string_attrval scriptlevel : _ string_attrval separator : bool to_attrval stretchy : bool to_attrval symmetric : bool to_attrval voffset : _ string_attrval xmlns : attrval annotation : std_tagval annotation_xml : std_tagval math : std_tagval merror : std_tagval mfrac : std_tagval mi : std_tagval mmultiscripts : std_tagval mn : std_tagval mo : std_tagval mover : std_tagval mpadded : std_tagval mphantom : std_tagval mroot : std_tagval mrow : std_tagval ms : std_tagval mspace : std_tagval msqrt : std_tagval mstyle : std_tagval msub : std_tagval msubsup : std_tagval msup : std_tagval mtable : std_tagval mtd : std_tagval mtext : std_tagval mtr : std_tagval munder : std_tagval munderover : std_tagval semantics : std_tag
+MathML (pure-html.Pure_html.MathML) Module Pure_html.MathML
val accent : bool to_attrval accentunder : bool to_attrval columnspan : int to_attrval depth : _ string_attrval dir : [ `ltr | `rtl ] to_attrval display_block : attrSee https://developer.mozilla.org/en-US/docs/Web/MathML/Element/math#display. display=inline is the default, so there is no need to bind its value.
val displaystyle : bool to_attrval fence : bool to_attrval height : _ string_attrval largeop : bool to_attrval linethickness : _ string_attrval lspace : _ string_attrval mathvariant : _ string_attrval maxsize : _ string_attrval minsize : _ string_attrval movablelimits : bool to_attrval rowspan : int to_attrval rspace : _ string_attrval scriptlevel : _ string_attrval separator : bool to_attrval stretchy : bool to_attrval symmetric : bool to_attrval voffset : _ string_attrval xmlns : attrval annotation : std_tagval annotation_xml : std_tagval math : std_tagval merror : std_tagval mfrac : std_tagval mi : std_tagval mmultiscripts : std_tagval mn : std_tagval mo : std_tagval mover : std_tagval mpadded : std_tagval mphantom : std_tagval mroot : std_tagval mrow : std_tagval ms : std_tagval mspace : std_tagval msqrt : std_tagval mstyle : std_tagval msub : std_tagval msubsup : std_tagval msup : std_tagval mtable : std_tagval mtd : std_tagval mtext : std_tagval mtr : std_tagval munder : std_tagval munderover : std_tagval semantics : std_tag
diff --git a/pure-html/Pure_html/SVG/index.html b/pure-html/Pure_html/SVG/index.html
index b632bf1..ecc69b2 100644
--- a/pure-html/Pure_html/SVG/index.html
+++ b/pure-html/Pure_html/SVG/index.html
@@ -1,3 +1,3 @@
-SVG (pure-html.Pure_html.SVG) Module Pure_html.SVG
val d : _ string_attrval fill : _ string_attrval stroke : _ string_attrval stroke_linecap : [< `butt | `round | `square ] to_attrval stroke_linejoin :
+SVG (pure-html.Pure_html.SVG) Module Pure_html.SVG
val d : _ string_attrval fill : _ string_attrval stroke : _ string_attrval stroke_linecap : [< `butt | `round | `square ] to_attrval stroke_linejoin :
[< `arcs | `bevel | `miter | `miter_clip | `round ] to_attrval stroke_width : _ string_attrval viewbox : min_x:int -> min_y:int -> width:int -> height:int -> attrval xmlns : attrval path : std_tagval svg : std_tag
diff --git a/pure-html/Pure_html/index.html b/pure-html/Pure_html/index.html
index b3be775..20777fe 100644
--- a/pure-html/Pure_html/index.html
+++ b/pure-html/Pure_html/index.html
@@ -1,5 +1,5 @@
-Pure_html (pure-html.Pure_html) Module Pure_html
Use this module for constructing HTML without any dependency on the Dream web framework.
Core types
These are the types of the final values which get rendered.
Output
val to_string : node -> stringval to_xml : node -> stringSame as to_string but render void tags as XML-style self-closing tags.
val pp : Stdlib.Format.formatter -> node -> unitval pp_xml : Stdlib.Format.formatter -> node -> unitSame as pp but render void tags as XML-style self-closing tags.
Constructing nodes and attributes
type 'a to_attr = 'a -> attrAttributes can be created from typed values.
type 'a string_attr = ('a, unit, string, attr) Stdlib.format4 -> 'aSpecial handling for string-value attributes so they can use format strings i.e. string interpolation.
A 'void element': https://developer.mozilla.org/en-US/docs/Glossary/Void_element with no children.
Tags which can have attributes but can contain only text. The text can be formatted.
val attr : string -> attrattr name is a new attribute which does not carry any payload. E.g.
let required = attr "required"
val string_attr : string -> ?raw:bool -> _ string_attrstring_attr name fmt is a new string-valued attribute which allows formatting i.e. string interpolation of the value. Note, the fmt argument is required due to the value restriction.
val uri_attr : string -> _ string_attrConvenience for attributes whose values should be URIs. Takes care of both URI-encoding and attribute escaping, as recommended in https://cheatsheetseries.owasp.org/cheatsheets/Cross_Site_Scripting_Prevention_Cheat_Sheet.html#common-mistake.
Examples
a [href "/blog?tags=iamsafe\"></a><script>alert('Pwned')</script>"] [txt "Tags: tag1 | tag2"]
+Pure_html (pure-html.Pure_html) Module Pure_html
Use this module for constructing HTML without any dependency on the Dream web framework.
Core types
These are the types of the final values which get rendered.
Output
val to_string : node -> stringval to_xml : ?header:bool -> node -> stringSame as to_string but render void tags as XML-style self-closing tags.
val pp : Stdlib.Format.formatter -> node -> unitval pp_xml : Stdlib.Format.formatter -> ?header:bool -> node -> unitSame as pp but render void tags as XML-style self-closing tags.
Constructing nodes and attributes
type 'a to_attr = 'a -> attrAttributes can be created from typed values.
type 'a string_attr = ('a, unit, string, attr) Stdlib.format4 -> 'aSpecial handling for string-value attributes so they can use format strings i.e. string interpolation.
A 'void element': https://developer.mozilla.org/en-US/docs/Glossary/Void_element with no children.
Tags which can have attributes but can contain only text. The text can be formatted.
val attr : string -> attrattr name is a new attribute which does not carry any payload. E.g.
let required = attr "required"
val string_attr : string -> ?raw:bool -> _ string_attrstring_attr name fmt is a new string-valued attribute which allows formatting i.e. string interpolation of the value. Note, the fmt argument is required due to the value restriction.
val uri_attr : string -> _ string_attrConvenience for attributes whose values should be URIs. Takes care of both URI-encoding and attribute escaping, as recommended in https://cheatsheetseries.owasp.org/cheatsheets/Cross_Site_Scripting_Prevention_Cheat_Sheet.html#common-mistake.
Examples
a [href "/blog?tags=iamsafe\"></a><script>alert('Pwned')</script>"] [txt "Tags: tag1 | tag2"]
==>
<a href="/blog?tags=iamsafe%22%3E%3C/a%3E%3Cscript%3Ealert('Pwned')%3C/script%3E">Tags: tag1 | tag2</a>
diff --git a/pure-html/index.html b/pure-html/index.html
index a4dbecd..940eb24 100644
--- a/pure-html/index.html
+++ b/pure-html/index.html
@@ -1,2 +1,2 @@
-index (pure-html.index) pure-html index
Library pure-html
The entry point of this library is the module: Pure_html.
+index (pure-html.index) pure-html index
Library pure-html
The entry point of this library is the module: Pure_html.