@zambit/elevate-ts 0.1.2

package/dist/cjs/List.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"List.js","sourceRoot":"","sources":["../../src/List.ts"],"names":[],"mappings":"AAAA,yBAAyB;AAEzB,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAiB,EAAiB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAEpE;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAiB,EAAgB,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEzE;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAiB,EAAiB,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAEhH;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,GAAiB,EAAgB,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAErG;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,GAAiB,EAA2C,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAE/J;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GACf,CAAI,CAAI,EAAyC,EAAE,CACnD,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GACf,CAAI,CAAI,EAAyC,EAAE,CACnD,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GACf,CAAI,CAAS,EAAyC,EAAE,CACxD,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEpB;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GACf,CAAI,CAAS,EAAyC,EAAE,CACxD,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEjB;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,CAAI,SAA4B,EAAyC,EAAE,CAC3E,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAE,CAAC,EAAE,CAAC;IAChD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzB,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,CAAI,SAA4B,EAAyC,EAAE,CAC3E,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAE,CAAC,EAAE,CAAC;IAChD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,CAAI,SAA4B,EAAkE,EAAE,CACpG,CAAC,GAAG,EAAE,EAAE;IACN,MAAM,IAAI,GAAQ,EAAE,CAAC;IACrB,MAAM,KAAK,GAAQ,EAAE,CAAC;IACtB,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GACf,CAAI,SAA4B,EAAkE,EAAE,CACpG,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAE,CAAC,EAAE,CAAC;IAChD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAClB,CAAI,EAA2B,EAAsD,EAAE,CACvF,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,MAAM,GAAU,EAAE,CAAC;IACzB,IAAI,OAAO,GAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACrB,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrB,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAChB,CAAI,EAA2B,EAAyC,EAAE,CAC1E,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,MAAM,GAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAI,GAA2B,EAAyC,EAAE,CAC1E,CAAC,GAAG,EAAE,EAAE,CACN,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,CAAO,IAAkB,EAAE,EAAE,CAC7B,CAAC,IAAkB,EAAE,EAAE;IACrB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChF,OAAO,CAAC,KAAK,EAAE,SAAS,CAAU,CAAC;AACrC,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAClB,CAAU,CAAoB,EAAkE,EAAE,CAClG,CAAC,IAAI,EAAE,EAAE,CACT,CAAC,IAAI,EAAE,EAAE;IACP,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAO,KAAmC,EAAyC,EAAE;IACxG,MAAM,EAAE,GAAQ,EAAE,CAAC;IACnB,MAAM,EAAE,GAAQ,EAAE,CAAC;IACnB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;QAC3B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACX,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACb,CAAC;IACD,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAClB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,GAA8B,EAAgB,EAAE;IACzE,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GACtB,CAAI,GAAM,EAAyC,EAAE,CACrD,CAAC,GAAG,EAAE,EAAE;IACN,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,MAAM,GAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,MAAiC,EAA6B,EAAE;IAC3F,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAU,EAAE,CAAC;IACzB,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,GAAQ,EAAE,CAAC;QACpB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;YACtD,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;gBAChC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

package/dist/cjs/Maybe.d.ts

@@ -0,0 +1,64 @@
+/** Represents a Just value. */
+export type Just<A> = {
+    readonly tag: 'Just';
+    readonly value: A;
+};
+/** Represents the absence of a value. */
+export type Nothing = {
+    readonly tag: 'Nothing';
+};
+/** Optional value: Just<A> (present) or Nothing (absent). */
+export type Maybe<A> = Just<A> | Nothing;
+/** Create a Just value. */
+export declare const Just: <A>(value: A) => Just<A>;
+/** The Nothing singleton. */
+export declare const Nothing: Nothing;
+/** Test if a Maybe is Just. */
+export declare const isJust: <A>(ma: Maybe<A>) => ma is Just<A>;
+/** Test if a Maybe is Nothing. */
+export declare const isNothing: <A>(ma: Maybe<A>) => ma is Nothing;
+/** Lift a possibly-null value into Maybe. */
+export declare const fromNullable: <A>(a: A | null | undefined) => Maybe<A>;
+/** Construct Just if predicate holds, Nothing otherwise. */
+export declare const fromPredicate: <A>(predicate: (a: A) => boolean) => ((a: A) => Maybe<A>);
+/** Extract value or null. */
+export declare const toNullable: <A>(ma: Maybe<A>) => A | null;
+/** Lift to 0 or 1 element array. */
+export declare const toArray: <A>(ma: Maybe<A>) => readonly A[];
+/** Functor map. */
+export declare const map: <A, B>(f: (a: A) => B) => ((ma: Maybe<A>) => Maybe<B>);
+/** Applicative ap. */
+export declare const ap: <A, B>(mf: Maybe<(a: A) => B>) => ((ma: Maybe<A>) => Maybe<B>);
+/** Monadic bind (flatMap). */
+export declare const chain: <A, B>(f: (a: A) => Maybe<B>) => ((ma: Maybe<A>) => Maybe<B>);
+/** Chain with nullable result. */
+export declare const chainNullable: <A, B>(f: (a: A) => B | null | undefined) => ((ma: Maybe<A>) => Maybe<B>);
+/** Extract value or provide a default. */
+export declare const getOrElse: <A>(a: A) => ((ma: Maybe<A>) => A);
+/** Extract value or compute a default lazily. */
+export declare const getOrElseL: <A>(f: () => A) => ((ma: Maybe<A>) => A);
+/** Alt: use alternative if first is Nothing. */
+export declare const alt: <A>(malt: Maybe<A>) => ((ma: Maybe<A>) => Maybe<A>);
+/** Alt with lazy alternative. */
+export declare const altL: <A>(f: () => Maybe<A>) => ((ma: Maybe<A>) => Maybe<A>);
+/** Keep if predicate holds, otherwise Nothing. */
+export declare const filter: <A>(predicate: (a: A) => boolean) => ((ma: Maybe<A>) => Maybe<A>);
+/** Case analysis. */
+export declare const fold: <A, B>(onNothing: B, onJust: (a: A) => B) => ((ma: Maybe<A>) => B);
+/** Filter out Nothing; collect Just values. */
+export declare const catMaybes: <A>(maybes: readonly Maybe<A>[]) => readonly A[];
+/** Map then catMaybes. */
+export declare const mapMaybe: <A, B>(f: (a: A) => Maybe<B>) => ((as: readonly A[]) => readonly B[]);
+/** Sequence all-or-Nothing. */
+export declare const sequence: <A>(maybes: readonly Maybe<A>[]) => Maybe<readonly A[]>;
+/** Traverse a sequence. */
+export declare const traverse: <A, B>(f: (a: A) => Maybe<B>) => ((as: readonly A[]) => Maybe<readonly B[]>);
+/** Convert a Maybe to an Either. */
+export declare const toEither: <E, A>(onNothing: E) => ((ma: Maybe<A>) => {
+    readonly tag: "Right";
+    readonly right: A;
+} | {
+    readonly tag: "Left";
+    readonly left: E;
+});
+//# sourceMappingURL=Maybe.d.ts.map

