Initial commit

Author: garyb

.gitignore

@@ -0,0 +1,4 @@
+/js/
+/externs/
+/node_modules/
+/bower_components/

LICENSE

@@ -0,0 +1,20 @@
+The MIT License (MIT)
+
+Copyright (c) 2014 PureScript
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of
+this software and associated documentation files (the "Software"), to deal in
+the Software without restriction, including without limitation the rights to
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
+the Software, and to permit persons to whom the Software is furnished to do so,
+subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
+FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
+COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
+IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
+CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

bower.json

@@ -0,0 +1,18 @@
+{
+  "name": "purescript-exceptions",
+  "version": "0.0.0",
+  "homepage": "https://github.com/purescript/purescript-exceptions",
+  "description": "Exception effects",
+  "keywords": [
+    "purescript"
+  ],
+  "license": "MIT",
+  "ignore": [
+    "**/.*",
+    "node_modules",
+    "bower_components",
+    "examples",
+    "externs",
+    "js"
+  ]
+}

src/Control/Monad/Eff/Exception.purs

@@ -0,0 +1,25 @@
+module Control.Monad.Eff.Exception where
+
+import Control.Monad.Eff
+
+foreign import data Exception :: * -> !
+
+foreign import throwException 
+  "function throwException(e) {\
+  \  return function() {\
+  \    throw e;\
+  \  };\
+  \}" :: forall a e r. e -> Eff (err :: Exception e | r) a
+
+foreign import catchException 
+  "function catchException(c) {\
+  \  return function(t) {\
+  \    return function() {\
+  \      try {\
+  \        return t();\
+  \      } catch(e) {\
+  \        return c(e)();\
+  \      }\
+  \    };\
+  \  };\
+  \}" :: forall e r a. (e -> Eff r a) -> Eff (err :: Exception e | r) a -> Eff r a