@effekt-lang/effekt 0.2.1 → 0.2.2

package/libraries/ml/immutable/result.effekt

@@ -0,0 +1,29 @@
+import immutable/option
+
+// Results
+// =======
+// The "reification" of the Exception[E] effect.
+type Result[A, E] {
+  Error(exception: E, msg: String);
+  Success(a: A)
+}
+
+def result[A, E] { f: () => A / Exception[E] }: Result[A, E] = try {
+  Success(f())
+} with Exception[E] {
+  def raise(exc, msg) = Error(exc, msg)
+}
+
+/**
+ * Extracts the value of a result, if available
+ * Monadic "reflection"
+ */
+def value[A, E](r: Result[A, E]): A / Exception[E] = r match {
+  case Success(a) => a
+  case Error(exc, msg) => do raise(exc, msg)
+}
+
+def toOption[A, E](r: Result[A, E]): Option[A] = r match {
+  case Success(a) => Some(a)
+  case Error(exc, msg) => None()
+}