package/dist/cjs/Maybe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.d.ts","sourceRoot":"","sources":["../../src/Maybe.ts"],"names":[],"mappings":"AAEA,+BAA+B;AAC/B,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAElE,yCAAyC;AACzC,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;CAAE,CAAC;AAElD,6DAA6D;AAC7D,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;AAEzC,2BAA2B;AAC3B,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,IAAI,CAAC,CAAC,CAA6B,CAAC;AAEvE,6BAA6B;AAC7B,eAAO,MAAM,OAAO,EAAE,OAA4B,CAAC;AAEnD,+BAA+B;AAC/B,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAG,EAAE,IAAI,IAAI,CAAC,CAAC,CAAsB,CAAC;AAE5E,kCAAkC;AAClC,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAG,EAAE,IAAI,OAA+B,CAAC;AAElF,6CAA6C;AAC7C,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,SAAS,KAAG,KAAK,CAAC,CAAC,CAAoC,CAAC;AAEtG,4DAA4D;AAC5D,eAAO,MAAM,aAAa,GACvB,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEpB,CAAC;AAErC,6BAA6B;AAC7B,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,GAAG,IAA6C,CAAC;AAE/F,oCAAoC;AACpC,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAG,SAAS,CAAC,EAA2C,CAAC;AAEhG,mBAAmB;AACnB,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEF,CAAC;AAEpD,sBAAsB;AACtB,eAAO,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEkB,CAAC;AAEhF,8BAA8B;AAC9B,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEf,CAAC;AAE9C,kCAAkC;AAClC,eAAO,MAAM,aAAa,GACvB,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,SAAS,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEb,CAAC;AAE5D,0CAA0C;AAC1C,eAAO,MAAM,SAAS,GACnB,CAAC,EAAE,GAAG,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAEG,CAAC;AAErC,iDAAiD;AACjD,eAAO,MAAM,UAAU,GACpB,CAAC,EAAE,GAAG,MAAM,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAED,CAAC;AAEvC,gDAAgD;AAChD,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEjB,CAAC;AAElC,iCAAiC;AACjC,eAAO,MAAM,IAAI,GACd,CAAC,EAAE,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAErB,CAAC;AAEjC,kDAAkD;AAClD,eAAO,MAAM,MAAM,GAChB,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAEL,CAAC;AAE5D,qBAAqB;AACrB,eAAO,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAEb,CAAC;AAErD,+CAA+C;AAC/C,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,QAAQ,SAAS,KAAK,CAAC,CAAC,CAAC,EAAE,KAAG,SAAS,CAAC,EAAmE,CAAC;AAEzI,0BAA0B;AAC1B,eAAO,MAAM,QAAQ,GAClB,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAE5C,CAAC;AAEzB,+BAA+B;AAC/B,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,QAAQ,SAAS,KAAK,CAAC,CAAC,CAAC,EAAE,KAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAO3E,CAAC;AAEF,2BAA2B;AAC3B,eAAO,MAAM,QAAQ,GAClB,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAEpD,CAAC;AA0ExB,oCAAoC;AACpC,eAAO,MAAM,QAAQ,GAClB,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,CAKjI,CAAC"}

package/dist/cjs/Maybe.js

