@typed/guard 0.5.0 → 0.7.0

package/.nvmrc

@@ -0,0 +1 @@
+22

package/biome.json

@@ -0,0 +1,36 @@
+{
+  "organizeImports": {
+    "enabled": true
+  },
+  "linter": {
+    "enabled": true,
+    "rules": {
+      "recommended": true,
+      "suspicious": {
+        "noExplicitAny": "off",
+        "noAssignInExpressions": "off",
+        "noShadowRestrictedNames": "off"
+      },
+      "style": {
+        "noParameterAssign": "off",
+        "noUselessElse": "off"
+      },
+      "complexity": {
+        "noBannedTypes": "off"
+      }
+    }
+  },
+  "formatter": {
+    "enabled": true,
+    "indentStyle": "space",
+    "indentWidth": 2,
+    "lineWidth": 100
+  },
+  "javascript": {
+    "formatter": {
+      "quoteStyle": "single",
+      "trailingCommas": "all",
+      "semicolons": "asNeeded"
+    }
+  }
+}

package/dist/ExtensibleFunction.d.ts

@@ -0,0 +1 @@
+export declare const ExtensibleFunction: new <F extends (...inputs: readonly any[]) => any>(f: F) => F;

package/dist/ExtensibleFunction.js

@@ -0,0 +1,7 @@
+function Extensible(f) {
+    return Object.setPrototypeOf(f, new.target.prototype);
+}
+Extensible.prototype = Function.prototype;
+// Hack to make the type inference work
+export const ExtensibleFunction = Extensible;
+//# sourceMappingURL=ExtensibleFunction.js.map

package/dist/ExtensibleFunction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExtensibleFunction.js","sourceRoot":"","sources":["../src/ExtensibleFunction.ts"],"names":[],"mappings":"AAAA,SAAS,UAAU,CAAO,CAAkB;IAC1C,OAAO,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;AACvD,CAAC;AACD,UAAU,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAA;AAEzC,uCAAuC;AACvC,MAAM,CAAC,MAAM,kBAAkB,GAC7B,UAAiB,CAAA"}

package/dist/Guard.d.ts

