deploy: 09fbce3

typelevel · Aug 5, 2024 · e468acb · e468acb
1 parent a94f0d7
commit e468acb
Show file tree

Hide file tree

Showing 14 changed files with 56 additions and 56 deletions.
diff --git a/contributing.html b/contributing.html
@@ -115,13 +115,13 @@
     <li class="level1 active nav-leaf"><a href="#">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="mtl-classes/chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/design.html b/design.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="mtl-classes/chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/getting-started.html b/getting-started.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="mtl-classes/chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/index.html b/index.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="mtl-classes/chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/migration.html b/migration.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="mtl-classes/chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/mtl-classes.html b/mtl-classes.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="mtl-classes/chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="mtl-classes/local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="mtl-classes/handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/mtl-classes/ask.html b/mtl-classes/ask.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="../contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
+    <li class="level2 active nav-leaf"><a href="#">Ask</a></li>
     <li class="level2 nav-leaf"><a href="listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="local.html">Local</a></li>
-    <li class="level2 active nav-leaf"><a href="#">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/mtl-classes/chronicle.html b/mtl-classes/chronicle.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="../contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 active nav-leaf"><a href="#">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/mtl-classes/handle.html b/mtl-classes/handle.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="../contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
+    <li class="level2 active nav-leaf"><a href="#">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
-    <li class="level2 active nav-leaf"><a href="#">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/mtl-classes/listen.html b/mtl-classes/listen.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="../contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
     <li class="level2 active nav-leaf"><a href="#">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/mtl-classes/local.html b/mtl-classes/local.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="../contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="tell.html">Tell</a></li>
     <li class="level2 active nav-leaf"><a href="#">Local</a></li>
-    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/mtl-classes/raise.html b/mtl-classes/raise.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="../contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="listen.html">Listen</a></li>
+    <li class="level2 active nav-leaf"><a href="#">Raise</a></li>
     <li class="level2 nav-leaf"><a href="tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
-    <li class="level2 active nav-leaf"><a href="#">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/mtl-classes/stateful.html b/mtl-classes/stateful.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="../contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="chronicle.html">Chronicle</a></li>
+    <li class="level2 active nav-leaf"><a href="#">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
     <li class="level2 nav-leaf"><a href="tell.html">Tell</a></li>
     <li class="level2 nav-leaf"><a href="local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
-    <li class="level2 active nav-leaf"><a href="#">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
   </ul>
 
 </nav>

diff --git a/mtl-classes/tell.html b/mtl-classes/tell.html
@@ -115,13 +115,13 @@
     <li class="level1 nav-leaf"><a href="../contributing.html">Contributing</a></li>
     <li class="level1 nav-header">mtl-classes</li>
     <li class="level2 nav-leaf"><a href="chronicle.html">Chronicle</a></li>
+    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
+    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
+    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
     <li class="level2 nav-leaf"><a href="listen.html">Listen</a></li>
+    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
     <li class="level2 active nav-leaf"><a href="#">Tell</a></li>
     <li class="level2 nav-leaf"><a href="local.html">Local</a></li>
-    <li class="level2 nav-leaf"><a href="ask.html">Ask</a></li>
-    <li class="level2 nav-leaf"><a href="stateful.html">Stateful</a></li>
-    <li class="level2 nav-leaf"><a href="raise.html">Raise</a></li>
-    <li class="level2 nav-leaf"><a href="handle.html">Handle</a></li>
   </ul>
 
 </nav>