From b0c9811f3aadf87f56e342c09f073cd29e3ed41a Mon Sep 17 00:00:00 2001 From: Yawar Amin Date: Tue, 7 Jan 2025 18:31:23 -0500 Subject: [PATCH] docs --- .gitignore | 2 ++ dream-html/Dream_html/Atom/index.html | 2 +- dream-html/Dream_html/RSS/index.html | 2 +- pure-html/Pure_html/Atom/index.html | 2 +- pure-html/Pure_html/RSS/index.html | 2 +- sql.txt | 22 ---------------------- todos/1 | 1 - todos/2 | 1 - todos/3 | 1 - todos/4 | 1 - todos/5 | 1 - todos/6 | 1 - todos/7 | 1 - 13 files changed, 6 insertions(+), 33 deletions(-) delete mode 100644 sql.txt delete mode 100644 todos/1 delete mode 100644 todos/2 delete mode 100644 todos/3 delete mode 100644 todos/4 delete mode 100644 todos/5 delete mode 100644 todos/6 delete mode 100644 todos/7 diff --git a/.gitignore b/.gitignore index e35d885..a233446 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,3 @@ _build +todos/ + diff --git a/dream-html/Dream_html/Atom/index.html b/dream-html/Dream_html/Atom/index.html index de40cce..8cd867f 100644 --- a/dream-html/Dream_html/Atom/index.html +++ b/dream-html/Dream_html/Atom/index.html @@ -1,2 +1,2 @@ -Atom (dream-html.Dream_html.Atom)

Module Dream_html.Atom

+Atom (dream-html.Dream_html.Atom)

Module Dream_html.Atom

val xmlns : attr
diff --git a/dream-html/Dream_html/RSS/index.html b/dream-html/Dream_html/RSS/index.html index 76bb008..d895d19 100644 --- a/dream-html/Dream_html/RSS/index.html +++ b/dream-html/Dream_html/RSS/index.html @@ -1,2 +1,2 @@ -RSS (dream-html.Dream_html.RSS)

Module Dream_html.RSS

RSS support

Attributes

val domain : _ string_attr
val version_2 : attr
val xmlns_atom : attr

Tags

val author : _ text_tag
val channel : std_tag
val category : _ text_tag
val comments : _ text_tag
val description : _ text_tag
val docs : _ text_tag
val generator : _ text_tag
val guid : _ text_tag
val item : std_tag
val language : _ text_tag
val last_build_date : _ text_tag
val managing_editor : _ text_tag
val pub_date : _ text_tag
val rss : std_tag
val title : _ text_tag
val ttl : _ text_tag
val web_master : _ text_tag
+RSS (dream-html.Dream_html.RSS)

Module Dream_html.RSS

RSS support

Attributes

val domain : _ string_attr
val version_2 : attr

Tags

val author : _ text_tag
val channel : std_tag
val category : _ text_tag
val comments : _ text_tag
val description : _ text_tag
val docs : _ text_tag
val generator : _ text_tag
val guid : _ text_tag
val item : std_tag
val language : _ text_tag
val last_build_date : _ text_tag
val managing_editor : _ text_tag
val pub_date : _ text_tag
val rss : std_tag
val title : _ text_tag
val ttl : _ text_tag
val web_master : _ text_tag
diff --git a/pure-html/Pure_html/Atom/index.html b/pure-html/Pure_html/Atom/index.html index 41a7c15..1486c12 100644 --- a/pure-html/Pure_html/Atom/index.html +++ b/pure-html/Pure_html/Atom/index.html @@ -1,2 +1,2 @@ -Atom (pure-html.Pure_html.Atom)

Module Pure_html.Atom

+Atom (pure-html.Pure_html.Atom)

Module Pure_html.Atom

val xmlns : attr
diff --git a/pure-html/Pure_html/RSS/index.html b/pure-html/Pure_html/RSS/index.html index af41ddc..e076e0a 100644 --- a/pure-html/Pure_html/RSS/index.html +++ b/pure-html/Pure_html/RSS/index.html @@ -1,2 +1,2 @@ -RSS (pure-html.Pure_html.RSS)