@@ -0,0 +1,122 @@
+// Maybe — Optional values
+/** Create a Just value. */
+export const Just = (value) => ({ tag: 'Just', value });
+/** The Nothing singleton. */
+export const Nothing = { tag: 'Nothing' };
+/** Test if a Maybe is Just. */
+export const isJust = (ma) => ma.tag === 'Just';
+/** Test if a Maybe is Nothing. */
+export const isNothing = (ma) => ma.tag === 'Nothing';
+/** Lift a possibly-null value into Maybe. */
+export const fromNullable = (a) => (a == null ? Nothing : Just(a));
+/** Construct Just if predicate holds, Nothing otherwise. */
+export const fromPredicate = (predicate) => (a) => predicate(a) ? Just(a) : Nothing;
+/** Extract value or null. */
+export const toNullable = (ma) => (ma.tag === 'Just' ? ma.value : null);
+/** Lift to 0 or 1 element array. */
+export const toArray = (ma) => (ma.tag === 'Just' ? [ma.value] : []);
+/** Functor map. */
+export const map = (f) => (ma) => ma.tag === 'Just' ? Just(f(ma.value)) : Nothing;
+/** Applicative ap. */
+export const ap = (mf) => (ma) => mf.tag === 'Just' && ma.tag === 'Just' ? Just(mf.value(ma.value)) : Nothing;
+/** Monadic bind (flatMap). */
+export const chain = (f) => (ma) => ma.tag === 'Just' ? f(ma.value) : Nothing;
+/** Chain with nullable result. */
+export const chainNullable = (f) => (ma) => ma.tag === 'Just' ? fromNullable(f(ma.value)) : Nothing;
+/** Extract value or provide a default. */
+export const getOrElse = (a) => (ma) => ma.tag === 'Just' ? ma.value : a;
+/** Extract value or compute a default lazily. */
+export const getOrElseL = (f) => (ma) => ma.tag === 'Just' ? ma.value : f();
+/** Alt: use alternative if first is Nothing. */
+export const alt = (malt) => (ma) => ma.tag === 'Just' ? ma : malt;
+/** Alt with lazy alternative. */
+export const altL = (f) => (ma) => ma.tag === 'Just' ? ma : f();
+/** Keep if predicate holds, otherwise Nothing. */
+export const filter = (predicate) => (ma) => ma.tag === 'Just' && predicate(ma.value) ? ma : Nothing;
+/** Case analysis. */
+export const fold = (onNothing, onJust) => (ma) => ma.tag === 'Just' ? onJust(ma.value) : onNothing;
+/** Filter out Nothing; collect Just values. */
+export const catMaybes = (maybes) => maybes.flatMap((ma) => (ma.tag === 'Just' ? [ma.value] : []));
+/** Map then catMaybes. */
+export const mapMaybe = (f) => (as) => catMaybes(as.map(f));
+/** Sequence all-or-Nothing. */
+export const sequence = (maybes) => {
+    const result = [];
+    for (const ma of maybes) {
+        if (ma.tag === 'Nothing')
+            return Nothing;
+        result.push(ma.value);
+    }
+    return Just(result);
+};
+/** Traverse a sequence. */
+export const traverse = (f) => (as) => sequence(as.map(f));
+// Fantasy Land symbols
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+const flMap = (f) => map(f);
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+const flAp = (mf) => ap(mf);
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+const flChain = (f) => chain(f);
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+const flFilter = (predicate) => filter(predicate);
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+const flReduce = (f, b) => (ma) => ma.tag === 'Just' ? f(b, ma.value) : b;
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+const flEquals = (a) => (ma) => ma.tag === 'Just' && ma.value === a;
+Object.defineProperty(Just, 'fantasy-land/of', { value: Just });
+Object.defineProperty(Nothing, 'fantasy-land/zero', { value: Nothing });
+const justProto = Object.getPrototypeOf(Just(0));
+justProto['fantasy-land/map'] = function (f) {
+    return Just(f(this.value));
+};
+justProto['fantasy-land/ap'] = function (ma) {
+    return ap(this)(ma);
+};
+justProto['fantasy-land/chain'] = function (f) {
+    return f(this.value);
+};
+justProto['fantasy-land/alt'] = function (_malt) {
+    return this;
+};
+justProto['fantasy-land/filter'] = function (predicate) {
+    return predicate(this.value) ? this : Nothing;
+};
+justProto['fantasy-land/reduce'] = function (f, b) {
+    return f(b, this.value);
+};
+justProto['fantasy-land/equals'] = function (other) {
+    return other.tag === 'Just' && this.value === other.value;
+};
+const nothingProto = Object.getPrototypeOf(Nothing);
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+nothingProto['fantasy-land/map'] = function (f) {
+    return Nothing;
+};
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+nothingProto['fantasy-land/ap'] = function (_ma) {
+    return Nothing;
+};
+nothingProto['fantasy-land/chain'] = function (_f) {
+    return Nothing;
+};
+nothingProto['fantasy-land/alt'] = function (malt) {
+    return malt;
+};
+nothingProto['fantasy-land/filter'] = function (_predicate) {
+    return Nothing;
+};
+nothingProto['fantasy-land/reduce'] = function (f, b) {
+    return b;
+};
+// istanbul ignore next
+nothingProto['fantasy-land/equals'] = function (other) {
+    return other.tag === 'Nothing';
+};
+/** Convert a Maybe to an Either. */
+export const toEither = (onNothing) => (ma) => {
+    const Right = (right) => ({ tag: 'Right', right });
+    const Left = (left) => ({ tag: 'Left', left });
+    return ma.tag === 'Just' ? Right(ma.value) : Left(onNothing);
+};
+//# sourceMappingURL=Maybe.js.map

