upgrade to latest @effect/data

fp-ts · Aug 1, 2023 · 772e5c7 · 772e5c7
1 parent c0fc720
commit 772e5c7
Show file tree

Hide file tree

Showing 37 changed files with 1,409 additions and 571 deletions.
diff --git a/.changeset/pretty-peaches-sneeze.md b/.changeset/pretty-peaches-sneeze.md
@@ -0,0 +1,5 @@
+---
+"@fp-ts/optic": minor
+---
+
+upgrade to latest @effect/data
diff --git a/docs-ts.json → docgen.json b/docs-ts.json → docgen.json
diff --git a/docs/modules/data/Boolean.ts.md b/docs/modules/data/Boolean.ts.md
@@ -24,7 +24,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const toggle: <S>(optic: any) => (s: S) => S
+export declare const toggle: <S>(optic: Optional<S, boolean>) => (s: S) => S
 ```
 
 Added in v1.0.0
diff --git a/docs/modules/data/Chunk.ts.md b/docs/modules/data/Chunk.ts.md
@@ -29,7 +29,10 @@ An optic that accesses the `Cons` case of a `Chunk`.
 **Signature**
 
 ```ts
-export declare const cons: { <A>(): any; <A, B>(): any }
+export declare const cons: {
+  <A>(): Prism<Chunk.Chunk<A>, readonly [A, Chunk.Chunk<A>]>
+  <A, B>(): PolyPrism<Chunk.Chunk<A>, Chunk.Chunk<B>, readonly [A, Chunk.Chunk<A>], readonly [B, Chunk.Chunk<B>]>
+}
 ```
 
 Added in v1.0.0
@@ -39,7 +42,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const head: <A>() => any
+export declare const head: <A>() => Optional<Chunk.Chunk<A>, A>
 ```
 
 Added in v1.0.0
@@ -51,7 +54,7 @@ An optic that accesses the specified index of a `Chunk`.
 **Signature**
 
 ```ts
-export declare const index: <A>(i: number) => any
+export declare const index: <A>(i: number) => Optional<Chunk.Chunk<A>, A>
 ```
 
 Added in v1.0.0
@@ -61,7 +64,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const tail: <A>() => any
+export declare const tail: <A>() => Optional<Chunk.Chunk<A>, Chunk.Chunk<A>>
 ```
 
 Added in v1.0.0
diff --git a/docs/modules/data/Either.ts.md b/docs/modules/data/Either.ts.md
@@ -27,7 +27,10 @@ An optic that accesses the `Left` case of an `Either`.
 **Signature**
 
 ```ts
-export declare const left: { <E, A>(): any; <E, A, B>(): any }
+export declare const left: {
+  <E, A>(): Prism<Either.Either<E, A>, E>
+  <E, A, B>(): PolyPrism<Either.Either<E, A>, Either.Either<B, A>, E, B>
+}
 ```
 
 Added in v1.0.0
@@ -39,7 +42,10 @@ An optic that accesses the `Right` case of an `Either`.
 **Signature**
 
 ```ts
-export declare const right: { <E, A>(): any; <E, A, B>(): any }
+export declare const right: {
+  <E, A>(): Prism<Either.Either<E, A>, A>
+  <E, A, B>(): PolyPrism<Either.Either<E, A>, Either.Either<E, B>, A, B>
+}
 ```
 
 Added in v1.0.0
diff --git a/docs/modules/data/HashMap.ts.md b/docs/modules/data/HashMap.ts.md
@@ -25,7 +25,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const getAt: <K, A>() => any
+export declare const getAt: <K, A>() => At<HashMap.HashMap<K, A>, K, Option.Option<A>>
 ```
 
 Added in v1.0.0
@@ -35,7 +35,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const getIndex: <K, A>() => any
+export declare const getIndex: <K, A>() => Index<HashMap.HashMap<K, A>, K, A>
 ```
 
 Added in v1.0.0
diff --git a/docs/modules/data/Option.ts.md b/docs/modules/data/Option.ts.md
@@ -26,7 +26,7 @@ An optic that accesses the `None` case of an `Option`.
 **Signature**
 
 ```ts
-export declare const none: <A>() => any
+export declare const none: <A>() => Prism<Option.Option<A>, void>
 ```
 
 Added in v1.0.0
diff --git a/docs/modules/data/ReadonlyArray.ts.md b/docs/modules/data/ReadonlyArray.ts.md
@@ -26,7 +26,10 @@ An optic that accesses the `Cons` case of a `NonEmptyReadonlyArray`.
 **Signature**
 
 ```ts
-export declare const consNonEmpty: { <A>(): any; <A, B>(): any }
+export declare const consNonEmpty: {
+  <A>(): Iso<readonly [A, ...A[]], readonly [A, readonly A[]]>
+  <A, B>(): PolyIso<readonly [A, ...A[]], readonly [B, ...B[]], readonly [A, readonly A[]], readonly [B, readonly B[]]>
+}
 ```
 
 Added in v1.0.0
diff --git a/docs/modules/data/SortedMap.ts.md b/docs/modules/data/SortedMap.ts.md
@@ -25,7 +25,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const getAt: <K, A>() => any
+export declare const getAt: <K, A>() => At<SortedMap.SortedMap<K, A>, K, Option.Option<A>>
 ```
 
 Added in v1.0.0
@@ -35,7 +35,7 @@ Added in v1.0.0
 **Signature**
 
 ```ts
-export declare const getIndex: <K, A>() => any
+export declare const getIndex: <K, A>() => Index<SortedMap.SortedMap<K, A>, K, A>
 ```
 
 Added in v1.0.0
diff --git a/docs/modules/data/String.ts.md b/docs/modules/data/String.ts.md
@@ -26,7 +26,7 @@ An optic that accesses the specified index of a `string`.
 **Signature**
 
 ```ts
-export declare const index: (i: number) => any
+export declare const index: (i: number) => Optional<string, string>
 ```
 
 Added in v1.0.0
diff --git a/docs/modules/experimental.ts.md b/docs/modules/experimental.ts.md
@@ -92,7 +92,7 @@ Added in v1.0.0
 
 ```ts
 export declare const modifyApplicative: <S, T, A, B>(
-  optic: any
+  optic: PolyOptional<S, T, A, B>
 ) => <F extends TypeLambda>(
   F: Applicative<F>
 ) => <R, E, O>(f: (a: A) => Kind<F, R, E, O, B>) => (s: S) => Kind<F, R, E, O, T>
@@ -139,8 +139,8 @@ An optic that accesses a nested field of a struct.
 
 ```ts
 export declare const zoom: {
-  <S, A>(f: (s: FocusInitial<S>) => FocusStructure<A>): any
-  <S, A>(f: (s: FocusInitial<S>) => FocusPrimitive<A>): any
+  <S, A>(f: (s: FocusInitial<S>) => FocusStructure<A>): Lens<S, A>
+  <S, A>(f: (s: FocusInitial<S>) => FocusPrimitive<A>): Lens<S, A>
 }
 ```