aang 2.0.0-alpha.21 → 2.0.0-alpha.23

package/lib/option.d.ts

@@ -17,6 +17,7 @@ declare abstract class OptionTrait implements Semigroup<Option<never>>, TotalOrd
     or<A>(this: Option<A>, that: Option<A>): Option<A>;
     flatMap<A, B>(this: Option<A>, arrow: (value: A) => Option<B>): Option<B>;
     flatten<A>(this: Option<Option<A>>): Option<A>;
+    flatMapUntil<A, B>(this: Option<A>, arrow: (value: A) => Option<Result<A, B>>): Option<B>;
     filter<A, B extends A>(this: Option<A>, predicate: (value: A) => value is B): Option<B>;
     filter<A>(this: Option<A>, predicate: (value: A) => boolean): Option<A>;
     isSomeAnd<A, B extends A>(this: Option<A>, predicate: (value: A) => value is B): this is Option<B>;
@@ -42,6 +43,8 @@ declare abstract class OptionTrait implements Semigroup<Option<never>>, TotalOrd
     min<A extends TotalOrder<A>>(this: Option<A>, that: Option<A>): Option<A>;
     clamp<A extends TotalOrder<A>>(this: Option<A>, lower: Option<A>, upper: Option<A>): Option<A>;
     [Symbol.iterator]<A>(this: Option<A>): Generator<A, void, undefined>;
+    effectMap<A, B>(this: Option<A>, morphism: (value: A) => B): Generator<Option<A>, B, A>;
+    effect<A>(this: Option<A>): Generator<Option<A>, A, A>;
 }
 export declare class Some<out A> extends OptionTrait {
     readonly value: A;
@@ -59,4 +62,5 @@ export declare const fromNullable: <A>(value: A) => Option<NonNullable<A>>;
 export declare const fromFalsy: <A>(value: A) => Option<NonNullable<A>>;
 export declare function fromValue<A, B extends A>(value: A, predicate: (value: A) => value is B): Option<B>;
 export declare function fromValue<A>(value: A, predicate: (value: A) => boolean): Option<A>;
+export declare const fromGenerator: <A>(getGenerator: () => Generator<Option<unknown>, A, unknown>) => Option<A>;
 export {};

package/lib/option.js

@@ -32,6 +32,12 @@ class OptionTrait {
     flatten() {
         return this.isSome ? this.value : None.instance;
     }
+    flatMapUntil(arrow) {
+        let result = this.flatMap(arrow).transpose();
+        while (result.isFail)
+            result = arrow(result.value).transpose();
+        return result.value;
+    }
     filter(predicate) {
         return this.isSome && predicate(this.value) ? this : None.instance;
     }
@@ -125,6 +131,14 @@ class OptionTrait {
         if (this.isSome)
             yield this.value;
     }
+    *effectMap(morphism) {
+        const value = yield this;
+        return morphism(value);
+    }
+    *effect() {
+        const value = yield this;
+        return value;
+    }
 }
 export class Some extends OptionTrait {
     value;
@@ -148,3 +162,15 @@ export const fromFalsy = (value) => value ? new Some(value) : None.instance;
 export function fromValue(value, predicate) {
     return predicate(value) ? new Some(value) : None.instance;
 }
+// TODO: <A, B>(getGenerator: () => Generator<Option<A>, B, A>) => Option<B>
+export const fromGenerator = (getGenerator) => {
+    const generator = getGenerator();
+    let result = generator.next();
+    while (!result.done) {
+        const option = result.value;
+        if (option.isNone)
+            return None.instance;
+        result = generator.next(option.value);
+    }
+    return new Some(result.value);
+};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "aang",
-  "version": "2.0.0-alpha.21",
+  "version": "2.0.0-alpha.23",
   "description": "A powerful functional programming library for TypeScript.",
   "keywords": [
     "aang",