package/dist/cjs/Maybe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Maybe.js","sourceRoot":"","sources":["../../src/Maybe.ts"],"names":[],"mappings":"AAAA,0BAA0B;AAW1B,2BAA2B;AAC3B,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,KAAQ,EAAW,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAEvE,6BAA6B;AAC7B,MAAM,CAAC,MAAM,OAAO,GAAY,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;AAEnD,+BAA+B;AAC/B,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,EAAY,EAAiB,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC;AAE5E,kCAAkC;AAClC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,EAAY,EAAiB,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC;AAElF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,YAAY,GAAG,CAAI,CAAuB,EAAY,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtG,4DAA4D;AAC5D,MAAM,CAAC,MAAM,aAAa,GACxB,CAAI,SAA4B,EAAwB,EAAE,CAC1D,CAAC,CAAC,EAAE,EAAE,CACJ,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAErC,6BAA6B;AAC7B,MAAM,CAAC,MAAM,UAAU,GAAG,CAAI,EAAY,EAAY,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAE/F,oCAAoC;AACpC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,EAAY,EAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAEhG,mBAAmB;AACnB,MAAM,CAAC,MAAM,GAAG,GACd,CAAO,CAAc,EAAgC,EAAE,CACvD,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAEpD,sBAAsB;AACtB,MAAM,CAAC,MAAM,EAAE,GACb,CAAO,EAAsB,EAAgC,EAAE,CAC/D,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAEhF,8BAA8B;AAC9B,MAAM,CAAC,MAAM,KAAK,GAChB,CAAO,CAAqB,EAAgC,EAAE,CAC9D,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAE9C,kCAAkC;AAClC,MAAM,CAAC,MAAM,aAAa,GACxB,CAAO,CAAiC,EAAgC,EAAE,CAC1E,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAE5D,0CAA0C;AAC1C,MAAM,CAAC,MAAM,SAAS,GACpB,CAAI,CAAI,EAAyB,EAAE,CACnC,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAErC,iDAAiD;AACjD,MAAM,CAAC,MAAM,UAAU,GACrB,CAAI,CAAU,EAAyB,EAAE,CACzC,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAEvC,gDAAgD;AAChD,MAAM,CAAC,MAAM,GAAG,GACd,CAAI,IAAc,EAAgC,EAAE,CACpD,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAElC,iCAAiC;AACjC,MAAM,CAAC,MAAM,IAAI,GACf,CAAI,CAAiB,EAAgC,EAAE,CACvD,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAEjC,kDAAkD;AAClD,MAAM,CAAC,MAAM,MAAM,GACjB,CAAI,SAA4B,EAAgC,EAAE,CAClE,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AAE5D,qBAAqB;AACrB,MAAM,CAAC,MAAM,IAAI,GACf,CAAO,SAAY,EAAE,MAAmB,EAAyB,EAAE,CACnE,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAErD,+CAA+C;AAC/C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,MAA2B,EAAgB,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEzI,0BAA0B;AAC1B,MAAM,CAAC,MAAM,QAAQ,GACnB,CAAO,CAAqB,EAAwC,EAAE,CACtE,CAAC,EAAE,EAAE,EAAE,CACL,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAEzB,+BAA+B;AAC/B,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAI,MAA2B,EAAuB,EAAE;IAC9E,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AACtB,CAAC,CAAC;AAEF,2BAA2B;AAC3B,MAAM,CAAC,MAAM,QAAQ,GACnB,CAAO,CAAqB,EAA+C,EAAE,CAC7E,CAAC,EAAE,EAAE,EAAE,CACL,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAExB,uBAAuB;AACvB,6DAA6D;AAC7D,MAAM,KAAK,GAAG,CAAO,CAAc,EAAgC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC7E,6DAA6D;AAC7D,MAAM,IAAI,GAAG,CAAO,EAAsB,EAAgC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AACpF,6DAA6D;AAC7D,MAAM,OAAO,GAAG,CAAO,CAAqB,EAAgC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACxF,6DAA6D;AAC7D,MAAM,QAAQ,GAAG,CAAI,SAA4B,EAAgC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;AACtG,6DAA6D;AAC7D,MAAM,QAAQ,GACZ,CAAO,CAAoB,EAAE,CAAI,EAAyB,EAAE,CAC5D,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,6DAA6D;AAC7D,MAAM,QAAQ,GACZ,CAAI,CAAI,EAA+B,EAAE,CACzC,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC;AAExC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,iBAAiB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAChE,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,mBAAmB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;AAExE,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,SAAS,CAAC,kBAAkB,CAAC,GAAG,UAA+B,CAAc;IAC3E,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7B,CAAC,CAAC;AACF,SAAS,CAAC,iBAAiB,CAAC,GAAG,UAAyC,EAAY;IAClF,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;AACtB,CAAC,CAAC;AACF,SAAS,CAAC,oBAAoB,CAAC,GAAG,UAA+B,CAAqB;IACpF,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AACF,SAAS,CAAC,kBAAkB,CAAC,GAAG,UAA4B,KAAe;IACzE,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AACF,SAAS,CAAC,qBAAqB,CAAC,GAAG,UAA4B,SAA4B;IACzF,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;AAChD,CAAC,CAAC;AACF,SAAS,CAAC,qBAAqB,CAAC,GAAG,UAA+B,CAAoB,EAAE,CAAI;IAC1F,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC,CAAC;AACF,SAAS,CAAC,qBAAqB,CAAC,GAAG,UAA4B,KAAe;IAC5E,OAAO,KAAK,CAAC,GAAG,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;AACpD,6DAA6D;AAC7D,YAAY,CAAC,kBAAkB,CAAC,GAAG,UAA+B,CAAc;IAC9E,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AACF,6DAA6D;AAC7D,YAAY,CAAC,iBAAiB,CAAC,GAAG,UAAgC,GAAc;IAC9E,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AACF,YAAY,CAAC,oBAAoB,CAAC,GAAG,UAA+B,EAAsB;IACxF,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AACF,YAAY,CAAC,kBAAkB,CAAC,GAAG,UAA4B,IAAc;IAC3E,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AACF,YAAY,CAAC,qBAAqB,CAAC,GAAG,UAA4B,UAA6B;IAC7F,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AACF,YAAY,CAAC,qBAAqB,CAAC,GAAG,UAA+B,CAAoB,EAAE,CAAI;IAC7F,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AACF,uBAAuB;AACvB,YAAY,CAAC,qBAAqB,CAAC,GAAG,UAA4B,KAAe;IAC/E,OAAO,KAAK,CAAC,GAAG,KAAK,SAAS,CAAC;AACjC,CAAC,CAAC;AAEF,oCAAoC;AACpC,MAAM,CAAC,MAAM,QAAQ,GACnB,CAAO,SAAY,EAAiH,EAAE,CACtI,CAAC,EAAE,EAAE,EAAE;IACL,MAAM,KAAK,GAAG,CAAI,KAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAgB,EAAE,KAAK,EAAE,CAAC,CAAC;IAClE,MAAM,IAAI,GAAG,CAAI,IAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAe,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9D,OAAO,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AAC/D,CAAC,CAAC"}

