@typed/guard 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2023-present The Contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,5 @@
+# @typed/guard
+
+> WIP
+
+Docs: https://tylors.github.io/typed/docs/guard

package/dist/cjs/index.js

@@ -0,0 +1,123 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.any = any;
+exports.getGuard = exports.filterMap = exports.filter = exports.compose = exports.catchAllCause = exports.catchAll = void 0;
+exports.liftPredicate = liftPredicate;
+exports.tap = exports.provideServiceEffect = exports.provideService = exports.provide = exports.mapEffect = exports.map = void 0;
+var Effect = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Effect"));
+var _Function = /*#__PURE__*/require("effect/Function");
+var Option = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Option"));
+function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return null; var r = new WeakMap(), t = new WeakMap(); return (_getRequireWildcardCache = function (e) { return e ? t : r; })(e); }
+function _interopRequireWildcard(e, r) { if (!r && e && e.__esModule) return e; if (null === e || "object" != typeof e && "function" != typeof e) return { default: e }; var t = _getRequireWildcardCache(r); if (t && t.has(e)) return t.get(e); var n = { __proto__: null }, a = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var u in e) if ("default" !== u && Object.prototype.hasOwnProperty.call(e, u)) { var i = a ? Object.getOwnPropertyDescriptor(e, u) : null; i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u]; } return n.default = e, t && t.set(e, n), n; }
+/**
+ * @since 1.0.0
+ */
+
+/**
+ * @since 1.0.0
+ */
+const getGuard = guard => "asGuard" in guard ? guard.asGuard() : guard;
+/**
+ * @since 1.0.0
+ */
+exports.getGuard = getGuard;
+const compose = exports.compose = /*#__PURE__*/(0, _Function.dual)(2, function flatMap(input, output) {
+  const g1 = getGuard(input);
+  const g2 = getGuard(output);
+  return i => Effect.flatMap(g1(i), Option.match({
+    onNone: () => Effect.succeedNone,
+    onSome: g2
+  }));
+});
+/**
+ * @since 1.0.0
+ */
+const mapEffect = exports.mapEffect = /*#__PURE__*/(0, _Function.dual)(2, function mapEffect(guard, f) {
+  return compose(guard, o => Effect.asSome(f(o)));
+});
+/**
+ * @since 1.0.0
+ */
+const map = exports.map = /*#__PURE__*/(0, _Function.dual)(2, function map(guard, f) {
+  return mapEffect(guard, o => Effect.sync(() => f(o)));
+});
+/**
+ * @since 1.0.0
+ */
+const tap = exports.tap = /*#__PURE__*/(0, _Function.dual)(2, function tap(guard, f) {
+  return compose(guard, o => Effect.as(f(o), Option.some(o)));
+});
+/**
+ * @since 1.0.0
+ */
+const filterMap = exports.filterMap = /*#__PURE__*/(0, _Function.dual)(2, (guard, f) => {
+  const g = getGuard(guard);
+  return i => Effect.map(g(i), Option.filterMap(f));
+});
+/**
+ * @since 1.0.0
+ */
+const filter = exports.filter = /*#__PURE__*/(0, _Function.dual)(2, (guard, predicate) => {
+  const g = getGuard(guard);
+  return i => Effect.map(g(i), Option.filter(predicate));
+});
+/**
+ * @since 1.0.0
+ */
+function any(guards) {
+  const entries = Object.entries(guards);
+  return i => Effect.gen(function* (_) {
+    for (const [_tag, guard] of entries) {
+      const match = yield* _(getGuard(guard)(i));
+      if (Option.isSome(match)) {
+        return Option.some({
+          _tag,
+          value: match.value
+        });
+      }
+    }
+    return Option.none();
+  });
+}
+function liftPredicate(predicate) {
+  return a => Effect.sync(() => predicate(a) ? Option.some(a) : Option.none());
+}
+/**
+ * @since 1.0.0
+ */
+const catchAllCause = exports.catchAllCause = /*#__PURE__*/(0, _Function.dual)(2, function catchAllCause(guard, f) {
+  const g = getGuard(guard);
+  return i => Effect.catchAllCause(g(i), a => Effect.asSome(f(a)));
+});
+/**
+ * @since 1.0.0
+ */
+const catchAll = exports.catchAll = /*#__PURE__*/(0, _Function.dual)(2, function catchAll(guard, f) {
+  const g = getGuard(guard);
+  return i => Effect.catchAll(g(i), a => Effect.asSome(f(a)));
+});
+/**
+ * @since 1.0.0
+ */
+const provide = exports.provide = /*#__PURE__*/(0, _Function.dual)(2, function provide(guard, provided) {
+  const g = getGuard(guard);
+  return i => Effect.provide(g(i), provided);
+});
+/**
+ * @since 1.0.0
+ */
+const provideService = exports.provideService = /*#__PURE__*/(0, _Function.dual)(3, function provideService(guard, tag, service) {
+  const g = getGuard(guard);
+  return i => Effect.provideService(g(i), tag, service);
+});
+/**
+ * @since 1.0.0
+ */
+const provideServiceEffect = exports.provideServiceEffect = /*#__PURE__*/(0, _Function.dual)(3, function provideServiceEffect(guard, tag, service) {
+  const g = getGuard(guard);
+  return i => Effect.provideServiceEffect(g(i), tag, service);
+});
+//# sourceMappingURL=index.js.map

