@typed/guard 0.7.0 → 0.7.2

package/dist/Guard.d.ts

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

package/dist/Guardable.d.ts

@@ -1,5 +1,5 @@
 import { Pipeable } from 'effect';
-import { ExtensibleFunction } from './ExtensibleFunction';
+import { ExtensibleFunction } from './ExtensibleFunction.js';
 import type { Guard } from './Guard.js';
 export declare const GUARDABLE: unique symbol;
 export type GUARDABLE = typeof GUARDABLE;

package/dist/Guardable.js

@@ -1,5 +1,5 @@
 import { Pipeable } from 'effect';
-import { ExtensibleFunction } from './ExtensibleFunction';
+import { ExtensibleFunction } from './ExtensibleFunction.js';
 export const GUARDABLE = Symbol.for('@typed/guard/Guardable');
 export class Guardable extends ExtensibleFunction {
     constructor() {

package/dist/Guardable.js.map

@@ -1 +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"}
+{"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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@typed/guard",
-  "version": "0.7.0",
+  "version": "0.7.2",
   "description": "Guards with Effect",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",

package/readme.md

@@ -73,7 +73,7 @@ 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(isPositive, stringLength)
+const composed: Guard<number, number> = Guard.compose(numberToString, stringLength)
 ```
 
 #### Filtering and Mapping
@@ -108,12 +108,14 @@ const withTaggedRecovery = Guard.catchTag(
 ```typescript
 import { Schema } from 'effect'
 
-const PersonSchema = Schema.struct({
+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

package/src/ExtensibleFunction.test.ts

@@ -98,7 +98,5 @@ describe('ExtensibleFunction', () => {
     expect(composed(3)).toBe(8) // (3 + 1) * 2
   })
 
-  it('should allow class decorator', () => {
-    
-  })
+  it('should allow class decorator', () => {})
 })

package/src/Guard.test.ts

@@ -1,6 +1,6 @@
-import { Effect, identity, Option, pipe, Predicate, Schema } from 'effect'
+import { Effect, Option, pipe, Predicate, Schema } from 'effect'
 import { describe, expect, it } from 'vitest'
-import * as Guard from './Guard'
+import * as Guard from './Guard.js'
 
 describe('Guard', () => {
   // Helper function to run a guard and get the result

package/src/Guard.ts

@@ -14,7 +14,7 @@ import type { ParseOptions } from 'effect/SchemaAST'
 
 export type Guard<I, O = never, E = never, R = never> = (
   input: I,
-) => Effect.Effect<Option.Option<O>, E, R> | Effect.Effect<never, E, R>
+) => Effect.Effect<Option.Option<O>, E, R>
 
 export namespace Guard {
   export type Input<T> = [T] extends [Guard<infer I, infer _R, infer _E, infer _O>] ? I : never

package/src/Guardable.ts

@@ -1,13 +1,14 @@
 import { Pipeable } from 'effect'
-import { ExtensibleFunction } from './ExtensibleFunction'
+import { ExtensibleFunction } from './ExtensibleFunction.js'
 import type { Guard } from './Guard.js'
 
 export const GUARDABLE = Symbol.for('@typed/guard/Guardable')
 export type GUARDABLE = typeof GUARDABLE
 
-export abstract class Guardable<I, O, E = never, R = never> extends ExtensibleFunction<
-  Guard<I, O, E, R>
-> implements Pipeable.Pipeable {
+export abstract class Guardable<I, O, E = never, R = never>
+  extends ExtensibleFunction<Guard<I, O, E, R>>
+  implements Pipeable.Pipeable
+{
   constructor() {
     super((input) => this[GUARDABLE](input))
   }