mini-effect 0.0.3 → 0.0.5

package/dist/fetch.d.mts

@@ -1,13 +1,14 @@
 import { Effect } from "./mini-effect.mjs";
-import { FailureConstructor } from "./tag.mjs";
+import { Failure, FailureConstructor } from "./tag.mjs";
 
 //#region src/fetch.d.ts
+declare const FailedToFetchError: FailureConstructor<"FailedToFetch">;
 declare const FailedToReadError: FailureConstructor<"FailedToRead">;
-declare const request: (input: string | URL, init?: RequestInit) => Effect<Response, never>;
-declare const blob: (response: Response) => Effect<any, never>;
-declare const bytes: (response: Response) => Effect<any, never>;
-declare const formData: (response: Response) => Effect<any, never>;
-declare const json: (response: Response) => Effect<unknown, typeof FailedToReadError>;
-declare const text: (response: Response) => Effect<any, never>;
+declare const request: (input: string | URL, init?: RequestInit) => Effect<Response, InstanceType<typeof FailedToFetchError>>;
+declare const blob: (response: Response) => Effect<Blob, Failure<"FailedToRead">>;
+declare const bytes: (response: Response) => Effect<Uint8Array<ArrayBuffer>, Failure<"FailedToRead">>;
+declare const formData: (response: Response) => Effect<FormData, Failure<"FailedToRead">>;
+declare const json: (response: Response) => Effect<unknown, InstanceType<typeof FailedToReadError>>;
+declare const text: (response: Response) => Effect<string, Failure<"FailedToRead">>;
 //#endregion
 export { blob, bytes, formData, json, request, text };

package/dist/mini-effect.d.mts

@@ -10,6 +10,7 @@ declare const succeed: <R$1>(result: R$1) => Effect<R$1, never>;
 declare const catchSome: <T = any, C = any, CE = any>(thunk: (cause: unknown) => Effect<T, C> | undefined) => WrapEffect<T, C, CE>;
 declare const gen: <T extends Effect<any, any>, TReturn, TNext>(thunk: (signal: AbortSignal) => Generator<T, TReturn, TNext>) => Effect<TReturn, inferError<T>>;
 declare const pipe: <F extends Effect, P$1 extends [Pipeable, ...Pipeable[]]>(first: F, ...pipeable: PipeReturn<[F, ...P$1]> extends never ? never : P$1) => PipeReturn<[F, ...P$1]>;
+declare const retry: <R$1 extends number | "forever", T, C>(times: R$1, effect: Effect<T, C>) => Effect<T, R$1 extends "forever" ? never : C>;
 declare class Effect<T = any, C = any> {
   [RUN]?: (signal: AbortSignal) => T | PromiseLike<T>;
   [ERROR]?: (cause: unknown) => Effect | undefined;
@@ -32,10 +33,10 @@ type inferReturn<T> = T extends WrapEffect<infer R> ? R : T extends Effect<infer
 type inferError<T> = T extends PipeableThunk<any, infer E> ? E : T extends WrapEffect<any, infer E> ? E : T extends Effect<any, infer E> ? E : never;
 type inferExclude<T> = T extends WrapEffect<any, any, infer CE> ? CE : never;
 type Simplify<T> = T extends Effect<infer R, infer E> ? Effect<R, E> : never;
-type PipeReturn<F extends Pipeable[]> = IsNever<CheckPipe<F>> extends true ? never : Simplify<Effect<inferReturn<CheckPipe<F>> | inferReturn<Extract<F[number], WrapEffect<any, any, any>>>, Exclude<inferError<CheckPipe<F>>, inferExclude<F[number]>>>>;
+type PipeReturn<F extends Pipeable[]> = IsNever<CheckPipe<F>> extends true ? never : Simplify<Effect<inferReturn<CheckPipe<F>> | inferReturn<Extract<F[number], WrapEffect>>, Exclude<inferError<F[number]>, inferExclude<Extract<F[number], WrapEffect>>>>>;
 type CheckPipe<F extends Pipeable[]> = F extends [Effect, WrapEffect, ...infer R] ? R extends [Pipeable, ...Pipeable[]] ? CheckPipe<R> : F[0] : F extends [Pipeable, Pipeable, ...infer P] ? ExtendsStrict<inferReturn<F[0]>, inferInput<F[1]>> extends true ? P extends Pipeable[] ? CheckPipe<[F[1], ...P]> : never : never : F extends [WrapEffect] ? Effect<inferReturn<F[0]>> : F extends [Pipeable] ? F[0] : never;
 type IsNever<T> = [T] extends [never] ? true : false;
 type IsAny<T> = 0 extends 1 & NoInfer<T> ? true : false;
 type ExtendsStrict<Left, Right> = IsAny<Left | Right> extends true ? true : IsNever<Left> extends true ? IsNever<Right> : [Left] extends [Right] ? true : false;
 //#endregion
-export { Effect, Pipeable, PipeableThunk, Thunk, WrapEffect, run as _run, run, catchSome, fail, fn, gen, inferError, inferExclude, inferInput, inferReturn, pipe, succeed };
+export { Effect, Pipeable, PipeableThunk, Thunk, WrapEffect, run as _run, run, catchSome, fail, fn, gen, inferError, inferExclude, inferInput, inferReturn, pipe, retry, succeed };

package/dist/mini-effect.mjs

@@ -45,6 +45,10 @@ const pipe = (first, ...pipeable) => {
 		return next;
 	});
 };
+const retry = (times, effect) => {
+	let step = 0;
+	return effect.pipe(catchSome((cause) => typeof times === "number" && ++step > times ? fail(cause) : effect));
+};
 var Effect = class {
 	[RUN];
 	[ERROR];
@@ -97,4 +101,4 @@ var WrapEffect = class {
 };
 
 //#endregion
-export { Effect, WrapEffect, run as _run, run, catchSome, fail, fn, gen, pipe, succeed };
+export { Effect, WrapEffect, run as _run, run, catchSome, fail, fn, gen, pipe, retry, succeed };

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "mini-effect",
   "type": "module",
-  "version": "0.0.3",
+  "version": "0.0.5",
   "description": "A mini-effect library for TypeScript.",
   "author": "Jacob Ebey <jacob.ebey@live.com>",
   "license": "MIT",