package/dist/cjs/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","names":["Effect","_interopRequireWildcard","require","_Function","Option","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","getGuard","guard","asGuard","exports","compose","dual","flatMap","input","output","g1","g2","match","onNone","succeedNone","onSome","mapEffect","f","o","asSome","map","sync","tap","as","some","filterMap","g","filter","predicate","any","guards","entries","gen","_","_tag","isSome","value","none","liftPredicate","catchAllCause","catchAll","provide","provided","provideService","tag","service","provideServiceEffect"],"sources":["../../src/index.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;AAKA,IAAAA,MAAA,gBAAAC,uBAAA,eAAAC,OAAA;AACA,IAAAC,SAAA,gBAAAD,OAAA;AACA,IAAAE,MAAA,gBAAAH,uBAAA,eAAAC,OAAA;AAAuC,SAAAG,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAL,wBAAAK,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAI,UAAA,SAAAJ,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAK,OAAA,EAAAL,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAG,GAAA,CAAAN,CAAA,UAAAG,CAAA,CAAAI,GAAA,CAAAP,CAAA,OAAAQ,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAd,CAAA,oBAAAc,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAjB,CAAA,EAAAc,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAb,CAAA,EAAAc,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAd,CAAA,CAAAc,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAgB,GAAA,CAAAnB,CAAA,EAAAQ,CAAA,GAAAA,CAAA;AAPvC;;;;AA2DA;;;AAGO,MAAMY,QAAQ,GAAgCC,KAA6B,IAChF,SAAS,IAAIA,KAAK,GAAGA,KAAK,CAACC,OAAO,EAAE,GAAGD,KAAK;AAE9C;;;AAAAE,OAAA,CAAAH,QAAA,GAAAA,QAAA;AAGO,MAAMI,OAAO,GAAAD,OAAA,CAAAC,OAAA,gBAKhB,IAAAC,cAAI,EAAC,CAAC,EAAE,SAASC,OAAOA,CAC1BC,KAA6B,EAC7BC,MAAgC;EAEhC,MAAMC,EAAE,GAAGT,QAAQ,CAACO,KAAK,CAAC;EAC1B,MAAMG,EAAE,GAAGV,QAAQ,CAACQ,MAAM,CAAC;EAC3B,OAAQV,CAAC,IACPxB,MAAM,CAACgC,OAAO,CACZG,EAAE,CAACX,CAAC,CAAC,EACLpB,MAAM,CAACiC,KAAK,CAAC;IACXC,MAAM,EAAEA,CAAA,KAAMtC,MAAM,CAACuC,WAAW;IAChCC,MAAM,EAAEJ;GACT,CAAC,CACH;AACL,CAAC,CAAC;AAEF;;;AAGO,MAAMK,SAAS,GAAAZ,OAAA,CAAAY,SAAA,gBAQlB,IAAAV,cAAI,EAAC,CAAC,EAAE,SAASU,SAASA,CAC5Bd,KAA6B,EAC7Be,CAAqC;EAErC,OAAOZ,OAAO,CAACH,KAAK,EAAGgB,CAAC,IAAK3C,MAAM,CAAC4C,MAAM,CAACF,CAAC,CAACC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF;;;AAGO,MAAME,GAAG,GAAAhB,OAAA,CAAAgB,GAAA,gBAGZ,IAAAd,cAAI,EAAC,CAAC,EAAE,SAASc,GAAGA,CACtBlB,KAA6B,EAC7Be,CAAc;EAEd,OAAOD,SAAS,CAACd,KAAK,EAAGgB,CAAC,IAAK3C,MAAM,CAAC8C,IAAI,CAAC,MAAMJ,CAAC,CAACC,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF;;;AAGO,MAAMI,GAAG,GAAAlB,OAAA,CAAAkB,GAAA,gBAQZ,IAAAhB,cAAI,EAAC,CAAC,EAAE,SAASgB,GAAGA,CACtBpB,KAA6B,EAC7Be,CAAqC;EAErC,OAAOZ,OAAO,CAACH,KAAK,EAAGgB,CAAC,IAAK3C,MAAM,CAACgD,EAAE,CAACN,CAAC,CAACC,CAAC,CAAC,EAAEvC,MAAM,CAAC6C,IAAI,CAACN,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF;;;AAGO,MAAMO,SAAS,GAAArB,OAAA,CAAAqB,SAAA,gBAGlB,IAAAnB,cAAI,EACN,CAAC,EACD,CAAgBJ,KAA6B,EAAEe,CAA6B,KAAuB;EACjG,MAAMS,CAAC,GAAGzB,QAAQ,CAACC,KAAK,CAAC;EACzB,OAAQH,CAAC,IAAKxB,MAAM,CAAC6C,GAAG,CAACM,CAAC,CAAC3B,CAAC,CAAC,EAAEpB,MAAM,CAAC8C,SAAS,CAACR,CAAC,CAAC,CAAC;AACrD,CAAC,CACF;AAED;;;AAGO,MAAMU,MAAM,GAAAvB,OAAA,CAAAuB,MAAA,gBAKf,IAAArB,cAAI,EACN,CAAC,EACD,CAAaJ,KAA6B,EAAE0B,SAA4B,KAAuB;EAC7F,MAAMF,CAAC,GAAGzB,QAAQ,CAACC,KAAK,CAAC;EACzB,OAAQH,CAAC,IAAKxB,MAAM,CAAC6C,GAAG,CAACM,CAAC,CAAC3B,CAAC,CAAC,EAAEpB,MAAM,CAACgD,MAAM,CAACC,SAAS,CAAC,CAAC;AAC1D,CAAC,CACF;AAED;;;AAGM,SAAUC,GAAGA,CACjBC,MAAU;EAEV,MAAMC,OAAO,GAAGvC,MAAM,CAACuC,OAAO,CAACD,MAAM,CAAC;EACtC,OAAQ/B,CAAe,IACrBxB,MAAM,CAACyD,GAAG,CAAC,WAAUC,CAAC;IACpB,KAAK,MAAM,CAACC,IAAI,EAAEhC,KAAK,CAAC,IAAI6B,OAAO,EAAE;MACnC,MAAMnB,KAAK,GAAG,OAAOqB,CAAC,CAAChC,QAAQ,CAACC,KAAK,CAAC,CAACH,CAAC,CAAC,CAAC;MAC1C,IAAIpB,MAAM,CAACwD,MAAM,CAACvB,KAAK,CAAC,EAAE;QACxB,OAAOjC,MAAM,CAAC6C,IAAI,CAAC;UAAEU,IAAI;UAAEE,KAAK,EAAExB,KAAK,CAACwB;QAAK,CAAmB,CAAC;MACnE;IACF;IACA,OAAOzD,MAAM,CAAC0D,IAAI,EAAE;EACtB,CAAC,CAAC;AACN;AAyBM,SAAUC,aAAaA,CAAIV,SAAiC;EAChE,OAAQrC,CAAC,IAAKhB,MAAM,CAAC8C,IAAI,CAAC,MAAOO,SAAS,CAACrC,CAAC,CAAC,GAAGZ,MAAM,CAAC6C,IAAI,CAACjC,CAAC,CAAC,GAAGZ,MAAM,CAAC0D,IAAI,EAAG,CAAC;AAClF;AAEA;;;AAGO,MAAME,aAAa,GAAAnC,OAAA,CAAAmC,aAAA,gBAQtB,IAAAjC,cAAI,EAAC,CAAC,EAAE,SAASiC,aAAaA,CAChCrC,KAA6B,EAC7Be,CAAmD;EAEnD,MAAMS,CAAC,GAAGzB,QAAQ,CAACC,KAAK,CAAC;EACzB,OAAQH,CAAC,IAAKxB,MAAM,CAACgE,aAAa,CAACb,CAAC,CAAC3B,CAAC,CAAC,EAAGR,CAAC,IAAKhB,MAAM,CAAC4C,MAAM,CAACF,CAAC,CAAC1B,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF;;;AAGO,MAAMiD,QAAQ,GAAApC,OAAA,CAAAoC,QAAA,gBAQjB,IAAAlC,cAAI,EAAC,CAAC,EAAE,SAASkC,QAAQA,CAC3BtC,KAA6B,EAC7Be,CAAsC;EAEtC,MAAMS,CAAC,GAAGzB,QAAQ,CAACC,KAAK,CAAC;EACzB,OAAQH,CAAC,IAAKxB,MAAM,CAACiE,QAAQ,CAACd,CAAC,CAAC3B,CAAC,CAAC,EAAGR,CAAC,IAAKhB,MAAM,CAAC4C,MAAM,CAACF,CAAC,CAAC1B,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC,CAAC;AAEF;;;AAGO,MAAMkD,OAAO,GAAArC,OAAA,CAAAqC,OAAA,gBAehB,IAAAnC,cAAI,EAAC,CAAC,EAAE,SAASmC,OAAOA,CAC1BvC,KAA6B,EAC7BwC,QAA6B;EAE7B,MAAMhB,CAAC,GAAGzB,QAAQ,CAACC,KAAK,CAAC;EACzB,OAAQH,CAAC,IAAKxB,MAAM,CAACkE,OAAO,CAACf,CAAC,CAAC3B,CAAC,CAAC,EAAE2C,QAAQ,CAAC;AAC9C,CAAC,CAAC;AAEF;;;AAGO,MAAMC,cAAc,GAAAvC,OAAA,CAAAuC,cAAA,gBAUvB,IAAArC,cAAI,EAAC,CAAC,EAAE,SAASqC,cAAcA,CACjCzC,KAA6B,EAC7B0C,GAAuB,EACvBC,OAAU;EAEV,MAAMnB,CAAC,GAAGzB,QAAQ,CAACC,KAAK,CAAC;EACzB,OAAQH,CAAC,IAAKxB,MAAM,CAACoE,cAAc,CAACjB,CAAC,CAAC3B,CAAC,CAAC,EAAE6C,GAAG,EAAEC,OAAO,CAAC;AACzD,CAAC,CAAC;AAEF;;;AAGO,MAAMC,oBAAoB,GAAA1C,OAAA,CAAA0C,oBAAA,gBAU7B,IAAAxC,cAAI,EAAC,CAAC,EAAE,SAASwC,oBAAoBA,CACvC5C,KAA6B,EAC7B0C,GAAuB,EACvBC,OAAiC;EAEjC,MAAMnB,CAAC,GAAGzB,QAAQ,CAACC,KAAK,CAAC;EACzB,OAAQH,CAAC,IAAKxB,MAAM,CAACuE,oBAAoB,CAACpB,CAAC,CAAC3B,CAAC,CAAC,EAAE6C,GAAG,EAAEC,OAAO,CAAC;AAC/D,CAAC,CAAC"}

