remove /schema dependency (#173)

Effect-TS · Aug 19, 2023 · 7c99a42 · 7c99a42
1 parent 993cf58
commit 7c99a42
Show file tree

Hide file tree

Showing 7 changed files with 59 additions and 159 deletions.
diff --git a/.changeset/grumpy-camels-ring.md b/.changeset/grumpy-camels-ring.md
@@ -0,0 +1,5 @@
+---
+"@effect/match": minor
+---
+
+remove /schema dependency
diff --git a/README.md b/README.md
@@ -85,7 +85,7 @@ console.log(match({ age: 4 })) // "4 is too young"
 
 ### `not` patterns
 
-`not` lets you match on everything but a specific value or Schema.
+`not` lets you match on everything but a specific value.
 
 ```ts
 import * as Match from "@effect/match"
@@ -129,7 +129,7 @@ A Matcher that _might_ match a value. Returns an [Option](https://github.com/fp-
 
 ```ts
 import * as Match from "@effect/match"
-import * as E from "@effect/data/Either";
+import * as E from "@effect/data/Either"
 import { pipe } from "@effect/data/Function"
 
 // type Either<L, R> = { _tag: "Right", right: R } | { _tag: "Left", left: L }
@@ -149,7 +149,7 @@ A Matcher that marks the end of the matching process and checks if all possible
 
 ```ts
 import * as Match from "@effect/match"
-import * as E from "@effect/data/Either";
+import * as E from "@effect/data/Either"
 import { pipe } from "@effect/data/Function"
 
 // type Either<L, R> = { _tag: "Right", right: R } | { _tag: "Left", left: L }
@@ -158,7 +158,6 @@ const result = pipe(
   Match.when({ _tag: "Right" }, (_) => _.right),
   Match.exhaustive, // TypeError! { _tag: "left", left: never } is not assignable to never
 )
-
 ```
 
 ### `orElse`
@@ -179,7 +178,6 @@ console.log(match("hello")) // "I literally do not understand"
 console.log(match("hi")) // "hello"
 ```
 
-
 ### `either`
 
 A Matcher that _might_ match a value. Returns an [Either](https://github.com/fp-ts/core/blob/main/guides/Either.md) in the shape of `Either<NoMatchResult, MatchResult>`.
@@ -188,7 +186,6 @@ A Matcher that _might_ match a value. Returns an [Either](https://github.com/fp-
 import * as Match from "@effect/match"
 import { pipe } from "@effect/data/Function"
 
-
 const match = pipe(
   Match.type<string>(),
   Match.when("hi", (_) => "hello"),

diff --git a/docs/modules/index.ts.md b/docs/modules/index.ts.md
@@ -36,7 +36,7 @@ Added in v1.0.0
   - [orElseAbsurd](#orelseabsurd)
 - [model](#model)
   - [Matcher (type alias)](#matcher-type-alias)
-  - [SafeSchema (interface)](#safeschema-interface)
+  - [SafeRefinement (interface)](#saferefinement-interface)
 - [predicates](#predicates)
   - [any](#any)
   - [bigint](#bigint)
@@ -50,13 +50,11 @@ Added in v1.0.0
   - [null](#null)
   - [number](#number)
   - [record](#record)
-  - [safe](#safe)
   - [string](#string)
   - [undefined](#undefined)
-  - [unsafe](#unsafe)
 - [utils](#utils)
-  - [SafeSchemaId](#safeschemaid)
-  - [SafeSchemaId (type alias)](#safeschemaid-type-alias)
+  - [SafeRefinementId](#saferefinementid)
+  - [SafeRefinementId (type alias)](#saferefinementid-type-alias)
 
 ---
 
@@ -130,7 +128,7 @@ Added in v1.0.0
 export declare const not: <
   R,
   const P extends PatternPrimitive<R> | PatternBase<R>,
-  Fn extends (_: Exclude<R, ExtractMatch<R, SafeSchemaR<PredToSchema<P>>>>) => unknown
+  Fn extends (_: Exclude<R, ExtractMatch<R, SafeRefinementR<ToSafeRefinement<P>>>>) => unknown
 >(
   pattern: P,
   f: Fn
@@ -211,8 +209,8 @@ export declare const when: <
   self: Matcher<I, F, R, A, Pr>
 ) => Matcher<
   I,
-  AddWithout<F, SafeSchemaR<PredToSchema<P>>>,
-  ApplyFilters<I, AddWithout<F, SafeSchemaR<PredToSchema<P>>>>,
+  AddWithout<F, SafeRefinementR<ToSafeRefinement<P>>>,
+  ApplyFilters<I, AddWithout<F, SafeRefinementR<ToSafeRefinement<P>>>>,
   A | ReturnType<Fn>,
   Pr
 >
@@ -235,8 +233,8 @@ export declare const whenAnd: <
   self: Matcher<I, F, R, A, Pr>
 ) => Matcher<
   I,
-  AddWithout<F, SafeSchemaR<PredToSchema<UnionToIntersection<P[number]>>>>,
-  ApplyFilters<I, AddWithout<F, SafeSchemaR<PredToSchema<UnionToIntersection<P[number]>>>>>,
+  AddWithout<F, SafeRefinementR<ToSafeRefinement<UnionToIntersection<P[number]>>>>,
+  ApplyFilters<I, AddWithout<F, SafeRefinementR<ToSafeRefinement<UnionToIntersection<P[number]>>>>>,
   A | ReturnType<Fn>,
   Pr
 >
@@ -259,8 +257,8 @@ export declare const whenOr: <
   self: Matcher<I, F, R, A, Pr>
 ) => Matcher<
   I,
-  AddWithout<F, SafeSchemaR<PredToSchema<P[number]>>>,
-  ApplyFilters<I, AddWithout<F, SafeSchemaR<PredToSchema<P[number]>>>>,
+  AddWithout<F, SafeRefinementR<ToSafeRefinement<P[number]>>>,
+  ApplyFilters<I, AddWithout<F, SafeRefinementR<ToSafeRefinement<P[number]>>>>,
   A | ReturnType<Fn>,
   Pr
 >
@@ -395,13 +393,13 @@ export type Matcher<Input, Filters, RemainingApplied, Result, Provided> =
 
 Added in v1.0.0
 
-## SafeSchema (interface)
+## SafeRefinement (interface)
 
 **Signature**
 
 ```ts
-export interface SafeSchema<A, R = A> {
-  readonly [SafeSchemaId]: SafeSchemaId
+export interface SafeRefinement<A, R = A> {
+  readonly [SafeRefinementId]: SafeRefinementId
   readonly _A: A
   readonly _R: R
 }
@@ -416,7 +414,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const any: SafeSchema<unknown, any>
+export declare const any: SafeRefinement<unknown, any>
 ```
 
 Added in v1.0.0
@@ -468,7 +466,7 @@ Added in v1.0.0
 ```ts
 export declare const instanceOf: <A extends abstract new (...args: any) => any>(
   constructor: A
-) => SafeSchema<InstanceType<A>, never>
+) => SafeRefinement<InstanceType<A>, never>
 ```
 
 Added in v1.0.0
@@ -480,7 +478,7 @@ Added in v1.0.0
 ```ts
 export declare const instanceOfUnsafe: <A extends abstract new (...args: any) => any>(
   constructor: A
-) => SafeSchema<InstanceType<A>, InstanceType<A>>
+) => SafeRefinement<InstanceType<A>, InstanceType<A>>
 ```
 
 Added in v1.0.0
@@ -490,7 +488,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const is: <Literals extends readonly LiteralValue[]>(
+export declare const is: <Literals extends readonly (string | number | bigint | boolean | null)[]>(
   ...literals: Literals
 ) => Refinement<unknown, Literals[number]>
 ```