package/dist/cjs/MaybeAsync.d.ts

@@ -0,0 +1,115 @@
+import type * as EitherAsyncModule from './EitherAsync.js';
+import * as Maybe from './Maybe.js';
+/**
+ * Lazy async Maybe: wraps Promise<Maybe<A>>.
+ * Critical: Any rejected Promise or thrown error becomes Nothing; never rejects.
+ */
+export type MaybeAsync<A> = {
+    readonly tag: 'MaybeAsync';
+    readonly run: () => Promise<Maybe.Maybe<A>>;
+};
+/**
+ * Construct a MaybeAsync from a lazy computation.
+ * @param run - A function returning Promise<Maybe<A>>.
+ * @returns A MaybeAsync that encapsulates the computation.
+ */
+export declare const MaybeAsync: <A>(run: () => Promise<Maybe.Maybe<A>>) => MaybeAsync<A>;
+/**
+ * Lift a synchronous Maybe into MaybeAsync.
+ * @param ma - The synchronous Maybe.
+ * @returns A MaybeAsync that immediately resolves to the Maybe.
+ */
+export declare const liftMaybe: <A>(ma: Maybe.Maybe<A>) => MaybeAsync<A>;
+/**
+ * Lift a Promise into MaybeAsync.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param p - The Promise to lift.
+ * @returns A MaybeAsync that resolves to Just the value or Nothing on error.
+ */
+export declare const fromPromise: <A>(p: Promise<A>) => MaybeAsync<A>;
+/**
+ * Wrap an async function with error handling.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - An async function.
+ * @returns A MaybeAsync that captures the result or Nothing on error.
+ */
+export declare const tryCatch: <A>(f: () => Promise<A>) => MaybeAsync<A>;
+/**
+ * Functor map over the value.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - Function to transform the value.
+ * @returns A function taking MaybeAsync and returning a new MaybeAsync.
+ */
+export declare const map: <A, B>(f: (a: A) => B) => ((ma: MaybeAsync<A>) => MaybeAsync<B>);
+/**
+ * Monadic bind: sequentially compose MaybeAsync computations.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - Function that returns a MaybeAsync.
+ * @returns A function taking MaybeAsync and returning a flattened MaybeAsync.
+ */
+export declare const chain: <A, B>(f: (a: A) => MaybeAsync<B>) => ((ma: MaybeAsync<A>) => MaybeAsync<B>);
+/**
+ * Applicative ap: apply a MaybeAsync function to a MaybeAsync value.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param mf - A MaybeAsync of a function.
+ * @returns A function taking MaybeAsync and returning a new MaybeAsync.
+ */
+export declare const ap: <A, B>(mf: MaybeAsync<(a: A) => B>) => ((ma: MaybeAsync<A>) => MaybeAsync<B>);
+/**
+ * Alt: use alternative MaybeAsync if first is Nothing.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param alt_ma - The alternative MaybeAsync.
+ * @returns A function taking the primary MaybeAsync.
+ */
+export declare const alt: <A>(alt_ma: MaybeAsync<A>) => ((ma: MaybeAsync<A>) => MaybeAsync<A>);
+/**
+ * Keep the value if predicate holds, otherwise Nothing.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param predicate - The predicate to test.
+ * @returns A function taking MaybeAsync and returning filtered MaybeAsync.
+ */
+export declare const filter: <A>(predicate: (a: A) => boolean) => ((ma: MaybeAsync<A>) => MaybeAsync<A>);
+/**
+ * Extract the value or provide a default.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param a - The default value.
+ * @returns A function taking MaybeAsync and returning a Promise of the value.
+ */
+export declare const getOrElse: <A>(a: A) => ((ma: MaybeAsync<A>) => Promise<A>);
+/**
+ * Extract the value or compute a default lazily.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - A function computing the default.
+ * @returns A function taking MaybeAsync and returning a Promise of the value.
+ */
+export declare const getOrElseL: <A>(f: () => Promise<A>) => ((ma: MaybeAsync<A>) => Promise<A>);
+/**
+ * Convert MaybeAsync to EitherAsync.
+ * Any rejected Promise or thrown error becomes Nothing which becomes Left; never rejects.
+ * @param onNothing - The Left value if Nothing.
+ * @returns A function taking MaybeAsync and returning EitherAsync.
+ */
+export declare const toEitherAsync: <E, A>(onNothing: E) => ((ma: MaybeAsync<A>) => EitherAsyncModule.EitherAsync<E, A>);
+/**
+ * Case analysis on MaybeAsync.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param onNothing - Value for Nothing.
+ * @param onJust - Function for Just value.
+ * @returns A function taking MaybeAsync and returning Promise of result.
+ */
+export declare const fold: <A, B>(onNothing: B, onJust: (a: A) => Promise<B>) => ((ma: MaybeAsync<A>) => Promise<B>);
+/**
+ * Collect Just values from an array of MaybeAsync.
+ * Rejected Promises and errors are filtered out.
+ * @param maybes - Array of MaybeAsync.
+ * @returns Promise of collected values.
+ */
+export declare const catMaybes: <A>(maybes: readonly MaybeAsync<A>[]) => Promise<readonly A[]>;
+/**
+ * All-or-Nothing: if any MaybeAsync is Nothing, result is Nothing.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param maybes - Array of MaybeAsync.
+ * @returns A MaybeAsync that is Just of array if all are Just, else Nothing.
+ */
+export declare const all: <A>(maybes: readonly MaybeAsync<A>[]) => MaybeAsync<A[]>;
+//# sourceMappingURL=MaybeAsync.d.ts.map

