Merge pull request #1538 from gcanti/2.11

version 2.11
gcanti · Jul 26, 2021 · 60250b9 · 60250b9
2 parents 4c65b44 + c6839aa
commit 60250b9
Show file tree

Hide file tree

Showing 242 changed files with 22,243 additions and 6,534 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
diff --git a/docs/modules/Alt.ts.md b/docs/modules/Alt.ts.md
@@ -29,6 +29,8 @@ Added in v2.0.0
   - [Alt3 (interface)](#alt3-interface)
   - [Alt3C (interface)](#alt3c-interface)
   - [Alt4 (interface)](#alt4-interface)
+- [utils](#utils)
+  - [altAll](#altall)
 
 ---
 
@@ -117,3 +119,33 @@ export interface Alt4<F extends URIS4> extends Functor4<F> {
 ```
 
 Added in v2.0.0
+
+# utils
+
+## altAll
+
+**Signature**
+
+```ts
+export declare function altAll<F extends URIS4>(
+  F: Alt4<F>
+): <S, R, E, A>(startWith: Kind4<F, S, R, E, A>) => (as: ReadonlyArray<Kind4<F, S, R, E, A>>) => Kind4<F, S, R, E, A>
+export declare function altAll<F extends URIS3>(
+  F: Alt3<F>
+): <R, E, A>(startWith: Kind3<F, R, E, A>) => (as: ReadonlyArray<Kind3<F, R, E, A>>) => Kind3<F, R, E, A>
+export declare function altAll<F extends URIS3, E>(
+  F: Alt3C<F, E>
+): <R, A>(startWith: Kind3<F, R, E, A>) => (as: ReadonlyArray<Kind3<F, R, E, A>>) => Kind3<F, R, E, A>
+export declare function altAll<F extends URIS2>(
+  F: Alt2<F>
+): <E, A>(startWith: Kind2<F, E, A>) => (as: ReadonlyArray<Kind2<F, E, A>>) => Kind2<F, E, A>
+export declare function altAll<F extends URIS2, E>(
+  F: Alt2C<F, E>
+): <A>(startWith: Kind2<F, E, A>) => (as: ReadonlyArray<Kind2<F, E, A>>) => Kind2<F, E, A>
+export declare function altAll<F extends URIS>(
+  F: Alt1<F>
+): <A>(startWith: Kind<F, A>) => (as: ReadonlyArray<Kind<F, A>>) => Kind<F, A>
+export declare function altAll<F>(F: Alt<F>): <A>(startWith: HKT<F, A>) => (as: ReadonlyArray<HKT<F, A>>) => HKT<F, A>
+```
+
+Added in v2.11.0
diff --git a/docs/modules/Alternative.ts.md b/docs/modules/Alternative.ts.md
@@ -33,6 +33,8 @@ Added in v2.0.0
   - [Alternative3 (interface)](#alternative3-interface)
   - [Alternative3C (interface)](#alternative3c-interface)
   - [Alternative4 (interface)](#alternative4-interface)
+- [utils](#utils)
+  - [altAll](#altall)
 
 ---
 
@@ -43,9 +45,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export interface Alternative<F> extends Applicative<F>, Alt<F> {
-  readonly zero: <A>() => HKT<F, A>
-}
+export interface Alternative<F> extends Applicative<F>, Alt<F>, Zero<F> {}
 ```
 
 Added in v2.0.0
@@ -55,9 +55,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export interface Alternative1<F extends URIS> extends Applicative1<F>, Alt1<F> {
-  readonly zero: <A>() => Kind<F, A>
-}
+export interface Alternative1<F extends URIS> extends Applicative1<F>, Alt1<F>, Zero1<F> {}
 ```
 
 Added in v2.0.0
@@ -67,9 +65,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export interface Alternative2<F extends URIS2> extends Applicative2<F>, Alt2<F> {
-  readonly zero: <E, A>() => Kind2<F, E, A>
-}
+export interface Alternative2<F extends URIS2> extends Applicative2<F>, Alt2<F>, Zero2<F> {}
 ```
 
 Added in v2.0.0
@@ -79,9 +75,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export interface Alternative2C<F extends URIS2, E> extends Applicative2C<F, E>, Alt2C<F, E> {
-  readonly zero: <A>() => Kind2<F, E, A>
-}
+export interface Alternative2C<F extends URIS2, E> extends Applicative2C<F, E>, Alt2C<F, E>, Zero2C<F, E> {}
 ```
 
 Added in v2.0.0
@@ -91,9 +85,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export interface Alternative3<F extends URIS3> extends Applicative3<F>, Alt3<F> {
-  readonly zero: <R, E, A>() => Kind3<F, R, E, A>
-}
+export interface Alternative3<F extends URIS3> extends Applicative3<F>, Alt3<F>, Zero3<F> {}
 ```
 
 Added in v2.0.0
@@ -103,9 +95,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export interface Alternative3C<F extends URIS3, E> extends Applicative3C<F, E>, Alt3C<F, E> {
-  readonly zero: <R, A>() => Kind3<F, R, E, A>
-}
+export interface Alternative3C<F extends URIS3, E> extends Applicative3C<F, E>, Alt3C<F, E>, Zero3C<F, E> {}
 ```
 
 Added in v2.10.0
@@ -115,9 +105,35 @@ Added in v2.10.0
 **Signature**
 
 ```ts
-export interface Alternative4<F extends URIS4> extends Applicative4<F>, Alt4<F> {
-  readonly zero: <S, R, E, A>() => Kind4<F, S, R, E, A>
-}
+export interface Alternative4<F extends URIS4> extends Applicative4<F>, Alt4<F>, Zero4<F> {}
 ```
 
 Added in v2.10.0
+
+# utils
+
+## altAll
+
+**Signature**
+
+```ts
+export declare function altAll<F extends URIS4>(
+  F: Alternative4<F>
+): <S, R, E, A>(as: ReadonlyArray<Kind4<F, S, R, E, A>>) => Kind4<F, S, R, E, A>
+export declare function altAll<F extends URIS3>(
+  F: Alternative3<F>
+): <R, E, A>(as: ReadonlyArray<Kind3<F, R, E, A>>) => Kind3<F, R, E, A>
+export declare function altAll<F extends URIS3, E>(
+  F: Alternative3C<F, E>
+): <R, A>(as: ReadonlyArray<Kind3<F, R, E, A>>) => Kind3<F, R, E, A>
+export declare function altAll<F extends URIS2>(
+  F: Alternative2<F>
+): <E, A>(as: ReadonlyArray<Kind2<F, E, A>>) => Kind2<F, E, A>
+export declare function altAll<F extends URIS2, E>(
+  F: Alternative2C<F, E>
+): <A>(as: ReadonlyArray<Kind2<F, E, A>>) => Kind2<F, E, A>
+export declare function altAll<F extends URIS>(F: Alternative1<F>): <A>(as: ReadonlyArray<Kind<F, A>>) => Kind<F, A>
+export declare function altAll<F>(F: Alternative<F>): <A>(as: ReadonlyArray<HKT<F, A>>) => HKT<F, A>
+```
+
+Added in v2.11.0