deploy: 8736cd6

typelevel · Oct 4, 2023 · 1e3dc6d · 1e3dc6d
1 parent 5f151e4
commit 1e3dc6d
Show file tree

Hide file tree

Showing 17 changed files with 80 additions and 31 deletions.
diff --git a/helium/laika-helium.css b/helium/laika-helium.css
@@ -425,6 +425,16 @@ p.title {
   page-break-inside: avoid;
 }
 
+/* mermaid diagrams ==================== */
+
+pre.mermaid {
+  color: var(--bg-color); /* avoiding page load flicker */
+  background-color: var(--bg-color);
+  border: 1px solid var(--primary-medium);
+  text-align: center;
+}
+
+
 
 
 /* top navigation bar =========================================== */
@@ -613,6 +623,10 @@ header .row.links .row.links {
   font-weight: normal;
 }
 
+.nav-list li a code {
+  color: var(--primary-color); /* ensures that code is the same colour as the rest of the text, for consistency */
+}
+
 /* left navigation bar =========================================== */
 
 #sidebar {
@@ -754,8 +768,10 @@ ul.nav-list, #page-nav ul {
 }
 
 .nav-list .active a,
+.nav-list .active code,
 .nav-list .active a:hover,
 #page-nav .header a,
+#page-nav .header code,
 #page-nav .header a:hover {
   color: var(--bg-color);
   background-color: var(--primary-color);
@@ -803,6 +819,7 @@ ul.nav-list, #page-nav ul {
   font-size: 1.75em;
 }
 
