@typed/guard 0.7.2 → 1.0.0-beta.0

package/biome.json

@@ -1,36 +0,0 @@
-{
-  "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

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

package/dist/ExtensibleFunction.js

@@ -1,7 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,143 +0,0 @@
-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>;
-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/Guard.js

@@ -1,95 +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) {
-    return (i) => Effect.flatMap(input(i), Option.match({
-        onNone: () => Effect.succeedNone,
-        onSome: output,
-    }));
-});
-export const mapEffect = dual(2, function mapEffect(guard, f) {
-    return compose(guard, (o) => Effect.asSome(f(o)));
-});
-export const map = dual(2, function map(guard, f) {
-    return mapEffect(guard, (o) => Effect.sync(() => f(o)));
-});
-export const tap = dual(2, function tap(guard, f) {
-    return compose(guard, (o) => Effect.as(f(o), Option.some(o)));
-});
-export const filterMap = dual(2, (guard, f) => {
-    return (i) => Effect.map(guard(i), Option.filterMap(f));
-});
-export const filter = dual(2, (guard, predicate) => {
-    return (i) => Effect.map(guard(i), Option.filter(predicate));
-});
-export function any(guards) {
-    return (i) => Effect.gen(function* () {
-        for (const [_tag, guard] of Object.entries(guards)) {
-            const match = yield* guard(i);
-            if (Option.isSome(match)) {
-                return Option.some({ _tag, value: match.value });
-            }
-        }
-        return Option.none();
-    });
-}
-export function liftPredicate(predicate) {
-    return (a) => Effect.sync(() => (predicate(a) ? Option.some(a) : Option.none()));
-}
-export const catchAllCause = dual(2, function catchAllCause(guard, f) {
-    return (i) => Effect.catchAllCause(guard(i), (a) => Effect.asSome(f(a)));
-});
-export const catchAll = dual(2, function catchAll(guard, f) {
-    return (i) => Effect.catchAll(guard(i), (a) => Effect.asSome(f(a)));
-});
-export const catchTag = dual(3, function catchTag(guard, tag, f) {
-    return (i) => Effect.catchTag(guard(i), tag, (e) => Effect.asSome(f(e)));
-});
-export const provide = dual(2, function provide(guard, provided) {
-    return (i) => Effect.provide(guard(i), provided);
-});
-export const provideService = dual(3, function provideService(guard, tag, service) {
-    return (i) => Effect.provideService(guard(i), tag, service);
-});
-export const provideServiceEffect = dual(3, function provideServiceEffect(guard, tag, service) {
-    return (i) => Effect.provideServiceEffect(guard(i), tag, service);
-});
-const parseOptions = { errors: 'all', onExcessProperty: 'ignore' };
-export function fromSchemaDecode(schema) {
-    const decode_ = Schema.decode(schema);
-    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));
-}
-export function fromSchemaEncode(schema) {
-    const encode_ = Schema.encode(schema);
-    return (a) => encode_(a, parseOptions).pipe(Effect.asSome, Effect.catchTag('ParseError', () => Effect.succeedNone));
-}
-export const decode = dual(2, function decode(guard, schema) {
-    return compose(guard, fromSchemaDecode(schema));
-});
-export const encode = dual(2, function encode(guard, schema) {
-    return compose(guard, fromSchemaEncode(schema));
-});
-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 const addTag = dual(2, function addTag(guard, value) {
-    return map(guard, (a) => ({ ...a, _tag: value }));
-});
-export const bindTo = dual(2, (guard, key) => map(guard, (a) => ({ [key]: a })));
-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 }))));
-});
-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

