mini-effect 0.0.1 → 0.0.3

package/dist/mini-effect.d.mts

@@ -31,7 +31,7 @@ type inferInput<T> = T extends PipeableThunk<any, any, infer I> ? I : never;
 type inferReturn<T> = T extends WrapEffect<infer R> ? R : T extends Effect<infer R> ? R : T extends PipeableThunk<infer R> ? R : never;
 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> : T;
+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 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;

package/dist/schema.d.mts

@@ -1,9 +1,11 @@
 import { Effect } from "./mini-effect.mjs";
+import { FailureConstructor } from "./tag.mjs";
 import * as v from "valibot";
 export * from "valibot";
 
 //#region src/schema.d.ts
 type Schema = v.BaseSchema<unknown, unknown, v.BaseIssue<unknown>> | v.BaseSchemaAsync<unknown, unknown, v.BaseIssue<unknown>>;
-declare const validate: <const S extends Schema>(schema: S) => (value: unknown) => Effect<v.InferOutput<S>, never>;
+declare const FaildToValidateError: FailureConstructor<"FailedToValidate">;
+declare const validate: <const S extends Schema>(schema: S) => (value: unknown) => Effect<v.InferOutput<S>, InstanceType<typeof FaildToValidateError>>;
 //#endregion
 export { Schema, validate };

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "mini-effect",
   "type": "module",
-  "version": "0.0.1",
+  "version": "0.0.3",
   "description": "A mini-effect library for TypeScript.",
   "author": "Jacob Ebey <jacob.ebey@live.com>",
   "license": "MIT",
@@ -14,9 +14,9 @@
     "url": "https://github.com/jacob-ebey/mini-effect/issues"
   },
   "exports": {
+    ".": "./dist/mini-effect.mjs",
     "./concurrency": "./dist/concurrency.mjs",
     "./fetch": "./dist/fetch.mjs",
-    "./mini-effect": "./dist/mini-effect.mjs",
     "./schema": "./dist/schema.mjs",
     "./tag": "./dist/tag.mjs",
     "./package.json": "./package.json"