calebh/monad.cs

Created July 21, 2019 00:09

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/calebh/a7ef1f4708312989d3d2db7f11937c34.js"></script>
Save calebh/a7ef1f4708312989d3d2db7f11937c34 to your computer and use it in GitHub Desktop.

Download ZIP

Revisions

calebh created this gist Jul 21, 2019.

monad.cs

-Original file line number
+Diff line change
@@ -0,0 +1,7 @@
+    typeclass Monad<m> {
+        m<b> >>= <a, b>(m<a>, Func<a, m<b>>);
+        m<b> >> <a, b>(m<a> x, m<b> y) {
+            return >>= <a, b>(x, (ignored) => y);
+        }
+        m<a> return_ <a>(a);
+    }