@@ -1 +0,0 @@
-{"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

@@ -1,10 +0,0 @@
-import { Pipeable } from 'effect';
-import { ExtensibleFunction } from './ExtensibleFunction.js';
-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

@@ -1,13 +0,0 @@
-import { Pipeable } from 'effect';
-import { ExtensibleFunction } from './ExtensibleFunction.js';
-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

@@ -1 +0,0 @@
-{"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,yBAAyB,CAAA;AAG5D,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAA;AAG7D,MAAM,OAAgB,SACpB,SAAQ,kBAAqC;IAG7C;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.js.map

@@ -1 +0,0 @@
-{"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/readme.md

@@ -1,199 +0,0 @@
-# @typed/guard
-
-[![npm version](https://badge.fury.io/js/%40typed%2Fguard.svg)](https://badge.fury.io/js/%40typed%2Fguard)
-[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
-
-A powerful, type-safe runtime validation library built on top of [Effect](https://effect.website/). `@typed/guard` provides a flexible and composable way to validate and transform data with full type inference and runtime safety.
-
-## Features
-
-- 🛡️ **Type-safe Guards**: Runtime validation with complete type inference
-- 🔄 **Effect Integration**: Seamless integration with Effect's ecosystem
-- 🎯 **Composable**: Rich set of combinators for building complex validations
-- 🌳 **Tree-shakeable**: Only import what you need
-- 🔍 **Schema Integration**: First-class support for Effect's Schema
-- ⚡ **Zero Dependencies**: Only requires Effect as a peer dependency
-
-## Installation
-
-```bash
-# Using npm
-npm install @typed/guard effect
-
-# Using yarn
-yarn add @typed/guard effect
-
-# Using pnpm
-pnpm add @typed/guard effect
-```
-
-## Quick Start
-
-```typescript
-import * as Guard from '@typed/guard'
-import { Effect, Option } from 'effect'
-
-// Simple number validation
-const isPositive = Guard.liftPredicate((n: number) => n > 0)
-
-// Usage
-const result = Effect.runSync(isPositive(5))  // Option.some(5)
-const invalid = Effect.runSync(isPositive(-1)) // Option.none()
-
-// Composing guards
-const toString = Guard.map(isPositive, n => n.toString())
-const result2 = Effect.runSync(toString(5)) // Option.some("5")
-```
-
-## Core Concepts
-
-### Guards
-
-A Guard is a function that takes an input and returns an `Effect` containing an `Option` of the output:
-
-```typescript
-type Guard<I, O = never, E = never, R = never> = 
-  (input: I) => Effect.Effect<Option.Option<O>, E, R>
-```
-
-- `I`: Input type
-- `O`: Output type
-- `E`: Error type
-- `R`: Required context
-
-### Key Operations
-
-#### Composition
-
-```typescript
-const numberToString = (n: number) =>
-  Effect.succeed(n > 5 ? Option.some(n.toString()) : Option.none())
-
-const stringToLength = (s: string) =>
-  Effect.succeed(s.length > 1 ? Option.some(s.length) : Option.none())
-
-// Compose them together
-const composed: Guard<number, number> = Guard.compose(numberToString, stringLength)
-```
-
-#### Filtering and Mapping
-
-```typescript
-// Filter values
-const evenNumbers = Guard.filter(isPositive, n => n % 2 === 0)
-
-// Map values with effects
-const asyncTransform = Guard.mapEffect(isPositive, n => 
-  Effect.promise(() => Promise.resolve(n * 2))
-)
-```
-
-#### Error Handling
-
-```typescript
-const withRecovery = Guard.catchAll(
-  failingGuard,
-  error => Effect.succeed(`Recovered from: ${error}`)
-)
-
-const withTaggedRecovery = Guard.catchTag(
-  failingGuard,
-  'ValidationError',
-  error => Effect.succeed(`Invalid input: ${error.message}`)
-)
-```
-
-#### Schema Integration
-
-```typescript
-import { Schema } from 'effect'
-
-const PersonSchema = Schema.Struct({
-  name: Schema.string,
-  age: Schema.number
-})
-
-const personGuard = Guard.fromSchemaDecode(PersonSchema)
-const personGuard = Guard.fromSchemaDecodeUnknown(PersonSchema)
-const personGuard = Guard.fromSchemaEncode(PersonSchema)
-```
-
-## Advanced Usage
-
-### Pattern Matching with `any`
-
-```typescript
-const numberOrString = Guard.any({
-  number: Guard.liftPredicate((n): n is number => typeof n === 'number'),
-  string: Guard.liftPredicate((s): s is string => typeof s === 'string')
-})
-
-// Returns: { _tag: 'number', value: 123 }
-Effect.runSync(numberOrString(123))
-
-// Returns: { _tag: 'string', value: 'hello' }
-Effect.runSync(numberOrString('hello'))
-```
-
-### Property Binding
-
-```typescript
-import { pipe } from 'effect'
-
-const complexGuard = pipe(
-  Guard.identity<number>,
-  Guard.bindTo('value'),
-  Guard.bind('asString', ({ value }) => 
-    Effect.succeedSome(value.toString())
-  ),
-  Guard.let('asBigInt', ({ asString }) => 
-    BigInt(asString)
-  )
-)
-
-// Returns: { value: 123, asString: '123', asBigInt: 123n }
-Effect.runSync(complexGuard(123))
-```
-
-### Creating Reusable Guards with `Guardable`
-
-The `Guardable` class allows you to create reusable guards as classes. This is particularly useful when you need to create guards that are also data structures
-
-```typescript
-import { Guardable, GUARDABLE } from '@typed/guard'
-import { Effect } from 'effect'
-
-// Create a guard that multiplies numbers by a configurable value
-class MultiplyGuard extends Guardable<number, number> {
-  constructor(readonly multiplier: number) {
-    super()
-  }
-
-  // Implement the GUARDABLE symbol to define the guard's behavior
-  [GUARDABLE] = (input: number) => 
-    Effect.succeedSome(input * this.multiplier)
-}
-
-// Create an instance with a specific multiplier
-const multiplyByThree = new MultiplyGuard(3)
-
-// Use it like a regular guard function
-Effect.runSync(multiplyByThree(4)) // Option.some(12)
-
-// It's pipeable too!
-
-const guard = multiplyByThree.pipe(
-  Guard.map(n => n.toString()),
-)
-
-Effect.runSync(guard(4)) // Option.some("12")
-```
-
-## Contributing
-
-Contributions are welcome! Please feel free to submit a Pull Request.
-
-## License
-
-MIT © [Tylor Steinberger](https://github.com/TylorS)
-

package/src/ExtensibleFunction.test.ts

@@ -1,102 +0,0 @@
-import { describe, expect, it } from '@effect/vitest'
-import { ExtensibleFunction } from './ExtensibleFunction.js'
-
-describe('ExtensibleFunction', () => {
-  it('should create a function that can be called normally', () => {
-    const add = new ExtensibleFunction((x: number) => x + 1)
-    expect(add(1)).toBe(2)
-  })
-
-  it('should allow extending the function with additional properties', () => {
-    class EnhancedFunction extends ExtensibleFunction<(x: number) => number> {
-      description: string
-
-      constructor(fn: (x: number) => number, description: string) {
-        super(fn)
-        this.description = description
-      }
-    }
-
-    const add = new EnhancedFunction((x: number) => x + 1, 'adds one')
-    expect(add(1)).toBe(2)
-    expect(add.description).toBe('adds one')
-  })
-
-  it('should maintain function properties like length and name', () => {
-    const namedFn = function addOne(x: number) {
-      return x + 1
-    }
-    const add = new ExtensibleFunction(namedFn)
-    expect(add.length).toBe(1)
-    expect(add.name).toBe('addOne')
-  })
-
-  it('should work with async functions', async () => {
-    const asyncAdd = new ExtensibleFunction(async (x: number) => {
-      return x + 1
-    })
-    expect(await asyncAdd(1)).toBe(2)
-  })
-
-  it('should preserve this context in methods', () => {
-    class Calculator extends ExtensibleFunction<(x: number) => number> {
-      private multiplier: number
-
-      constructor(multiplier: number) {
-        super((x: number) => this.multiply(x))
-        this.multiplier = multiplier
-      }
-
-      private multiply(x: number): number {
-        return x * this.multiplier
-      }
-    }
-
-    const calc = new Calculator(2)
-    expect(calc(3)).toBe(6)
-  })
-
-  it('should handle multiple arguments correctly', () => {
-    const add = new ExtensibleFunction((a: number, b: number) => a + b)
-    expect(add(1, 2)).toBe(3)
-  })
-
-  it('should work with generic functions', () => {
-    const identity = new ExtensibleFunction(<T>(x: T) => x)
-    expect(identity(42)).toBe(42)
-    expect(identity('test')).toBe('test')
-  })
-
-  it('should throw when constructed without arguments', () => {
-    expect(() => new ExtensibleFunction(undefined as any)).toThrow()
-  })
-
-  it('should maintain proper error stack traces', () => {
-    class Throws<E> extends ExtensibleFunction<(cause: E) => never> {
-      constructor() {
-        super((cause) => {
-          throw cause
-        })
-      }
-    }
-
-    const throws = new Throws<Error>()
-
-    try {
-      throws(new Error('test error'))
-    } catch (e) {
-      expect(e instanceof Error).toBe(true)
-      expect(e.stack).toBeDefined()
-      expect(e.message).toBe('test error')
-    }
-  })
-
-  it('should allow function composition', () => {
-    const add1 = new ExtensibleFunction((x: number) => x + 1)
-    const multiply2 = new ExtensibleFunction((x: number) => x * 2)
-    const composed = new ExtensibleFunction((x: number) => multiply2(add1(x)))
-    expect(composed(3)).toBe(8) // (3 + 1) * 2
-  })
-
-  it('should allow class decorator', () => {})
-})

package/src/ExtensibleFunction.ts

@@ -1,8 +0,0 @@
-function Extensible<I, O>(f: (input: I) => O): (input: I) => O {
-  return Object.setPrototypeOf(f, new.target.prototype)
-}
-Extensible.prototype = Function.prototype
-
-// Hack to make the type inference work
-export const ExtensibleFunction: new <F extends (...inputs: readonly any[]) => any>(f: F) => F =
-  Extensible as any