@@ -0,0 +1,143 @@
+import { type Cause, type Context, Effect, type Layer, Option, Pipeable, type Predicate, type Runtime, Schema } from 'effect';
+export type Guard<I, O = never, E = never, R = never> = (input: I) => Effect.Effect<Option.Option<O>, E, R> | Effect.Effect<never, E, R>;
+export declare namespace Guard {
+    type Input<T> = [T] extends [Guard<infer I, infer _R, infer _E, infer _O>] ? I : never;
+    type Output<T> = [T] extends [Guard<infer _I, infer O, infer _E, infer _R>] ? O : never;
+    type Error<T> = [T] extends [Guard<infer _I, infer _O, infer E, infer _R>] ? E : never;
+    type Context<T> = [T] extends [Guard<infer _I, infer _O, infer _E, infer R>] ? R : never;
+}
+export declare const identity: <A>(a: A) => Effect.Effect<Option.Option<A>>;
+export declare const compose: {
+    <O, B, E2, R2>(output: Guard<O, B, E2, R2>): <I, R, E>(input: Guard<I, O, E, R>) => Guard<I, B, E | E2, R | R2>;
+    <I, O, E, R, B, E2, R2>(input: Guard<I, O, E, R>, output: Guard<O, B, E2, R2>): Guard<I, B, E | E2, R | R2>;
+};
+export declare const mapEffect: {
+    <O, B, E2, R2>(f: (o: O) => Effect.Effect<B, E2, R2>): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, B, E | E2, R | R2>;
+    <I, O, E, R, B, E2, R2>(guard: Guard<I, O, E, R>, f: (o: O) => Effect.Effect<B, E2, R2>): Guard<I, B, E | E2, R | R2>;
+};
+export declare const map: {
+    <O, B>(f: (o: O) => B): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, B, E, R>;
+    <I, O, E, R, B>(guard: Guard<I, O, E, R>, f: (o: O) => B): Guard<I, B, E, R>;
+};
+export declare const tap: {
+    <O, B, E2, R2>(f: (o: O) => Effect.Effect<B, E2, R2>): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, O, E | E2, R | R2>;
+    <I, O, E, R, B, E2, R2>(guard: Guard<I, O, E, R>, f: (o: O) => Effect.Effect<B, E2, R2>): Guard<I, O, E | E2, R | R2>;
+};
+export declare const filterMap: {
+    <O, B>(f: (o: O) => Option.Option<B>): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, B, E, R>;
+    <I, O, E, R, B>(guard: Guard<I, O, E, R>, f: (o: O) => Option.Option<B>): Guard<I, B, E, R>;
+};
+export declare const filter: {
+    <O, O2 extends O>(predicate: (o: O) => o is O2): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, O, E, R>;
+    <O>(predicate: (o: O) => boolean): <I, R, E>(guard: Guard<I, O, E, R>) => Guard<I, O, E, R>;
+    <I, O, E, R, O2 extends O>(guard: Guard<I, O, E, R>, predicate: (o: O) => o is O2): Guard<I, O, E, R>;
+    <I, O, E, R>(guard: Guard<I, O, E, R>, predicate: (o: O) => boolean): Guard<I, O, E, R>;
+};
+export declare function any<const GS extends Readonly<Record<string, Guard<any, any, any, any>>>>(guards: GS): Guard<AnyInput<GS>, AnyOutput<GS>, Guard.Error<GS[keyof GS]>, Guard.Context<GS[keyof GS]>>;
+export type AnyInput<GS extends Readonly<Record<string, Guard<any, any, any, any>>>> = Guard.Input<GS[keyof GS]>;
+export type AnyOutput<GS extends Readonly<Record<string, Guard<any, any, any, any>>>> = [
+    {
+        [K in keyof GS]: {
+            readonly _tag: K;
+            readonly value: Guard.Output<GS[K]>;
+        };
+    }[keyof GS]
+] extends [infer R] ? R : never;
+export declare function liftPredicate<A, B extends A>(predicate: Predicate.Refinement<A, B>): Guard<A, B>;
+export declare function liftPredicate<A>(predicate: Predicate.Predicate<A>): Guard<A, A>;
+export declare const catchAllCause: {
+    <E = never, O2 = never, E2 = never, R2 = never>(f: (e: Cause.Cause<E>) => Effect.Effect<O2, E2, R2>): <I = never, O = never, R = never>(guard: Guard<I, O, E, R>) => Guard<I, O | O2, E2, R | R2>;
+    <I = never, O = never, E = never, R = never, O2 = never, E2 = never, R2 = never>(guard: Guard<I, O, E, R>, f: (e: Cause.Cause<E>) => Effect.Effect<O2, E2, R2>): Guard<I, O | O2, E2, R | R2>;
+};
+export declare const catchAll: {
+    <E = never, O2 = never, E2 = never, R2 = never>(f: (e: E) => Effect.Effect<O2, E2, R2>): <I = never, O = never, R = never>(guard: Guard<I, O, E, R>) => Guard<I, O | O2, E2, R | R2>;
+    <I = never, O = never, E = never, R = never, O2 = never, E2 = never, R2 = never>(guard: Guard<I, O, E, R>, f: (e: E) => Effect.Effect<O2, E2, R2>): Guard<I, O | O2, E2, R | R2>;
+};
+export declare const catchTag: {
+    <E = never, K extends E extends {
+        _tag: string;
+    } ? E['_tag'] : never = never, O2 = never, E2 = never, R2 = never>(tag: K, f: (e: Extract<E, {
+        _tag: K;
+    }>) => Effect.Effect<O2, E2, R2>): <I = never, O = never, R = never>(guard: Guard<I, O, E, R>) => Guard<I, O | O2, E2 | Exclude<E, {
+        _tag: K;
+    }>, R | R2>;
+    <I = never, O = never, E = never, R = never, K extends E extends {
+        _tag: string;
+    } ? E['_tag'] : never = never, O2 = never, E2 = never, R2 = never>(guard: Guard<I, O, E, R>, tag: K, f: (e: Extract<E, {
+        _tag: K;
+    }>) => Effect.Effect<O2, E2, R2>): Guard<I, O | O2, E2 | Exclude<E, {
+        _tag: K;
+    }>, R | R2>;
+};
+export declare const provide: {
+    <R2>(provided: Context.Context<R2>): <I, O, E, R>(guard: Guard<I, O, E, R>) => Guard<I, O, E, Exclude<R, R2>>;
+    <R2>(provided: Runtime.Runtime<R2>): <I, O, E, R>(guard: Guard<I, O, E, R>) => Guard<I, O, E, Exclude<R, R2>>;
+    <R2, E2, R3>(provided: Layer.Layer<R2, E2, R3>): <I, O, E, R>(guard: Guard<I, O, E, R>) => Guard<I, O, E | E2, Exclude<R, R2> | R3>;
+    <I, O, E, R, R2>(guard: Guard<I, O, E, R>, provided: Context.Context<R2>): Guard<I, O, E, Exclude<R, R2>>;
+    <I, O, E, R, R2>(guard: Guard<I, O, E, R>, provided: Runtime.Runtime<R2>): Guard<I, O, E, Exclude<R, R2>>;
+    <I, O, E, R, R2, E2, R3>(guard: Guard<I, O, E, R>, provided: Layer.Layer<R2, E2, R3>): Guard<I, O, E | E2, Exclude<R, R2> | R3>;
+};
+export declare const provideService: {
+    <Id, S>(tag: Context.Tag<Id, S>, service: S): <I, O, E, R>(guard: Guard<I, O, E, R>) => Guard<I, O, E, Exclude<R, Id>>;
+    <I, O, E, R, Id, S>(guard: Guard<I, O, E, R>, tag: Context.Tag<Id, S>, service: S): Guard<I, O, E, Exclude<R, Id>>;
+};
+export declare const provideServiceEffect: {
+    <Id, S, E2, R2>(tag: Context.Tag<Id, S>, service: Effect.Effect<S, E2, R2>): <I, O, E, R>(guard: Guard<I, O, E, R>) => Guard<I, O, E | E2, Exclude<R, Id> | R2>;
+    <I, O, E, R, Id, S, E2, R2>(guard: Guard<I, O, E, R>, tag: Context.Tag<Id, S>, service: Effect.Effect<S, E2, R2>): Guard<I, O, E | E2, Exclude<R, Id> | R2>;
+};
+export declare function fromSchemaDecode<A, I, R>(schema: Schema.Schema<A, I, R>): Guard<I, A, never, R>;
+export declare function fromSchemaDecodeUnknown<A, I, R>(schema: Schema.Schema<A, I, R>): Guard<unknown, A, never, R>;
+export declare function fromSchemaEncode<A, I, R>(schema: Schema.Schema<A, I, R>): Guard<A, I, never, R>;
+export declare const decode: {
+    <A, O, R2>(schema: Schema.Schema<A, O, R2>): <I, E = never, R = never>(guard: Guard<I, O, E, R>) => Guard<I, A, E, R | R2>;
+    <I, O, E, R, A, R2>(guard: Guard<I, O, E, R>, schema: Schema.Schema<A, O, R2>): Guard<I, A, E, R | R2>;
+};
+export declare const encode: {
+    <O, A, R2>(schema: Schema.Schema<O, A, R2>): <I, E = never, R = never>(guard: Guard<I, O, E, R>) => Guard<I, A, E, R | R2>;
+    <I, O, E, R, A, R2>(guard: Guard<I, O, E, R>, schema: Schema.Schema<O, A, R2>): Guard<I, A, E, R | R2>;
+};
+declare const let_: {
+    <O, K extends PropertyKey, B>(key: K, value: (o: O) => B): <I, E = never, R = never>(guard: Guard<I, O, E, R>) => Guard<I, O & {
+        [k in K]: B;
+    }, E, R>;
+    <I, O, E, R, K extends PropertyKey, B>(guard: Guard<I, O, E, R>, key: K, value: (o: O) => B): Guard<I, O & {
+        [k in K]: B;
+    }, E, R>;
+};
+export { let_ as let };
+export declare const attachProperty: {
+    <K extends PropertyKey, B>(key: K, value: B): <I, O, E, R>(guard: Guard<I, O, E, R>) => Guard<I, O & {
+        readonly [k in K]: B;
+    }, E, R>;
+    <I, O, E, R, K extends PropertyKey, B>(guard: Guard<I, O, E, R>, key: K, value: B): Guard<I, O & {
+        readonly [k in K]: B;
+    }, E, R>;
+};
+export declare const addTag: {
+    <B>(value: B): <I, O, E = never, R = never>(guard: Guard<I, O, E, R>) => Guard<I, O & {
+        readonly _tag: B;
+    }, E, R>;
+    <I, O, E, R, B>(guard: Guard<I, O, E, R>, value: B): Guard<I, O & {
+        readonly _tag: B;
+    }, E, R>;
+};
+export declare const bindTo: {
+    <K extends PropertyKey>(key: K): <I, O, E, R>(guard: Guard<I, O, E, R>) => Guard<I, {
+        [k in K]: O;
+    }, E, R>;
+    <I, O, E, R, K extends PropertyKey>(guard: Guard<I, O, E, R>, key: K): Guard<I, {
+        [k in K]: O;
+    }, E, R>;
+};
+export declare const bind: {
+    <I, O, E, R, K extends PropertyKey, B, E2, R2>(key: K, f: Guard<O, B, E2, R2>): (guard: Guard<I, O, E, R>) => Guard<I, O & {
+        [k in K]: B;
+    }, E | E2, R | R2>;
+    <I, O, E, R, K extends PropertyKey, B, E2, R2>(guard: Guard<I, O, E, R>, key: K, f: Guard<O, B, E2, R2>): Guard<I, O & {
+        [k in K]: B;
+    }, E | E2, R | R2>;
+};
+declare global {
+    interface Function extends Pipeable.Pipeable {
+    }
+}