@@ -502,7 +500,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const nonEmptyString: SafeSchema<string, never>
+export declare const nonEmptyString: SafeRefinement<string, never>
 ```
 
 Added in v1.0.0
@@ -537,19 +535,6 @@ export declare const record: Refinement<unknown, { [k: string]: any; [k: symbol]
 
 Added in v1.0.0
 
-## safe
-
-Use a schema as a predicate, marking it **safe**. Safe means **it does not**
-contain refinements that could make the pattern not match.
-
-**Signature**
-
-```ts
-export declare const safe: <A>(schema: S.Schema<A, A>) => SafeSchema<A, A>
-```
-
-Added in v1.0.0
-
 ## string
 
 **Signature**
@@ -570,37 +555,24 @@ export declare const undefined: Refinement<unknown, undefined>
 
 Added in v1.0.0
 
-## unsafe
-
-Use a schema as a predicate, marking it **unsafe**. Unsafe means it contains
-refinements that could make the pattern not match.
-
-**Signature**
-
-```ts
-export declare const unsafe: <A>(schema: S.Schema<A, A>) => SafeSchema<A, never>
-```
-
-Added in v1.0.0
-
 # utils
 
-## SafeSchemaId
+## SafeRefinementId
 
 **Signature**
 
 ```ts
-export declare const SafeSchemaId: typeof SafeSchemaId
+export declare const SafeRefinementId: typeof SafeRefinementId
 ```
 
 Added in v1.0.0
 
-## SafeSchemaId (type alias)
+## SafeRefinementId (type alias)
 
 **Signature**
 
 ```ts
-export type SafeSchemaId = typeof SafeSchemaId
+export type SafeRefinementId = typeof SafeRefinementId
 ```
 
 Added in v1.0.0
diff --git a/package.json b/package.json
@@ -56,8 +56,7 @@
     }
   },
   "peerDependencies": {
-    "@effect/data": "^0.17.1",
-    "@effect/schema": "^0.33.0"
+    "@effect/data": "^0.17.1"
   },
   "devDependencies": {
     "@babel/cli": "^7.22.9",
@@ -70,7 +69,6 @@
     "@effect/docgen": "^0.1.2",
     "@effect/eslint-plugin": "^0.1.2",
     "@effect/language-service": "^0.0.19",
-    "@effect/schema": "^0.33.0",
     "@types/chai": "^4.3.5",
     "@types/node": "^20.4.6",
     "@typescript-eslint/eslint-plugin": "^6.2.1",

diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml