initial commit

Author: Hong-Xiang

.gitignore

@@ -127,3 +127,5 @@ dmypy.json
 
 # Pyre type checker
 .pyre/
+
+.vscode/

README.md

@@ -1 +1,6 @@
-# purescript-exceptions.py
+# A Python FFI provider for purescript-exceptions.py
+Providing FFI files for https://github.com/purescript/purescript-exceptions
+
+Available mirrors:
+
+https://github.com/purescript-python/purescript-python-ffi-index

python-ffi/Effect/Exeception.py

@@ -0,0 +1,101 @@
+import traceback
+
+
+def showErrorImpl(err):
+    # TODO: make sure implemeted as JS
+    result = traceback.extract_stack(err)
+    if result is None:
+        return str(err)
+    else:
+        return result
+
+
+def error(msg):
+    return Exception(msg)
+
+
+def message(e):
+    # TODO: fix implmentation
+    return str(e)
+
+
+# exports.message = function (e) {
+#   return e.message;
+# };
+
+
+def name(e):
+    return str(type(e))
+
+
+# exports.name = function (e) {
+#   return e.name || "Error";
+# };
+
+
+def stackImpl(just):
+    def _nothing(nothing):
+        def ap(e):
+            result = traceback.extract_stack(e)
+            if result is None:
+                return nothing
+            else:
+                return just(result)
+
+        return ap
+
+    return _nothing
+
+
+# exports.stackImpl = function (just) {
+#   return function (nothing) {
+#     return function (e) {
+#       return e.stack ? just(e.stack) : nothing;
+#     };
+#   };
+# };
+
+
+def throwException(e):
+    def ap():
+        raise e
+
+    return ap
+
+
+# exports.throwException = function (e) {
+#   return function () {
+#     throw e;
+#   };
+# };
+
+
+def catchExeception(c):
+    def task(t):
+        def ap():
+            try:
+                return t()
+            # TODO: is this equvilant?
+            except Exception as e:
+                return c(e)
+
+        return ap
+
+    return task
+
+
+# exports.catchException = function (c) {
+#   return function (t) {
+#     return function () {
+#       try {
+#         return t();
+#       } catch (e) {
+#         if (e instanceof Error || Object.prototype.toString.call(e) === "[object Error]") {
+#           return c(e)();
+#         } else {
+#           return c(new Error(e.toString()))();
+#         }
+#       }
+#     };
+#   };
+# };