@typed/guard 0.7.1 → 0.7.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/Guard.d.ts +1 -1
- package/package.json +1 -1
- package/src/Guard.ts +1 -1
package/dist/Guard.d.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { type Cause, type Context, Effect, type Layer, Option, Pipeable, type Predicate, type Runtime, Schema } from 'effect';
|
|
2
|
-
export type Guard<I, O = never, E = never, R = never> = (input: I) => Effect.Effect<Option.Option<O>, E, R
|
|
2
|
+
export type Guard<I, O = never, E = never, R = never> = (input: I) => Effect.Effect<Option.Option<O>, E, R>;
|
|
3
3
|
export declare namespace Guard {
|
|
4
4
|
type Input<T> = [T] extends [Guard<infer I, infer _R, infer _E, infer _O>] ? I : never;
|
|
5
5
|
type Output<T> = [T] extends [Guard<infer _I, infer O, infer _E, infer _R>] ? O : never;
|
package/package.json
CHANGED
package/src/Guard.ts
CHANGED
|
@@ -14,7 +14,7 @@ import type { ParseOptions } from 'effect/SchemaAST'
|
|
|
14
14
|
|
|
15
15
|
export type Guard<I, O = never, E = never, R = never> = (
|
|
16
16
|
input: I,
|
|
17
|
-
) => Effect.Effect<Option.Option<O>, E, R>
|
|
17
|
+
) => Effect.Effect<Option.Option<O>, E, R>
|
|
18
18
|
|
|
19
19
|
export namespace Guard {
|
|
20
20
|
export type Input<T> = [T] extends [Guard<infer I, infer _R, infer _E, infer _O>] ? I : never
|