package/dist/cjs/MaybeAsync.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MaybeAsync.d.ts","sourceRoot":"","sources":["../../src/MaybeAsync.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,iBAAiB,MAAM,kBAAkB,CAAC;AAC3D,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAC1B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;CAC7C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,KAAK,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAAiC,CAAC;AAEjH;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAA0C,CAAC;AAEzG;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAA8E,CAAC;AAE1I;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAM3D,CAAC;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAEI,CAAC;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAQrE,CAAC;AAEP;;;;;GAKG;AACH,eAAO,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAKtE,CAAC;AAEP;;;;;GAKG;AACH,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,QAAQ,UAAU,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAM7D,CAAC;AAEP;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAChB,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAEI,CAAC;AAE/E;;;;;GAKG;AACH,eAAO,MAAM,SAAS,GACnB,CAAC,EAAE,GAAG,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAEQ,CAAC;AAExD;;;;;GAKG;AACH,eAAO,MAAM,UAAU,GACpB,CAAC,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAKxD,CAAC;AAEP;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GACvB,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAWhF,CAAC;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,GACd,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAKlF,CAAC;AAEP;;;;;GAKG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,QAAQ,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,KAAG,OAAO,CAAC,SAAS,CAAC,EAAE,CACgD,CAAC;AAErI;;;;;GAKG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,QAAQ,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,KAAG,UAAU,CAAC,CAAC,EAAE,CASpE,CAAC"}

package/dist/cjs/MaybeAsync.js

@@ -0,0 +1,151 @@
+// MaybeAsync — Lazy Async Maybe
+import * as Maybe from './Maybe.js';
+/**
+ * Construct a MaybeAsync from a lazy computation.
+ * @param run - A function returning Promise<Maybe<A>>.
+ * @returns A MaybeAsync that encapsulates the computation.
+ */
+export const MaybeAsync = (run) => ({ tag: 'MaybeAsync', run });
+/**
+ * Lift a synchronous Maybe into MaybeAsync.
+ * @param ma - The synchronous Maybe.
+ * @returns A MaybeAsync that immediately resolves to the Maybe.
+ */
+export const liftMaybe = (ma) => MaybeAsync(() => Promise.resolve(ma));
+/**
+ * Lift a Promise into MaybeAsync.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param p - The Promise to lift.
+ * @returns A MaybeAsync that resolves to Just the value or Nothing on error.
+ */
+export const fromPromise = (p) => MaybeAsync(() => p.then((a) => Maybe.Just(a)).catch(() => Maybe.Nothing));
+/**
+ * Wrap an async function with error handling.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - An async function.
+ * @returns A MaybeAsync that captures the result or Nothing on error.
+ */
+export const tryCatch = (f) => MaybeAsync(() => Promise.resolve()
+    .then(() => f())
+    .then((a) => Maybe.Just(a))
+    .catch(() => Maybe.Nothing));
+/**
+ * Functor map over the value.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - Function to transform the value.
+ * @returns A function taking MaybeAsync and returning a new MaybeAsync.
+ */
+export const map = (f) => (ma) => MaybeAsync(() => ma.run().then((maybe) => Maybe.map(f)(maybe)));
+/**
+ * Monadic bind: sequentially compose MaybeAsync computations.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - Function that returns a MaybeAsync.
+ * @returns A function taking MaybeAsync and returning a flattened MaybeAsync.
+ */
+export const chain = (f) => (ma) => MaybeAsync(async () => {
+    const maybe = await ma.run();
+    if (maybe.tag === 'Just') {
+        return f(maybe.value).run();
+    }
+    return Maybe.Nothing;
+});
+/**
+ * Applicative ap: apply a MaybeAsync function to a MaybeAsync value.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param mf - A MaybeAsync of a function.
+ * @returns A function taking MaybeAsync and returning a new MaybeAsync.
+ */
+export const ap = (mf) => (ma) => MaybeAsync(async () => {
+    const [f, a] = await Promise.all([mf.run(), ma.run()]);
+    return Maybe.ap(f)(a);
+});
+/**
+ * Alt: use alternative MaybeAsync if first is Nothing.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param alt_ma - The alternative MaybeAsync.
+ * @returns A function taking the primary MaybeAsync.
+ */
+export const alt = (alt_ma) => (ma) => MaybeAsync(async () => {
+    const maybe = await ma.run();
+    if (maybe.tag === 'Just')
+        return maybe;
+    return alt_ma.run();
+});
+/**
+ * Keep the value if predicate holds, otherwise Nothing.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param predicate - The predicate to test.
+ * @returns A function taking MaybeAsync and returning filtered MaybeAsync.
+ */
+export const filter = (predicate) => (ma) => MaybeAsync(() => ma.run().then((maybe) => Maybe.filter(predicate)(maybe)));
+/**
+ * Extract the value or provide a default.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param a - The default value.
+ * @returns A function taking MaybeAsync and returning a Promise of the value.
+ */
+export const getOrElse = (a) => (ma) => ma.run().then((maybe) => Maybe.getOrElse(a)(maybe));
+/**
+ * Extract the value or compute a default lazily.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param f - A function computing the default.
+ * @returns A function taking MaybeAsync and returning a Promise of the value.
+ */
+export const getOrElseL = (f) => (ma) => ma.run().then(async (maybe) => {
+    if (maybe.tag === 'Just')
+        return maybe.value;
+    return f();
+});
+/**
+ * Convert MaybeAsync to EitherAsync.
+ * Any rejected Promise or thrown error becomes Nothing which becomes Left; never rejects.
+ * @param onNothing - The Left value if Nothing.
+ * @returns A function taking MaybeAsync and returning EitherAsync.
+ */
+export const toEitherAsync = (onNothing) => (ma) => {
+    // Dynamic import to avoid circular dependencies
+    return {
+        tag: 'EitherAsync',
+        run: async () => {
+            const maybe = await ma.run();
+            const Either = (await import('./Either.js'));
+            return maybe.tag === 'Just' ? Either.Right(maybe.value) : Either.Left(onNothing);
+        }
+    };
+};
+/**
+ * Case analysis on MaybeAsync.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param onNothing - Value for Nothing.
+ * @param onJust - Function for Just value.
+ * @returns A function taking MaybeAsync and returning Promise of result.
+ */
+export const fold = (onNothing, onJust) => (ma) => ma.run().then(async (maybe) => {
+    if (maybe.tag === 'Just')
+        return onJust(maybe.value);
+    return onNothing;
+});
+/**
+ * Collect Just values from an array of MaybeAsync.
+ * Rejected Promises and errors are filtered out.
+ * @param maybes - Array of MaybeAsync.
+ * @returns Promise of collected values.
+ */
+export const catMaybes = (maybes) => Promise.all(maybes.map((m) => m.run())).then((results) => results.flatMap((maybe) => (maybe.tag === 'Just' ? [maybe.value] : [])));
+/**
+ * All-or-Nothing: if any MaybeAsync is Nothing, result is Nothing.
+ * Any rejected Promise or thrown error becomes Nothing; never rejects.
+ * @param maybes - Array of MaybeAsync.
+ * @returns A MaybeAsync that is Just of array if all are Just, else Nothing.
+ */
+export const all = (maybes) => MaybeAsync(async () => {
+    const results = await Promise.all(maybes.map((m) => m.run()));
+    const values = [];
+    for (const maybe of results) {
+        if (maybe.tag === 'Nothing')
+            return Maybe.Nothing;
+        values.push(maybe.value);
+    }
+    return Maybe.Just(values);
+});
+//# sourceMappingURL=MaybeAsync.js.map