Module Pure_html.RSS

RSS support

Attributes

val domain : _ string_attr
val version_2 : attr
val xmlns_atom : attr

Tags

val author : _ text_tag
val channel : std_tag
val category : _ text_tag
val comments : _ text_tag
val description : _ text_tag
val docs : _ text_tag
val generator : _ text_tag
val guid : _ text_tag
val item : std_tag
val language : _ text_tag
val last_build_date : _ text_tag
val managing_editor : _ text_tag
val pub_date : _ text_tag
val rss : std_tag
val title : _ text_tag
val ttl : _ text_tag
val web_master : _ text_tag
+RSS (pure-html.Pure_html.RSS)

Module Pure_html.RSS

RSS support

Attributes

val domain : _ string_attr
val version_2 : attr

Tags

val author : _ text_tag
val channel : std_tag
val category : _ text_tag
val comments : _ text_tag
val description : _ text_tag
val docs : _ text_tag
val generator : _ text_tag
val guid : _ text_tag
val item : std_tag
val language : _ text_tag
val last_build_date : _ text_tag
val managing_editor : _ text_tag
val pub_date : _ text_tag
val rss : std_tag
val title : _ text_tag
val ttl : _ text_tag
val web_master : _ text_tag
diff --git a/sql.txt b/sql.txt deleted file mode 100644 index 53431a0..0000000 --- a/sql.txt +++ /dev/null @@ -1,22 +0,0 @@ -open Caqti_type.Std - -(* type prepared = Caqti_type.t * (Caqti_driver_info.t -> Caqti_query.t) *) - -let rec arg_type' : - type r t. - ?tuple_size:int -> - (r, _, _, _, _, t Caqti_type.t) CamlinternalFormatBasics.fmt -> - r -> - t Caqti_type.t = - fun ?(tuple_size = 0) fmt -> - match fmt with - | String (No_padding, fmt) -> assert false - | _ -> assert false - -let arg_type (CamlinternalFormatBasics.Format (fmt, _)) = arg_type' fmt proj_end -let row_type _ = assert false -let query _ = assert false - -let all afmt rfmt = - Caqti_request.create (arg_type afmt) (row_type rfmt) Caqti_mult.zero_or_more - (query afmt) diff --git a/todos/1 b/todos/1 deleted file mode 100644 index 79a88bd..0000000 --- a/todos/1 +++ /dev/null @@ -1 +0,0 @@ -1 false abba \ No newline at end of file diff --git a/todos/2 b/todos/2 deleted file mode 100644 index 723c148..0000000 --- a/todos/2 +++ /dev/null @@ -1 +0,0 @@ -2 false aa \ No newline at end of file diff --git a/todos/3 b/todos/3 deleted file mode 100644 index 13e8d50..0000000 --- a/todos/3 +++ /dev/null @@ -1 +0,0 @@ -3 false aaa \ No newline at end of file diff --git a/todos/4 b/todos/4 deleted file mode 100644 index b6785fa..0000000 --- a/todos/4 +++ /dev/null @@ -1 +0,0 @@ -4 false milk \ No newline at end of file diff --git a/todos/5 b/todos/5 deleted file mode 100644 index 1865a4b..0000000 --- a/todos/5 +++ /dev/null @@ -1 +0,0 @@ -5 false eggs \ No newline at end of file diff --git a/todos/6 b/todos/6 deleted file mode 100644 index 72c954e..0000000 --- a/todos/6 +++ /dev/null @@ -1 +0,0 @@ -6 true bananas \ No newline at end of file diff --git a/todos/7 b/todos/7 deleted file mode 100644 index 23c0de9..0000000 --- a/todos/7 +++ /dev/null @@ -1 +0,0 @@ -7 true laundry \ No newline at end of file