package/dist/dts/index.d.ts

@@ -0,0 +1,155 @@
+/**
+ * @since 1.0.0
+ */
+import type { Cause, Context, Layer, Predicate, Runtime } from "effect";
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+/**
+ * @since 1.0.0
+ */
+export type Guard<in I, out O, out E = never, out R = never> = (input: I) => Effect.Effect<Option.Option<O>, E, R>;
+/**
+ * @since 1.0.0
+ */
+export declare namespace Guard {
+    /**
+     * @since 1.0.0
+     */
+    type Input<T> = T extends Guard<infer I, infer _R, infer _E, infer _O> ? I : T extends AsGuard<infer I, infer _R, infer _E, infer _O> ? I : never;
+    /**
+     * @since 1.0.0
+     */
+    type Context<T> = T extends Guard<infer _I, infer _O, infer _E, infer R> ? R : T extends AsGuard<infer _I, infer _O, infer _E, infer R> ? R : never;
+    /**
+     * @since 1.0.0
+     */
+    type Error<T> = T extends Guard<infer _I, infer _O, infer E, infer _R> ? E : T extends AsGuard<infer _I, infer _O, infer E, infer _R> ? E : never;
+    /**
+     * @since 1.0.0
+     */
+    type Output<T> = T extends Guard<infer _I, infer O, infer _E, infer _R> ? O : T extends AsGuard<infer _I, infer O, infer _E, infer _R> ? O : never;
+}
+/**
+ * @since 1.0.0
+ */
+export interface AsGuard<in I, out O, out E = never, out R = never> {
+    readonly asGuard: () => Guard<I, O, E, R>;
+}
+/**
+ * @since 1.0.0
+ */
+export type GuardInput<I, O, E = never, R = never> = Guard<I, O, E, R> | AsGuard<I, O, E, R>;
+/**
+ * @since 1.0.0
+ */
+export declare const getGuard: <I, O, E = never, R = never>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E, R>;
+/**
+ * @since 1.0.0
+ */
+export declare const compose: {
+    <O, B, E2, R2>(output: GuardInput<O, B, E2, R2>): <I, R, E>(input: GuardInput<I, O, E, R>) => Guard<I, B, E | E2, R | R2>;
+    <I, O, E, R, B, E2, R2>(input: GuardInput<I, O, E, R>, output: GuardInput<O, B, E2, R2>): Guard<I, B, E | E2, R | R2>;
+};
+/**
+ * @since 1.0.0
+ */
+export declare const mapEffect: {
+    <O, B, E2, R2>(f: (o: O) => Effect.Effect<B, E2, R2>): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, B, E | E2, R | R2>;
+    <I, O, E, R, B, E2, R2>(guard: GuardInput<I, O, E, R>, f: (o: O) => Effect.Effect<B, E2, R2>): Guard<I, B, E | E2, R | R2>;
+};
+/**
+ * @since 1.0.0
+ */
+export declare const map: {
+    <O, B>(f: (o: O) => B): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, B, E, R>;
+    <I, O, E, R, B>(guard: GuardInput<I, O, E, R>, f: (o: O) => B): Guard<I, B, E, R>;
+};
+/**
+ * @since 1.0.0
+ */
+export declare const tap: {
+    <O, B, E2, R2>(f: (o: O) => Effect.Effect<B, E2, R2>): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E | E2, R | R2>;
+    <I, O, E, R, B, E2, R2>(guard: GuardInput<I, O, E, R>, f: (o: O) => Effect.Effect<B, E2, R2>): Guard<I, O, E | E2, R | R2>;
+};
+/**
+ * @since 1.0.0
+ */
+export declare const filterMap: {
+    <O, B>(f: (o: O) => Option.Option<B>): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, B, E, R>;
+    <I, O, E, R, B>(guard: GuardInput<I, O, E, R>, f: (o: O) => Option.Option<B>): Guard<I, B, E, R>;
+};
+/**
+ * @since 1.0.0
+ */
+export declare const filter: {
+    <O, O2 extends O>(predicate: (o: O) => o is O2): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E, R>;
+    <O>(predicate: (o: O) => boolean): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E, R>;
+    <I, O, E, R, O2 extends O>(guard: GuardInput<I, O, E, R>, predicate: (o: O) => o is O2): Guard<I, O, E, R>;
+    <I, O, E, R>(guard: GuardInput<I, O, E, R>, predicate: (o: O) => boolean): Guard<I, O, E, R>;
+};
+/**
+ * @since 1.0.0
+ */
+export declare function any<const GS extends Readonly<Record<string, GuardInput<any, any, any, any>>>>(guards: GS): Guard<AnyInput<GS>, AnyOutput<GS>, Guard.Error<GS[keyof GS]>, Guard.Context<GS[keyof GS]>>;
+/**
+ * @since 1.0.0
+ */
+export type AnyInput<GS extends Readonly<Record<string, GuardInput<any, any, any, any>>>> = UnionToIntersection<Guard.Input<GS[keyof GS]>>;
+type UnionToIntersection<T> = (T extends any ? (x: T) => any : never) extends (x: infer R) => any ? R : never;
+/**
+ * @since 1.0.0
+ */
+export type AnyOutput<GS extends Readonly<Record<string, GuardInput<any, any, any, any>>>> = [
+    {
+        [K in keyof GS]: {
+            readonly _tag: K;
+            readonly value: Guard.Output<GS[K]>;
+        };
+    }[keyof GS]
+] extends [infer R] ? R : never;
+/**
+ * @since 1.0.0
+ */
+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>;
+/**
+ * @since 1.0.0
+ */
+export declare const catchAllCause: {
+    <E, O2, E2, R2>(f: (e: Cause.Cause<E>) => Effect.Effect<O2, E2, R2>): <I, O, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O | O2, E2, R | R2>;
+    <I, O, E, R, O2, E2, R2>(guard: GuardInput<I, O, E, R>, f: (e: Cause.Cause<E>) => Effect.Effect<O2, E2, R2>): Guard<I, O | O2, E2, R | R2>;
+};
+/**
+ * @since 1.0.0
+ */
+export declare const catchAll: {
+    <E, O2, E2, R2>(f: (e: E) => Effect.Effect<O2, E2, R2>): <I, O, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O | O2, E2, R | R2>;
+    <I, O, E, R, O2, E2, R2>(guard: GuardInput<I, O, E, R>, f: (e: E) => Effect.Effect<O2, E2, R2>): Guard<I, O | O2, E2, R | R2>;
+};
+/**
+ * @since 1.0.0
+ */
+export declare const provide: {
+    <R2>(provided: Context.Context<R2>): <I, O, E, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E, Exclude<R, R2>>;
+    <R2>(provided: Runtime.Runtime<R2>): <I, O, E, R>(guard: GuardInput<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: GuardInput<I, O, E, R>) => Guard<I, O, E | E2, Exclude<R, R2> | R3>;
+    <I, O, E, R, R2>(guard: GuardInput<I, O, E, R>, provided: Context.Context<R2>): Guard<I, O, E, Exclude<R, R2>>;
+    <I, O, E, R, R2>(guard: GuardInput<I, O, E, R>, provided: Runtime.Runtime<R2>): Guard<I, O, E, Exclude<R, R2>>;
+    <I, O, E, R, R2, E2, R3>(guard: GuardInput<I, O, E, R>, provided: Layer.Layer<R2, E2, R3>): Guard<I, O, E | E2, Exclude<R, R2> | R3>;
+};
+/**
+ * @since 1.0.0
+ */
+export declare const provideService: {
+    <Id, S>(tag: Context.Tag<Id, S>, service: S): <I, O, E, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E, Exclude<R, Id>>;
+    <I, O, E, R, Id, S>(guard: GuardInput<I, O, E, R>, tag: Context.Tag<Id, S>, service: S): Guard<I, O, E, Exclude<R, Id>>;
+};
+/**
+ * @since 1.0.0
+ */
+export declare const provideServiceEffect: {
+    <Id, S, E2, R2>(tag: Context.Tag<Id, S>, service: Effect.Effect<S, E2, R2>): <I, O, E, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E | E2, Exclude<R, Id> | R2>;
+    <I, O, E, R, Id, S, E2, R2>(guard: GuardInput<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 {};
+//# sourceMappingURL=index.d.ts.map

package/dist/dts/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AACvE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAElH;;GAEG;AACH,yBAAiB,KAAK,CAAC;IACrB;;OAEG;IACH,KAAY,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAC/E,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAC1D,KAAK,CAAA;IAET;;OAEG;IACH,KAAY,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GACjF,CAAC,SAAS,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAC1D,KAAK,CAAA;IAET;;OAEG;IACH,KAAY,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAC7E,CAAC,SAAS,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAC5D,KAAK,CAAA;IAET;;OAEG;IACH,KAAY,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAC9E,CAAC,SAAS,OAAO,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAC5D,KAAK,CAAA;CACV;AAED;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK;IAChE,QAAQ,CAAC,OAAO,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC1C;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAE5F;;GAEG;AACH,eAAO,MAAM,QAAQ,kFACyB,CAAA;AAE9C;;GAEG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACX,MAAM,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAC/B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAC1E,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAerH,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACX,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GACpC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAC1E,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACpB,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GACpC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAM9B,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACrF,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAMjF,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACX,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GACpC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAC1E,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACpB,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GACpC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAM9B,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAOjG,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC9G,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAChG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1G,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAO7F,CAAA;AAED;;GAEG;AACH,wBAAgB,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAC3F,MAAM,EAAE,EAAE,GACT,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAY5F;AAED;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,mBAAmB,CAC7G,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAC1B,CAAA;AAED,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK,CAAA;AAE7G;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI;IAC3F;SACG,CAAC,IAAI,MAAM,EAAE,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;SAAE;KAC3E,CAAC,MAAM,EAAE,CAAC;CACZ,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE/B;;GAEG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACjG,wBAAgB,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAKhF;;GAEG;AACH,eAAO,MAAM,aAAa,EAAE;IAC1B,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EACZ,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAClD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAC3E,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EACrB,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAClD,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAO/B,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EACZ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GACrC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAC3E,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EACrB,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC7B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GACrC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAO/B,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CAAC,EAAE,EACD,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,GAC5B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAChF,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAClH,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EACT,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAChC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAE1F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC9G,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC9G,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EACrB,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC7B,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAChC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAO3C,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,cAAc,EAAE;IAC3B,CAAC,EAAE,EAAE,CAAC,EACJ,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EACvB,OAAO,EAAE,CAAC,GACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAChF,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAChB,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC7B,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EACvB,OAAO,EAAE,CAAC,GACT,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;CAQjC,CAAA;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE;IACjC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACZ,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EACvB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAChC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;IAC1F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACxB,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC7B,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EACvB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAChC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA;CAQ3C,CAAA"}

package/dist/esm/index.js

@@ -0,0 +1,107 @@
+/**
+ * @since 1.0.0
+ */
+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
+ */
+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({
+        onNone: () => Effect.succeedNone,
+        onSome: g2
+    }));
+});
+/**
+ * @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));
+});
+/**
+ * @since 1.0.0
+ */
+export const filter = dual(2, (guard, predicate) => {
+    const g = getGuard(guard);
+    return (i) => Effect.map(g(i), Option.filter(predicate));
+});
+/**
+ * @since 1.0.0
+ */
+export function any(guards) {
+    const entries = Object.entries(guards);
+    return (i) => Effect.gen(function* (_) {
+        for (const [_tag, guard] of entries) {
+            const match = yield* _(getGuard(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()));
+}
+/**
+ * @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)));
+});
+/**
+ * @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)));
+});
+/**
+ * @since 1.0.0
+ */
+export const provide = dual(2, function provide(guard, provided) {
+    const g = getGuard(guard);
+    return (i) => Effect.provide(g(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);
+});
+/**
+ * @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);
+});
+//# sourceMappingURL=index.js.map

package/dist/esm/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAoDvC;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAA6B,KAA6B,EAAqB,EAAE,CACvG,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,CAAA;AAE9C;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAKhB,IAAI,CAAC,CAAC,EAAE,SAAS,OAAO,CAC1B,KAA6B,EAC7B,MAAgC;IAEhC,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC1B,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC3B,OAAO,CAAC,CAAC,EAAE,EAAE,CACX,MAAM,CAAC,OAAO,CACZ,EAAE,CAAC,CAAC,CAAC,EACL,MAAM,CAAC,KAAK,CAAC;QACX,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,WAAW;QAChC,MAAM,EAAE,EAAE;KACX,CAAC,CACH,CAAA;AACL,CAAC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAQlB,IAAI,CAAC,CAAC,EAAE,SAAS,SAAS,CAC5B,KAA6B,EAC7B,CAAqC;IAErC,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;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GAGZ,IAAI,CAAC,CAAC,EAAE,SAAS,GAAG,CACtB,KAA6B,EAC7B,CAAc;IAEd,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;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GAQZ,IAAI,CAAC,CAAC,EAAE,SAAS,GAAG,CACtB,KAA6B,EAC7B,CAAqC;IAErC,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;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAGlB,IAAI,CACN,CAAC,EACD,CAAgB,KAA6B,EAAE,CAA6B,EAAqB,EAAE;IACjG,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACzB,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;AACrD,CAAC,CACF,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAKf,IAAI,CACN,CAAC,EACD,CAAa,KAA6B,EAAE,SAA4B,EAAqB,EAAE;IAC7F,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACzB,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAA;AAC1D,CAAC,CACF,CAAA;AAED;;GAEG;AACH,MAAM,UAAU,GAAG,CACjB,MAAU;IAEV,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,CAAC,CAAe,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAC,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;YAC1C,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;AAyBD,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;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAQtB,IAAI,CAAC,CAAC,EAAE,SAAS,aAAa,CAChC,KAA6B,EAC7B,CAAmD;IAEnD,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACzB,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACtE,CAAC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAQjB,IAAI,CAAC,CAAC,EAAE,SAAS,QAAQ,CAC3B,KAA6B,EAC7B,CAAsC;IAEtC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACzB,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACjE,CAAC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAehB,IAAI,CAAC,CAAC,EAAE,SAAS,OAAO,CAC1B,KAA6B,EAC7B,QAA6B;IAE7B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACzB,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;AAC9C,CAAC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAUvB,IAAI,CAAC,CAAC,EAAE,SAAS,cAAc,CACjC,KAA6B,EAC7B,GAAuB,EACvB,OAAU;IAEV,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACzB,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;AACzD,CAAC,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAU7B,IAAI,CAAC,CAAC,EAAE,SAAS,oBAAoB,CACvC,KAA6B,EAC7B,GAAuB,EACvB,OAAiC;IAEjC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACzB,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;AAC/D,CAAC,CAAC,CAAA"}

package/dist/esm/package.json

@@ -0,0 +1,4 @@
+{
+  "type": "module",
+  "sideEffects": []
+}

package/package.json

@@ -0,0 +1,25 @@
+{
+  "name": "@typed/guard",
+  "version": "0.1.0",
+  "description": "",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/tylors/typed.git"
+  },
+  "sideEffects": [],
+  "author": "Typed contributors",
+  "dependencies": {},
+  "peerDependencies": {},
+  "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"
+    }
+  }
+}

package/src/index.ts

@@ -0,0 +1,321 @@
+/**
+ * @since 1.0.0
+ */
+
+import type { Cause, Context, Layer, Predicate, Runtime } from "effect"
+import * as Effect from "effect/Effect"
+import { dual } from "effect/Function"
+import * as Option from "effect/Option"
+
+/**
+ * @since 1.0.0
+ */
+export type Guard<in I, out O, out E = never, out R = never> = (input: I) => Effect.Effect<Option.Option<O>, E, R>
+
+/**
+ * @since 1.0.0
+ */
+export namespace Guard {
+  /**
+   * @since 1.0.0
+   */
+  export type Input<T> = T extends Guard<infer I, infer _R, infer _E, infer _O> ? I :
+    T extends AsGuard<infer I, infer _R, infer _E, infer _O> ? I
+    : never
+
+  /**
+   * @since 1.0.0
+   */
+  export type Context<T> = T extends Guard<infer _I, infer _O, infer _E, infer R> ? R :
+    T extends AsGuard<infer _I, infer _O, infer _E, infer R> ? R
+    : never
+
+  /**
+   * @since 1.0.0
+   */
+  export type Error<T> = T extends Guard<infer _I, infer _O, infer E, infer _R> ? E
+    : T extends AsGuard<infer _I, infer _O, infer E, infer _R> ? E
+    : never
+
+  /**
+   * @since 1.0.0
+   */
+  export type Output<T> = T extends Guard<infer _I, infer O, infer _E, infer _R> ? O
+    : T extends AsGuard<infer _I, infer O, infer _E, infer _R> ? O
+    : never
+}
+
+/**
+ * @since 1.0.0
+ */
+export interface AsGuard<in I, out O, out E = never, out R = never> {
+  readonly asGuard: () => Guard<I, O, E, R>
+}
+
+/**
+ * @since 1.0.0
+ */
+export type GuardInput<I, O, E = never, R = never> = Guard<I, O, E, R> | AsGuard<I, O, E, R>
+
+/**
+ * @since 1.0.0
+ */
+export const getGuard = <I, O, E = never, R = never>(guard: GuardInput<I, O, E, R>): Guard<I, O, E, R> =>
+  "asGuard" in guard ? guard.asGuard() : guard
+
+/**
+ * @since 1.0.0
+ */
+export const compose: {
+  <O, B, E2, R2>(
+    output: GuardInput<O, B, E2, R2>
+  ): <I, R, E>(input: GuardInput<I, O, E, R>) => Guard<I, B, E | E2, R | R2>
+  <I, O, E, R, B, E2, R2>(input: GuardInput<I, O, E, R>, output: GuardInput<O, B, E2, R2>): Guard<I, B, E | E2, R | R2>
+} = dual(2, function flatMap<I, O, E, R, B, E2, R2>(
+  input: GuardInput<I, O, E, R>,
+  output: GuardInput<O, B, E2, R2>
+): Guard<I, B, E | E2, R | R2> {
+  const g1 = getGuard(input)
+  const g2 = getGuard(output)
+  return (i) =>
+    Effect.flatMap(
+      g1(i),
+      Option.match({
+        onNone: () => Effect.succeedNone,
+        onSome: g2
+      })
+    )
+})
+
+/**
+ * @since 1.0.0
+ */
+export const mapEffect: {
+  <O, B, E2, R2>(
+    f: (o: O) => Effect.Effect<B, E2, R2>
+  ): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, B, E | E2, R | R2>
+  <I, O, E, R, B, E2, R2>(
+    guard: GuardInput<I, O, E, R>,
+    f: (o: O) => Effect.Effect<B, E2, R2>
+  ): Guard<I, B, E | E2, R | R2>
+} = dual(2, function mapEffect<I, O, E, R, B, E2, R2>(
+  guard: GuardInput<I, O, E, R>,
+  f: (o: O) => Effect.Effect<B, E2, R2>
+): Guard<I, B, E | E2, R | R2> {
+  return compose(guard, (o) => Effect.asSome(f(o)))
+})
+
+/**
+ * @since 1.0.0
+ */
+export const map: {
+  <O, B>(f: (o: O) => B): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, B, E, R>
+  <I, O, E, R, B>(guard: GuardInput<I, O, E, R>, f: (o: O) => B): Guard<I, B, E, R>
+} = dual(2, function map<I, O, E, R, B>(
+  guard: GuardInput<I, O, E, R>,
+  f: (o: O) => B
+): Guard<I, B, E, R> {
+  return mapEffect(guard, (o) => Effect.sync(() => f(o)))
+})
+
+/**
+ * @since 1.0.0
+ */
+export const tap: {
+  <O, B, E2, R2>(
+    f: (o: O) => Effect.Effect<B, E2, R2>
+  ): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E | E2, R | R2>
+  <I, O, E, R, B, E2, R2>(
+    guard: GuardInput<I, O, E, R>,
+    f: (o: O) => Effect.Effect<B, E2, R2>
+  ): Guard<I, O, E | E2, R | R2>
+} = dual(2, function tap<I, O, E, R, B, E2, R2>(
+  guard: GuardInput<I, O, E, R>,
+  f: (o: O) => Effect.Effect<B, E2, R2>
+): Guard<I, O, E | E2, R | R2> {
+  return compose(guard, (o) => Effect.as(f(o), Option.some(o)))
+})
+
+/**
+ * @since 1.0.0
+ */
+export const filterMap: {
+  <O, B>(f: (o: O) => Option.Option<B>): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, B, E, R>
+  <I, O, E, R, B>(guard: GuardInput<I, O, E, R>, f: (o: O) => Option.Option<B>): Guard<I, B, E, R>
+} = dual(
+  2,
+  <I, O, E, R, B>(guard: GuardInput<I, O, E, R>, f: (o: O) => Option.Option<B>): Guard<I, B, E, R> => {
+    const g = getGuard(guard)
+    return (i) => Effect.map(g(i), Option.filterMap(f))
+  }
+)
+
+/**
+ * @since 1.0.0
+ */
+export const filter: {
+  <O, O2 extends O>(predicate: (o: O) => o is O2): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E, R>
+  <O>(predicate: (o: O) => boolean): <I, R, E>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E, R>
+  <I, O, E, R, O2 extends O>(guard: GuardInput<I, O, E, R>, predicate: (o: O) => o is O2): Guard<I, O, E, R>
+  <I, O, E, R>(guard: GuardInput<I, O, E, R>, predicate: (o: O) => boolean): Guard<I, O, E, R>
+} = dual(
+  2,
+  <I, O, E, R>(guard: GuardInput<I, O, E, R>, predicate: (o: O) => boolean): Guard<I, O, E, R> => {
+    const g = getGuard(guard)
+    return (i) => Effect.map(g(i), Option.filter(predicate))
+  }
+)
+
+/**
+ * @since 1.0.0
+ */
+export function any<const GS extends Readonly<Record<string, GuardInput<any, any, any, any>>>>(
+  guards: GS
+): Guard<AnyInput<GS>, AnyOutput<GS>, Guard.Error<GS[keyof GS]>, Guard.Context<GS[keyof GS]>> {
+  const entries = Object.entries(guards)
+  return (i: AnyInput<GS>) =>
+    Effect.gen(function*(_) {
+      for (const [_tag, guard] of entries) {
+        const match = yield* _(getGuard(guard)(i))
+        if (Option.isSome(match)) {
+          return Option.some({ _tag, value: match.value } as AnyOutput<GS>)
+        }
+      }
+      return Option.none()
+    })
+}
+
+/**
+ * @since 1.0.0
+ */
+export type AnyInput<GS extends Readonly<Record<string, GuardInput<any, any, any, any>>>> = UnionToIntersection<
+  Guard.Input<GS[keyof GS]>
+>
+
+type UnionToIntersection<T> = (T extends any ? (x: T) => any : never) extends (x: infer R) => any ? R : never
+
+/**
+ * @since 1.0.0
+ */
+export type AnyOutput<GS extends Readonly<Record<string, GuardInput<any, any, any, any>>>> = [
+  {
+    [K in keyof GS]: { readonly _tag: K; readonly value: Guard.Output<GS[K]> }
+  }[keyof GS]
+] extends [infer R] ? R : never
+
+/**
+ * @since 1.0.0
+ */
+export function liftPredicate<A, B extends A>(predicate: Predicate.Refinement<A, B>): Guard<A, B>
+export function liftPredicate<A>(predicate: Predicate.Predicate<A>): Guard<A, A>
+export function liftPredicate<A>(predicate: Predicate.Predicate<A>): Guard<A, A> {
+  return (a) => Effect.sync(() => (predicate(a) ? Option.some(a) : Option.none()))
+}
+
+/**
+ * @since 1.0.0
+ */
+export const catchAllCause: {
+  <E, O2, E2, R2>(
+    f: (e: Cause.Cause<E>) => Effect.Effect<O2, E2, R2>
+  ): <I, O, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O | O2, E2, R | R2>
+  <I, O, E, R, O2, E2, R2>(
+    guard: GuardInput<I, O, E, R>,
+    f: (e: Cause.Cause<E>) => Effect.Effect<O2, E2, R2>
+  ): Guard<I, O | O2, E2, R | R2>
+} = dual(2, function catchAllCause<I, O, E, R, O2, E2, R2>(
+  guard: GuardInput<I, O, E, R>,
+  f: (e: Cause.Cause<E>) => Effect.Effect<O2, E2, R2>
+): Guard<I, O | O2, E2, R | R2> {
+  const g = getGuard(guard)
+  return (i) => Effect.catchAllCause(g(i), (a) => Effect.asSome(f(a)))
+})
+
+/**
+ * @since 1.0.0
+ */
+export const catchAll: {
+  <E, O2, E2, R2>(
+    f: (e: E) => Effect.Effect<O2, E2, R2>
+  ): <I, O, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O | O2, E2, R | R2>
+  <I, O, E, R, O2, E2, R2>(
+    guard: GuardInput<I, O, E, R>,
+    f: (e: E) => Effect.Effect<O2, E2, R2>
+  ): Guard<I, O | O2, E2, R | R2>
+} = dual(2, function catchAll<I, O, E, R, O2, E2, R2>(
+  guard: GuardInput<I, O, E, R>,
+  f: (e: E) => Effect.Effect<O2, E2, R2>
+): Guard<I, O | O2, E2, R | R2> {
+  const g = getGuard(guard)
+  return (i) => Effect.catchAll(g(i), (a) => Effect.asSome(f(a)))
+})
+
+/**
+ * @since 1.0.0
+ */
+export const provide: {
+  <R2>(
+    provided: Context.Context<R2>
+  ): <I, O, E, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E, Exclude<R, R2>>
+  <R2>(provided: Runtime.Runtime<R2>): <I, O, E, R>(guard: GuardInput<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: GuardInput<I, O, E, R>) => Guard<I, O, E | E2, Exclude<R, R2> | R3>
+
+  <I, O, E, R, R2>(guard: GuardInput<I, O, E, R>, provided: Context.Context<R2>): Guard<I, O, E, Exclude<R, R2>>
+  <I, O, E, R, R2>(guard: GuardInput<I, O, E, R>, provided: Runtime.Runtime<R2>): Guard<I, O, E, Exclude<R, R2>>
+  <I, O, E, R, R2, E2, R3>(
+    guard: GuardInput<I, O, E, R>,
+    provided: Layer.Layer<R2, E2, R3>
+  ): Guard<I, O, E | E2, Exclude<R, R2> | R3>
+} = dual(2, function provide<I, O, E, R, R2>(
+  guard: GuardInput<I, O, E, R>,
+  provided: Context.Context<R2>
+): Guard<I, O, E, Exclude<R, R2>> {
+  const g = getGuard(guard)
+  return (i) => Effect.provide(g(i), provided)
+})
+
+/**
+ * @since 1.0.0
+ */
+export const provideService: {
+  <Id, S>(
+    tag: Context.Tag<Id, S>,
+    service: S
+  ): <I, O, E, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E, Exclude<R, Id>>
+  <I, O, E, R, Id, S>(
+    guard: GuardInput<I, O, E, R>,
+    tag: Context.Tag<Id, S>,
+    service: S
+  ): Guard<I, O, E, Exclude<R, Id>>
+} = dual(3, function provideService<I, O, E, R, Id, S>(
+  guard: GuardInput<I, O, E, R>,
+  tag: Context.Tag<Id, S>,
+  service: S
+): Guard<I, O, E, Exclude<R, Id>> {
+  const g = getGuard(guard)
+  return (i) => Effect.provideService(g(i), tag, service)
+})
+
+/**
+ * @since 1.0.0
+ */
+export const provideServiceEffect: {
+  <Id, S, E2, R2>(
+    tag: Context.Tag<Id, S>,
+    service: Effect.Effect<S, E2, R2>
+  ): <I, O, E, R>(guard: GuardInput<I, O, E, R>) => Guard<I, O, E | E2, Exclude<R, Id> | R2>
+  <I, O, E, R, Id, S, E2, R2>(
+    guard: GuardInput<I, O, E, R>,
+    tag: Context.Tag<Id, S>,
+    service: Effect.Effect<S, E2, R2>
+  ): Guard<I, O, E | E2, Exclude<R, Id> | R2>
+} = dual(3, function provideServiceEffect<I, O, E, R, Id, S, E2, R2>(
+  guard: GuardInput<I, O, E, R>,
+  tag: Context.Tag<Id, S>,
+  service: Effect.Effect<S, E2, R2>
+): Guard<I, O, E | E2, Exclude<R, Id> | R2> {
+  const g = getGuard(guard)
+  return (i) => Effect.provideServiceEffect(g(i), tag, service)
+})