Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Add doc/monads.html, which documents how to run actions in different …

…contexts

I'd love if somebody with a better understanding of these monads could mark out which cases are impossible.
  • Loading branch information...
commit d54d137dc9d37fb52951db5eeb4a4f4b499d90fa 1 parent b7cf493
@jeffwheeler jeffwheeler authored
Showing with 74 additions and 0 deletions.
  1. +74 −0 doc/monads.html
View
74 doc/monads.html
@@ -0,0 +1,74 @@
+<html>
+<head>
+ <title>How do I run this action?</title>
+ <style type="text/css">
+ table {
+ border-collapse: collapse;
+ }
+
+ th {
+ background: #efefef;
+ }
+
+ th, td {
+ border: 1px solid #ccc;
+ }
+ </style>
+</head>
+<body>
+ <table cellspacing="0">
+ <thead>
+ <tr>
+ <th>Column &rarr; Row</th>
+ <th scope="col"><code>IO a</code></th>
+ <th scope="col"><code>YiM a</code></th>
+ <th scope="col"><code>EditorM a</code></th>
+ <th scope="col"><code>BufferM a</code></th>
+ <th scope="col"><code>Action</code></th>
+ </tr>
+ </thead>
+ <tbody>
+ <tr>
+ <th scope="row"><code>IO a</code></th>
+ <td>-</td>
+ <td>?</td>
+ <td><code>unsafeWithEditor config yiVar</code></td>
+ <td>?</td>
+ <td>?</td>
+ </tr>
+ <tr>
+ <th scope="row"><code>YiM a</code></th>
+ <td><code>io</code></td>
+ <td>-</td>
+ <td><code>liftEditor</code>, <code>withEditor</code></td>
+ <td><code>withBuffer</code>, <code>withGivenBuffer bufferRef</code></td>
+ <td><code>runAction</code></td>
+ </tr>
+ <tr>
+ <th scope="row"><code>EditorM a</code></th>
+ <td>?</td>
+ <td>?</td>
+ <td>-</td>
+ <td><code>withBuffer0</code>, <code>withWindowE window</code>, <code>withGivenBuffer0 bufferRef</code></td>
+ <td>?</td>
+ </tr>
+ <tr>
+ <th scope="row"><code>BufferM a</code></th>
+ <td>?</td>
+ <td>?</td>
+ <td>?</td>
+ <td>-</td>
+ <td>?</td>
+ </tr>
+ <tr>
+ <th scope="row"><code>Action</code></th>
+ <td>?</td>
+ <td><code>makeAction</code>, <code>YiA</code></td>
+ <td><code>makeAction</code>, <code>EditorA</code></td>
+ <td><code>makeAction</code>, <code>BufferA</code></td>
+ <td>-</td>
+ </tr>
+ </tbody>
+</body>
+</html>
+
Please sign in to comment.
Something went wrong with that request. Please try again.