package/dist/{esm/index.js → Guard.js}

@@ -1,64 +1,30 @@
-/**
- * @since 1.0.0
- */
-import * as Schema from "@effect/schema/Schema";
-import * as Effect from "effect/Effect";
-import { dual } from "effect/Function";
-import * as Option from "effect/Option";
-/**
- * @since 1.0.0
- */
-export const getGuard = (guard) => "asGuard" in guard ? guard.asGuard() : guard;
-/**
- * @since 1.0.0
- */
+import { Effect, Option, Pipeable, Schema, } from 'effect';
+import { dual } from 'effect/Function';
+export const identity = Effect.succeedSome;
 export const compose = dual(2, function flatMap(input, output) {
-    const g1 = getGuard(input);
-    const g2 = getGuard(output);
-    return (i) => Effect.flatMap(g1(i), Option.match({
+    return (i) => Effect.flatMap(input(i), Option.match({
         onNone: () => Effect.succeedNone,
-        onSome: g2
+        onSome: output,
     }));
 });
-/**
- * @since 1.0.0
- */
 export const mapEffect = dual(2, function mapEffect(guard, f) {
     return compose(guard, (o) => Effect.asSome(f(o)));
 });
-/**
- * @since 1.0.0
- */
 export const map = dual(2, function map(guard, f) {
     return mapEffect(guard, (o) => Effect.sync(() => f(o)));
 });
-/**
- * @since 1.0.0
- */
 export const tap = dual(2, function tap(guard, f) {
     return compose(guard, (o) => Effect.as(f(o), Option.some(o)));
 });
-/**
- * @since 1.0.0
- */
 export const filterMap = dual(2, (guard, f) => {
-    const g = getGuard(guard);
-    return (i) => Effect.map(g(i), Option.filterMap(f));
+    return (i) => Effect.map(guard(i), Option.filterMap(f));
 });
-/**
- * @since 1.0.0
- */
 export const filter = dual(2, (guard, predicate) => {
-    const g = getGuard(guard);
-    return (i) => Effect.map(g(i), Option.filter(predicate));
+    return (i) => Effect.map(guard(i), Option.filter(predicate));
 });
-/**
- * @since 1.0.0
- */
 export function any(guards) {
-    const entries = Object.entries(guards).map(([k, v]) => [k, getGuard(v)]);
     return (i) => Effect.gen(function* () {
-        for (const [_tag, guard] of entries) {
+        for (const [_tag, guard] of Object.entries(guards)) {
             const match = yield* guard(i);
             if (Option.isSome(match)) {
                 return Option.some({ _tag, value: match.value });
@@ -70,101 +36,60 @@ export function any(guards) {
 export function liftPredicate(predicate) {
     return (a) => Effect.sync(() => (predicate(a) ? Option.some(a) : Option.none()));
 }
-/**
- * @since 1.0.0
- */
 export const catchAllCause = dual(2, function catchAllCause(guard, f) {
-    const g = getGuard(guard);
-    return (i) => Effect.catchAllCause(g(i), (a) => Effect.asSome(f(a)));
+    return (i) => Effect.catchAllCause(guard(i), (a) => Effect.asSome(f(a)));
 });
-/**
- * @since 1.0.0
- */
 export const catchAll = dual(2, function catchAll(guard, f) {
-    const g = getGuard(guard);
-    return (i) => Effect.catchAll(g(i), (a) => Effect.asSome(f(a)));
+    return (i) => Effect.catchAll(guard(i), (a) => Effect.asSome(f(a)));
 });
-/**
- * @since 1.0.0
- */
 export const catchTag = dual(3, function catchTag(guard, tag, f) {
-    const g = getGuard(guard);
-    return (i) => Effect.catchTag(g(i), tag, (e) => Effect.asSome(f(e)));
+    return (i) => Effect.catchTag(guard(i), tag, (e) => Effect.asSome(f(e)));
 });
-/**
- * @since 1.0.0
- */
 export const provide = dual(2, function provide(guard, provided) {
-    const g = getGuard(guard);
-    return (i) => Effect.provide(g(i), provided);
+    return (i) => Effect.provide(guard(i), provided);
 });
-/**
- * @since 1.0.0
- */
 export const provideService = dual(3, function provideService(guard, tag, service) {
-    const g = getGuard(guard);
-    return (i) => Effect.provideService(g(i), tag, service);
+    return (i) => Effect.provideService(guard(i), tag, service);
 });
-/**
- * @since 1.0.0
- */
 export const provideServiceEffect = dual(3, function provideServiceEffect(guard, tag, service) {
-    const g = getGuard(guard);
-    return (i) => Effect.provideServiceEffect(g(i), tag, service);
+    return (i) => Effect.provideServiceEffect(guard(i), tag, service);
 });
-const parseOptions = { errors: "all", onExcessProperty: "ignore" };
-/**
- * @since 1.0.0
- */
+const parseOptions = { errors: 'all', onExcessProperty: 'ignore' };
 export function fromSchemaDecode(schema) {
     const decode_ = Schema.decode(schema);
-    return (i) => Effect.asSome(decode_(i, parseOptions));
+    return (i) => decode_(i, parseOptions).pipe(Effect.asSome, Effect.catchTag('ParseError', (e) => Effect.succeedNone));
+}
+export function fromSchemaDecodeUnknown(schema) {
+    const decode_ = Schema.decodeUnknown(schema);
+    return (i) => decode_(i, parseOptions).pipe(Effect.asSome, Effect.catchTag('ParseError', () => Effect.succeedNone));
 }
-/**
- * @since 1.0.0
- */
 export function fromSchemaEncode(schema) {
     const encode_ = Schema.encode(schema);
-    return (a) => Effect.asSome(encode_(a, parseOptions));
+    return (a) => encode_(a, parseOptions).pipe(Effect.asSome, Effect.catchTag('ParseError', () => Effect.succeedNone));
 }
-/**
- * @since 1.0.0
- */
 export const decode = dual(2, function decode(guard, schema) {
     return compose(guard, fromSchemaDecode(schema));
 });
-/**
- * @since 1.0.0
- */
 export const encode = dual(2, function encode(guard, schema) {
     return compose(guard, fromSchemaEncode(schema));
 });
-/**
- * @since 1.0.0
- */
-const let_ = dual(3, function attachProperty(guard, key, value) {
+const let_ = dual(3, function let_(guard, key, value) {
+    return map(guard, (a) => ({ ...a, [key]: value(a) }));
+});
+export { let_ as let };
+export const attachProperty = dual(3, function attachProperty(guard, key, value) {
     return map(guard, (a) => ({ ...a, [key]: value }));
 });
-export { 
-/**
- * @since 1.0.0
- */
-let_ as let };
-/**
- * @since 1.0.0
- */
-export const addTag = dual(2, function attachProperty(guard, value) {
+export const addTag = dual(2, function addTag(guard, value) {
     return map(guard, (a) => ({ ...a, _tag: value }));
 });
-/**
- * @since 1.0.0
- */
 export const bindTo = dual(2, (guard, key) => map(guard, (a) => ({ [key]: a })));
-/**
- * @since 1.0.0
- */
 export const bind = dual(3, function bind(guard, key, f) {
     const f_ = bindTo(f, key);
     return compose(guard, (o) => Effect.map(f_(o), Option.map((b) => ({ ...o, ...b }))));
 });
-//# sourceMappingURL=index.js.map
+Function.prototype.pipe = function pipe() {
+    // biome-ignore lint/style/noArguments: This is a pipeable function
+    return Pipeable.pipeArguments(this, arguments);
+};
+//# sourceMappingURL=Guard.js.map

package/dist/Guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Guard.js","sourceRoot":"","sources":["../src/Guard.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,MAAM,EAEN,MAAM,EACN,QAAQ,EAGR,MAAM,GACP,MAAM,QAAQ,CAAA;AACf,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAiBtC,MAAM,CAAC,MAAM,QAAQ,GAAiD,MAAM,CAAC,WAAW,CAAA;AAExF,MAAM,CAAC,MAAM,OAAO,GAQhB,IAAI,CAAC,CAAC,EAAE,SAAS,OAAO,CAQ1B,KAAwB,EAAE,MAA2B;IACrD,OAAO,CAAC,CAAC,EAAE,EAAE,CACX,MAAM,CAAC,OAAO,CACZ,KAAK,CAAC,CAAC,CAAC,EACR,MAAM,CAAC,KAAK,CAAC;QACX,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,WAAW;QAChC,MAAM,EAAE,MAAM;KACf,CAAC,CACH,CAAA;AACL,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,SAAS,GAQlB,IAAI,CAAC,CAAC,EAAE,SAAS,SAAS,CAQ5B,KAAwB,EAAE,CAAqC;IAC/D,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACnD,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,GAAG,GAGZ,IAAI,CAAC,CAAC,EAAE,SAAS,GAAG,CAAgB,KAAwB,EAAE,CAAc;IAM9E,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACzD,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,GAAG,GAQZ,IAAI,CAAC,CAAC,EAAE,SAAS,GAAG,CAQtB,KAAwB,EAAE,CAAqC;IAC/D,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC/D,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,SAAS,GAGlB,IAAI,CACN,CAAC,EACD,CAAgB,KAAwB,EAAE,CAA6B,EAAqB,EAAE;IAC5F,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;AACzD,CAAC,CACF,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAUf,IAAI,CACN,CAAC,EACD,CAAa,KAAwB,EAAE,SAA4B,EAAqB,EAAE;IACxF,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAA;AAC9D,CAAC,CACF,CAAA;AAED,MAAM,UAAU,GAAG,CACjB,MAAU;IAEV,OAAO,CAAC,CAAe,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;YAC7B,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAmB,CAAC,CAAA;YACnE,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC,CAAC,CAAA;AACN,CAAC;AAgBD,MAAM,UAAU,aAAa,CAAI,SAAiC;IAChE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAClF,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAQtB,IAAI,CAAC,CAAC,EAAE,SAAS,aAAa,CAQhC,KAAwB,EAAE,CAAmD;IAM7E,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC1E,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,QAAQ,GAQjB,IAAI,CAAC,CAAC,EAAE,SAAS,QAAQ,CAQ3B,KAAwB,EAAE,CAAsC;IAChE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACrE,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,QAAQ,GA4BjB,IAAI,CAAC,CAAC,EAAE,SAAS,QAAQ,CAS3B,KAAwB,EAAE,GAAM,EAAE,CAA4D;IAM9F,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC1E,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,OAAO,GAuBhB,IAAI,CAAC,CAAC,EAAE,SAAS,OAAO,CAM1B,KAAwB,EAAE,QAA6B;IACvD,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;AAClD,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAUvB,IAAI,CAAC,CAAC,EAAE,SAAS,cAAc,CAOjC,KAAwB,EAAE,GAAuB,EAAE,OAAU;IAC7D,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;AAC7D,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAU7B,IAAI,CAAC,CAAC,EAAE,SAAS,oBAAoB,CASvC,KAAwB,EAAE,GAAuB,EAAE,OAAiC;IAMpF,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;AACnE,CAAC,CAAC,CAAA;AAEF,MAAM,YAAY,GAAiB,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,CAAA;AAEhF,MAAM,UAAU,gBAAgB,CAAU,MAA8B;IACtE,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACrC,OAAO,CAAC,CAAI,EAAE,EAAE,CACd,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAC3B,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CACzD,CAAA;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,MAA8B;IAE9B,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5C,OAAO,CAAC,CAAU,EAAE,EAAE,CACpB,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAC3B,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CACxD,CAAA;AACL,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAU,MAA8B;IACtE,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACrC,OAAO,CAAC,CAAI,EAAE,EAAE,CACd,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAC3B,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CACxD,CAAA;AACL,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GASf,IAAI,CAAC,CAAC,EAAE,SAAS,MAAM,CAOzB,KAAwB,EAAE,MAA+B;IACzD,OAAO,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAA;AACjD,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GASf,IAAI,CAAC,CAAC,EAAE,SAAS,MAAM,CAOzB,KAAwB,EAAE,MAA+B;IACzD,OAAO,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAA;AACjD,CAAC,CAAC,CAAA;AAEF,MAAM,IAAI,GAWN,IAAI,CAAC,CAAC,EAAE,SAAS,IAAI,CAOvB,KAAwB,EAAE,GAAM,EAAE,KAAkB;IACpD,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAwB,CAAC,CAAA;AAC9E,CAAC,CAAC,CAAA;AAEF,OAAO,EAAE,IAAI,IAAI,GAAG,EAAE,CAAA;AAEtB,MAAM,CAAC,MAAM,cAAc,GAWvB,IAAI,CAAC,CAAC,EAAE,SAAS,cAAc,CAOjC,KAAwB,EAAE,GAAM,EAAE,KAAQ;IAC1C,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAiC,CAAC,CAAA;AACpF,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAQf,IAAI,CAAC,CAAC,EAAE,SAAS,MAAM,CAAgB,KAAwB,EAAE,KAAQ;IAM3E,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAA6B,CAAC,CAAA;AAC/E,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAQf,IAAI,CACN,CAAC,EACD,CACE,KAAwB,EACxB,GAAM,EAC2B,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAoB,CAAC,CAC3F,CAAA;AAED,MAAM,CAAC,MAAM,IAAI,GAWb,IAAI,CAAC,CAAC,EAAE,SAAS,IAAI,CASvB,KAAwB,EAAE,GAAM,EAAE,CAAsB;IAMxD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAEzB,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1B,MAAM,CAAC,GAAG,CACR,EAAE,CAAC,CAAC,CAAC,EACL,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CACpC,CACF,CAAA;AACH,CAAC,CAAC,CAAA;AAMF,QAAQ,CAAC,SAAS,CAAC,IAAI,GAAG,SAAS,IAAI;IACrC,mEAAmE;IACnE,OAAO,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;AAChD,CAAC,CAAA"}

package/dist/Guardable.d.ts

@@ -0,0 +1,10 @@
+import { Pipeable } from 'effect';
+import { ExtensibleFunction } from './ExtensibleFunction';
+import type { Guard } from './Guard.js';
+export declare const GUARDABLE: unique symbol;
+export type GUARDABLE = typeof GUARDABLE;
+export declare abstract class Guardable<I, O, E = never, R = never> extends ExtensibleFunction<Guard<I, O, E, R>> implements Pipeable.Pipeable {
+    constructor();
+    abstract readonly [GUARDABLE]: Guard<I, O, E, R>;
+    pipe(): unknown;
+}

package/dist/Guardable.js

@@ -0,0 +1,13 @@
+import { Pipeable } from 'effect';
+import { ExtensibleFunction } from './ExtensibleFunction';
+export const GUARDABLE = Symbol.for('@typed/guard/Guardable');
+export class Guardable extends ExtensibleFunction {
+    constructor() {
+        super((input) => this[GUARDABLE](input));
+    }
+    pipe() {
+        // biome-ignore lint/style/noArguments: This is a pipeable function
+        return Pipeable.pipeArguments(this, arguments);
+    }
+}
+//# sourceMappingURL=Guardable.js.map

package/dist/Guardable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Guardable.js","sourceRoot":"","sources":["../src/Guardable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAGzD,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAA;AAG7D,MAAM,OAAgB,SAAsC,SAAQ,kBAEnE;IACC;QACE,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IAC1C,CAAC;IAID,IAAI;QACF,mEAAmE;QACnE,OAAO,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IAChD,CAAC;CACF"}

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+export * from './ExtensibleFunction.js';
+export * from './Guard.js';
+export * from './Guardable.js';

package/dist/index.js

@@ -0,0 +1,4 @@
+export * from './ExtensibleFunction.js';
+export * from './Guard.js';
+export * from './Guardable.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,yBAAyB,CAAA;AACvC,cAAc,YAAY,CAAA;AAC1B,cAAc,gBAAgB,CAAA"}

package/package.json

@@ -1,27 +1,35 @@
 {
   "name": "@typed/guard",
-  "version": "0.5.0",
-  "description": "",
+  "version": "0.7.0",
+  "description": "Guards with Effect",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "type": "module",
+  "keywords": [
+    "guard",
+    "effect",
+    "typescript"
+  ],
+  "author": "Tylor Steinberger <tlsteinberger167@gmail.com>",
   "license": "MIT",
-  "repository": {
-    "type": "git",
-    "url": "https://github.com/tylors/typed.git"
-  },
-  "sideEffects": [],
-  "author": "Typed contributors",
   "dependencies": {
-    "@effect/schema": "^0.68.1",
-    "effect": "^3.3.5"
+    "effect": "^3.11.9"
+  },
+  "peerDependencies": {
+    "effect": "^3.11.9"
+  },
+  "devDependencies": {
+    "@biomejs/biome": "^1.9.4",
+    "@effect/vitest": "^0.16.0",
+    "typescript": "^5.4.2",
+    "vitest": "^2.1.8"
   },
-  "main": "./dist/cjs/index.js",
-  "module": "./dist/esm/index.js",
-  "types": "./dist/dts/index.d.ts",
-  "exports": {
-    "./package.json": "./package.json",
-    ".": {
-      "types": "./dist/dts/index.d.ts",
-      "import": "./dist/esm/index.js",
-      "default": "./dist/cjs/index.js"
-    }
+  "scripts": {
+    "build": "tsc",
+    "dev": "tsc --watch",
+    "lint": "biome lint --write",
+    "test:watch": "vitest --typecheck",
+    "test": "vitest run --typecheck",
+    "typecheck": "tsc --noEmit"
   }
 }