package/dist/cjs/MaybeAsync.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MaybeAsync.js","sourceRoot":"","sources":["../../src/MaybeAsync.ts"],"names":[],"mappings":"AAAA,gCAAgC;AAGhC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAWpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAI,GAAkC,EAAiB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;AAEjH;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,EAAkB,EAAiB,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;AAEzG;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAI,CAAa,EAAiB,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;AAE1I;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAI,CAAmB,EAAiB,EAAE,CAChE,UAAU,CAAC,GAAG,EAAE,CACd,OAAO,CAAC,OAAO,EAAE;KACd,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;KACf,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;KAC1B,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAC9B,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,CAAO,CAAc,EAA0C,EAAE,CACjE,CAAC,EAAE,EAAE,EAAE,CACL,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEpE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAChB,CAAO,CAA0B,EAA0C,EAAE,CAC7E,CAAC,EAAE,EAAE,EAAE,CACL,UAAU,CAAC,KAAK,IAAI,EAAE;IACpB,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC;AACvB,CAAC,CAAC,CAAC;AAEP;;;;;GAKG;AACH,MAAM,CAAC,MAAM,EAAE,GACb,CAAO,EAA2B,EAA0C,EAAE,CAC9E,CAAC,EAAE,EAAE,EAAE,CACL,UAAU,CAAC,KAAK,IAAI,EAAE;IACpB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACvD,OAAO,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxB,CAAC,CAAC,CAAC;AAEP;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,CAAI,MAAqB,EAA0C,EAAE,CACrE,CAAC,EAAE,EAAE,EAAE,CACL,UAAU,CAAC,KAAK,IAAI,EAAE;IACpB,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC;AACtB,CAAC,CAAC,CAAC;AAEP;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GACjB,CAAI,SAA4B,EAA0C,EAAE,CAC5E,CAAC,EAAE,EAAE,EAAE,CACL,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAE/E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GACpB,CAAI,CAAI,EAAuC,EAAE,CACjD,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAExD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GACrB,CAAI,CAAmB,EAAuC,EAAE,CAChE,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;IAC5B,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC;IAC7C,OAAO,CAAC,EAAE,CAAC;AACb,CAAC,CAAC,CAAC;AAEP;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GACxB,CAAO,SAAY,EAAgE,EAAE,CACrF,CAAC,EAAE,EAAE,EAAE;IACL,gDAAgD;IAChD,OAAO;QACL,GAAG,EAAE,aAAa;QAClB,GAAG,EAAE,KAAK,IAAI,EAAE;YACd,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,CAAiC,CAAC;YAC7E,OAAO,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnF,CAAC;KACqC,CAAC;AAC3C,CAAC,CAAC;AAEJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GACf,CAAO,SAAY,EAAE,MAA4B,EAAuC,EAAE,CAC1F,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;IAC5B,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC,CAAC;AAEP;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,MAAgC,EAAyB,EAAE,CACtF,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAErI;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAI,MAAgC,EAAmB,EAAE,CAC1E,UAAU,CAAC,KAAK,IAAI,EAAE;IACpB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,OAAO,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC,CAAC,CAAC"}