+
 pre {
   display: block;
   background-color: var(--syntax-base1);

diff --git a/index.html b/index.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="helium/laika-helium.css" />
+
   <script src="helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>
 

diff --git a/reference/Concurrency.html b/reference/Concurrency.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="../helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="../helium/laika-helium.css" />
+
   <script src="../helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>
 

diff --git a/reference/Encoders.html b/reference/Encoders.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="../helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="../helium/laika-helium.css" />
+
   <script src="../helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>
 
@@ -157,7 +159,7 @@ <h2 id="base-encoders" class="section"><a class="anchor-link left" href="#base-e
 </span><span class="comment">// res0: Fragment[String] = Fragment(
 //   parts = List(
 //     Left(value = &quot;SELECT name FROM country WHERE code = &quot;),
-//     Right(value = cats.data.IndexedStateT@229efe20),
+//     Right(value = cats.data.IndexedStateT@67984a0b),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Codec(varchar),
@@ -170,9 +172,9 @@ <h2 id="base-encoders" class="section"><a class="anchor-link left" href="#base-e
 </span><span class="comment">// res1: Fragment[String *: Long *: EmptyTuple] = Fragment(
 //   parts = List(
 //     Left(value = &quot;SELECT name FROM country WHERE code = &quot;),
-//     Right(value = cats.data.IndexedStateT@229efe20),
+//     Right(value = cats.data.IndexedStateT@67984a0b),
 //     Left(value = &quot; AND population &lt; &quot;),
-//     Right(value = cats.data.IndexedStateT@6d0cec65),
+//     Right(value = cats.data.IndexedStateT@5fbe2f84),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Codec(varchar, int8),
@@ -191,7 +193,7 @@ <h2 id="composite-encoders" class="section"><a class="anchor-link left" href="#c
 </span><span class="comment">// res2: Fragment[String ~ Int] = Fragment(
 //   parts = List(
 //     Left(value = &quot;INSERT INTO person (name, age) VALUES (&quot;),
-//     Right(value = cats.data.IndexedStateT@6da767cd),
+//     Right(value = cats.data.IndexedStateT@719b69ed),
 //     Left(value = &quot;)&quot;)
 //   ),
 //   encoder = Codec(varchar, int4),
@@ -209,9 +211,9 @@ <h2 id="composite-encoders" class="section"><a class="anchor-link left" href="#c
 //     Left(
 //       value = &quot;INSERT INTO person (comment, name, age, weight, comment) VALUES (&quot;
 //     ),
-//     Right(value = cats.data.IndexedStateT@324fd121),
+//     Right(value = cats.data.IndexedStateT@5ddc9681),
 //     Left(value = &quot;, &quot;),
-//     Right(value = cats.data.IndexedStateT@689751ff),
+//     Right(value = cats.data.IndexedStateT@34873fdc),
 //     Left(value = &quot;)&quot;)
 //   ),
 //   encoder = Codec(text, varchar, int4, float4),
@@ -227,7 +229,7 @@ <h2 id="combinators" class="section"><a class="anchor-link left" href="#combinat
 </span><span class="comment">// res4: Fragment[String ~ Int] = Fragment(
 //   parts = List(
 //     Left(value = &quot;INSERT INTO person (name, age) VALUES &quot;),
-//     Right(value = cats.data.IndexedStateT@6272e74c),
+//     Right(value = cats.data.IndexedStateT@1a6be4c7),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Encoder(varchar, int4),
@@ -242,7 +244,7 @@ <h2 id="combinators" class="section"><a class="anchor-link left" href="#combinat
 </span><span class="comment">// res5: Fragment[List[String ~ Int]] = Fragment(
 //   parts = List(
 //     Left(value = &quot;INSERT INTO person (name, age) VALUES &quot;),
-//     Right(value = cats.data.IndexedStateT@343d7dc0),
+//     Right(value = cats.data.IndexedStateT@30152266),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Encoder(varchar, int4, varchar, int4, varchar, int4),
@@ -261,7 +263,7 @@ <h2 id="transforming-the-input-type" class="section"><a class="anchor-link left"
 </span><span class="comment">// res6: Fragment[Person] = Fragment(
 //   parts = List(
 //     Left(value = &quot;INSERT INTO person (name, age) VALUES &quot;),
-//     Right(value = cats.data.IndexedStateT@78b774bf),
+//     Right(value = cats.data.IndexedStateT@9c4d27b),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Encoder(varchar, int4),
@@ -278,7 +280,7 @@ <h2 id="transforming-the-input-type" class="section"><a class="anchor-link left"
 </span><span class="comment">// res8: Fragment[Person] = Fragment(
 //   parts = List(
 //     Left(value = &quot;INSERT INTO person (name, age) VALUES &quot;),
-//     Right(value = cats.data.IndexedStateT@2afddaff),
+//     Right(value = cats.data.IndexedStateT@4306540),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Encoder(varchar, int4),

diff --git a/reference/Fragments.html b/reference/Fragments.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="../helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="../helium/laika-helium.css" />
+
   <script src="../helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>
 
@@ -155,7 +157,7 @@ <h1 id="fragments" class="title">Fragments</h1>
 </span><span class="comment">// f2: Fragment[Long] = Fragment(
 //   parts = List(
 //     Left(value = &quot;SELECT foo FROM bar WHERE baz = &quot;),
-//     Right(value = cats.data.IndexedStateT@6d0cec65),
+//     Right(value = cats.data.IndexedStateT@5fbe2f84),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Codec(int8),
@@ -170,9 +172,9 @@ <h2 id="interpolating-parameter-encoders" class="section"><a class="anchor-link
 </span><span class="comment">// f3: Fragment[Int *: String *: EmptyTuple] = Fragment(
 //   parts = List(
 //     Left(value = &quot;foo &quot;),
-//     Right(value = cats.data.IndexedStateT@6189ef8a),
+//     Right(value = cats.data.IndexedStateT@6a538956),
 //     Left(value = &quot; bar &quot;),
-//     Right(value = cats.data.IndexedStateT@229efe20),
+//     Right(value = cats.data.IndexedStateT@67984a0b),
 //     Left(value = &quot; bar&quot;)
 //   ),
 //   encoder = Codec(int4, varchar),
@@ -219,7 +221,7 @@ <h2 id="composing-fragments" class="section"><a class="anchor-link left" href="#
 </span><span class="comment">// f4: Fragment[Int] = Fragment(
 //   parts = List(
 //     Left(value = &quot;SELECT &quot;),
-//     Right(value = cats.data.IndexedStateT@6189ef8a),
+//     Right(value = cats.data.IndexedStateT@6a538956),
 //     Left(value = &quot;, foo FROM blah WHERE &quot;)
 //   ),
 //   encoder = Codec(int4),
@@ -230,7 +232,7 @@ <h2 id="composing-fragments" class="section"><a class="anchor-link left" href="#
 </span><span class="comment">// f5: Fragment[String] = Fragment(
 //   parts = List(
 //     Left(value = &quot;bar = &quot;),
-//     Right(value = cats.data.IndexedStateT@229efe20),
+//     Right(value = cats.data.IndexedStateT@67984a0b),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Codec(varchar),
@@ -241,10 +243,10 @@ <h2 id="composing-fragments" class="section"><a class="anchor-link left" href="#
 </span><span class="comment">// f6: Fragment[Int *: String *: EmptyTuple] = Fragment(
 //   parts = List(
 //     Left(value = &quot;SELECT &quot;),
-//     Right(value = cats.data.IndexedStateT@6189ef8a),
+//     Right(value = cats.data.IndexedStateT@6a538956),
 //     Left(value = &quot;, foo FROM blah WHERE &quot;),
 //     Left(value = &quot;bar = &quot;),
-//     Right(value = cats.data.IndexedStateT@229efe20),
+//     Right(value = cats.data.IndexedStateT@67984a0b),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Encoder(int4, varchar),
@@ -255,7 +257,7 @@ <h2 id="composing-fragments" class="section"><a class="anchor-link left" href="#
 </span><span class="comment">// f7: Fragment[String] = Fragment(
 //   parts = List(
 //     Left(value = &quot;bar = &quot;),
-//     Right(value = cats.data.IndexedStateT@229efe20),
+//     Right(value = cats.data.IndexedStateT@67984a0b),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Codec(varchar),
@@ -266,13 +268,13 @@ <h2 id="composing-fragments" class="section"><a class="anchor-link left" href="#
 </span><span class="comment">// f8: Fragment[Int *: String *: Short *: EmptyTuple] = Fragment(
 //   parts = List(
 //     Left(value = &quot;SELECT &quot;),
-//     Right(value = cats.data.IndexedStateT@6189ef8a),
+//     Right(value = cats.data.IndexedStateT@6a538956),
 //     Left(value = &quot;, foo FROM blah WHERE &quot;),
 //     Left(value = &quot;bar = &quot;),
-//     Right(value = cats.data.IndexedStateT@229efe20),
+//     Right(value = cats.data.IndexedStateT@67984a0b),
 //     Left(value = &quot;&quot;),
 //     Left(value = &quot; AND x = &quot;),
-//     Right(value = cats.data.IndexedStateT@49827f17),
+//     Right(value = cats.data.IndexedStateT@7bca446a),
 //     Left(value = &quot;&quot;)
 //   ),
 //   encoder = Encoder(int4, varchar, int2),
@@ -289,9 +291,9 @@ <h2 id="contramapping-fragments" class="section"><a class="anchor-link left" hre
 </span><span class="comment">// f9: Fragment[String *: Int *: EmptyTuple] = Fragment(
 //   parts = List(
 //     Left(value = &quot;INSERT ... VALUES (&quot;),
-//     Right(value = cats.data.IndexedStateT@229efe20),
+//     Right(value = cats.data.IndexedStateT@67984a0b),
 //     Left(value = &quot;, &quot;),
-//     Right(value = cats.data.IndexedStateT@6189ef8a),
+//     Right(value = cats.data.IndexedStateT@6a538956),
 //     Left(value = &quot;)&quot;)
 //   ),
 //   encoder = Codec(varchar, int4),
@@ -303,9 +305,9 @@ <h2 id="contramapping-fragments" class="section"><a class="anchor-link left" hre
 </span><span class="comment">// f10: Fragment[Person] = Fragment(
 //   parts = List(
 //     Left(value = &quot;INSERT ... VALUES (&quot;),
-//     Right(value = cats.data.IndexedStateT@229efe20),
+//     Right(value = cats.data.IndexedStateT@67984a0b),
 //     Left(value = &quot;, &quot;),
-//     Right(value = cats.data.IndexedStateT@6189ef8a),
+//     Right(value = cats.data.IndexedStateT@6a538956),
 //     Left(value = &quot;)&quot;)
 //   ),
 //   encoder = Encoder(varchar, int4),
@@ -317,9 +319,9 @@ <h2 id="contramapping-fragments" class="section"><a class="anchor-link left" hre
 </span><span class="comment">// f11: Fragment[Person] = Fragment(
 //   parts = List(
 //     Left(value = &quot;INSERT ... VALUES (&quot;),
-//     Right(value = cats.data.IndexedStateT@229efe20),
+//     Right(value = cats.data.IndexedStateT@67984a0b),
 //     Left(value = &quot;, &quot;),
-//     Right(value = cats.data.IndexedStateT@6189ef8a),
+//     Right(value = cats.data.IndexedStateT@6a538956),
 //     Left(value = &quot;)&quot;)
 //   ),
 //   encoder = Encoder(varchar, int4),

diff --git a/reference/Identifiers.html b/reference/Identifiers.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="../helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="../helium/laika-helium.css" />
+
   <script src="../helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>
 

diff --git a/reference/SchemaTypes.html b/reference/SchemaTypes.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="../helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="../helium/laika-helium.css" />
+
   <script src="../helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>
 

diff --git a/reference/Sessions.html b/reference/Sessions.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="../helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="../helium/laika-helium.css" />
+
   <script src="../helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>
 

diff --git a/reference/TwiddleLists.html b/reference/TwiddleLists.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="../helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="../helium/laika-helium.css" />
+
   <script src="../helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>
 

diff --git a/reference/index.html b/reference/index.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="../helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="../helium/laika-helium.css" />
+
   <script src="../helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>
 

diff --git a/tutorial/Channels.html b/tutorial/Channels.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="../helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="../helium/laika-helium.css" />
+
   <script src="../helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>
 

diff --git a/tutorial/Command.html b/tutorial/Command.html
@@ -24,9 +24,11 @@
 
   <link rel="stylesheet" type="text/css" href="../helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="../helium/laika-helium.css" />
+
   <script src="../helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>