package/dist/cjs/NonEmptyList.d.ts

@@ -0,0 +1,86 @@
+import * as Maybe from './Maybe.js';
+declare const NonEmptyListBrand: unique symbol;
+/** Branded nonempty list type: at least one element guaranteed. */
+export type NonEmptyList<A> = readonly [A, ...A[]] & {
+    readonly [NonEmptyListBrand]: true;
+};
+/**
+ * Safely lift an array to NonEmptyList if nonempty.
+ * @param arr - The array to lift.
+ * @returns Just the NonEmptyList if nonempty, Nothing if empty.
+ */
+export declare const fromArray: <A>(arr: readonly A[]) => Maybe.Maybe<NonEmptyList<A>>;
+/**
+ * Unsafely cast an array to NonEmptyList without checking.
+ * @param arr - An array (assumed nonempty).
+ * @returns The array cast as NonEmptyList.
+ */
+export declare const fromArrayUnsafe: <A>(arr: readonly A[]) => NonEmptyList<A>;
+/**
+ * Convert a NonEmptyList back to a plain array.
+ * @param nel - The nonempty list.
+ * @returns A readonly array.
+ */
+export declare const toArray: <A>(nel: NonEmptyList<A>) => readonly A[];
+/**
+ * Extract the first element (guaranteed to exist).
+ * @param nel - The nonempty list.
+ * @returns The first element.
+ */
+export declare const head: <A>(nel: NonEmptyList<A>) => A;
+/**
+ * Extract all elements after the first.
+ * @param nel - The nonempty list.
+ * @returns An array of remaining elements (may be empty).
+ */
+export declare const tail: <A>(nel: NonEmptyList<A>) => readonly A[];
+/**
+ * Extract the last element.
+ * @param nel - The nonempty list.
+ * @returns The last element.
+ */
+export declare const last: <A>(nel: NonEmptyList<A>) => A;
+/**
+ * Extract all elements except the last.
+ * @param nel - The nonempty list.
+ * @returns An array of all but the last element.
+ */
+export declare const init: <A>(nel: NonEmptyList<A>) => readonly A[];
+/**
+ * Functor map over a NonEmptyList.
+ * @param f - Function to transform each element.
+ * @returns A function that takes a NonEmptyList and returns a new NonEmptyList.
+ */
+export declare const map: <A, B>(f: (a: A) => B) => ((nel: NonEmptyList<A>) => NonEmptyList<B>);
+/**
+ * Applicative ap: apply a NonEmptyList of functions to a NonEmptyList of values.
+ * @param nf - A NonEmptyList of functions.
+ * @returns A function that takes a NonEmptyList and returns a new NonEmptyList.
+ */
+export declare const ap: <A, B>(nf: NonEmptyList<(a: A) => B>) => ((nel: NonEmptyList<A>) => NonEmptyList<B>);
+/**
+ * Monadic bind: sequentially compose NonEmptyList computations.
+ * @param f - Function that returns a NonEmptyList.
+ * @returns A function that takes a NonEmptyList and returns a flattened NonEmptyList.
+ */
+export declare const chain: <A, B>(f: (a: A) => NonEmptyList<B>) => ((nel: NonEmptyList<A>) => NonEmptyList<B>);
+/**
+ * Concatenate two nonempty lists.
+ * @param nel2 - The second nonempty list.
+ * @returns A function that takes the first nonempty list and returns their concatenation.
+ */
+export declare const concat: <A>(nel2: NonEmptyList<A>) => ((nel1: NonEmptyList<A>) => NonEmptyList<A>);
+/**
+ * Find the minimum element using a comparator.
+ * @param ord - Comparator function (returns negative if first < second, positive if first > second).
+ * @returns A function that takes a NonEmptyList and returns the minimum element.
+ */
+export declare const min: <A>(ord: (a: A, b: A) => number) => ((nel: NonEmptyList<A>) => A);
+/**
+ * Find the maximum element using a comparator.
+ * @param ord - Comparator function (returns negative if first < second, positive if first > second).
+ * @returns A function that takes a NonEmptyList and returns the maximum element.
+ */
+export declare const max: <A>(ord: (a: A, b: A) => number) => ((nel: NonEmptyList<A>) => A);
+export {};
+//# sourceMappingURL=NonEmptyList.d.ts.map

package/dist/cjs/NonEmptyList.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"NonEmptyList.d.ts","sourceRoot":"","sources":["../../src/NonEmptyList.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC,OAAO,CAAC,MAAM,iBAAiB,EAAE,OAAO,MAAM,CAAC;AAE/C,mEAAmE;AACnE,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG;IACnD,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;CACpC,CAAC;AASF;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,KAAG,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAoE,CAAC;AAEjJ;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,KAAG,YAAY,CAAC,CAAC,CAAqB,CAAC;AAE3F;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,SAAS,CAAC,EAAS,CAAC;AAEtE;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,CAAW,CAAC;AAE3D;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,SAAS,CAAC,EAAkB,CAAC;AAE5E;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,CAAwB,CAAC;AAExE;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,SAAS,CAAC,EAAsB,CAAC;AAEhF;;;;GAIG;AACH,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAG,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,CAEzC,CAAC;AAE5B;;;;GAIG;AACH,eAAO,MAAM,EAAE,GACZ,CAAC,EAAE,CAAC,EAAE,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAG,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,CAShF,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,KAAK,GACf,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,CAU/E,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAChB,CAAC,EAAE,MAAM,YAAY,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,CAEtC,CAAC;AAEpC;;;;GAIG;AACH,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,MAAM,KAAG,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAS7D,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,GAAG,GACb,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,MAAM,KAAG,CAAC,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAS7D,CAAC"}