@devexperts/utils - npm Package Compare versions

Comparing version 0.29.1 to 1.0.0-alpha.0

CHANGELOG.md

@@ -6,2 +6,34 @@ # Change Log
 
+# [1.0.0-alpha.0](https://github.com/devexperts/dx-platform/compare/v0.29.1...v1.0.0-alpha.0) (2019-09-04)
+
+
+### Build System
+
+* update dependencies ([f59da99](https://github.com/devexperts/dx-platform/commit/f59da99))
+
+
+### Code Refactoring
+
+* **utils:** fp-ts@^2.0.5 ([10fdf18](https://github.com/devexperts/dx-platform/commit/10fdf18))
+
+
+### BREAKING CHANGES
+
+* **utils:** renamed Setoid to Eq
+* update dependencies:
+  - @devexperts/remote-data-ts@^2.0.0
+  - fp-ts@^2.0.5
+  - ts-loader@^6.0.4
+  - tslib@^1.10.0
+  - tslint@^5.19.0
+  - tslint-config-prettier@^1.18.0"
+  - tslint-plugin-prettier@^2.0.1"
+  - tsutils@^3.17.1
+  - typelevel-ts@^0.3.5
+  - typescript@^3.5.3
+
+
+
+
+
 ## [0.29.1](https://github.com/devex-web-frontend/dx-platform/compare/v0.29.0...v0.29.1) (2019-07-03)
@@ -8,0 +40,0 @@

dist/adt/either.utils.d.ts

@@ -5,5 +5,7 @@ import { Either, either as fptseither, URI } from 'fp-ts/lib/Either';
 export declare const combineEither: import("../typeclasses/product-left-coproduct-left/product-left-coproduct-left.utils").CoproductMap<"Either">;
-export declare const sequenceTEither: import("fp-ts/lib/Apply").SequenceT2<"Either">;
-export declare const sequenceEither: <FL, A>(ta: Either<FL, A>[]) => Either<FL, A[]>;
+export declare const sequenceTEither: <E, T extends Either<E, any>[]>(...t: T & {
+    0: Either<E, any>;
+}) => Either<E, { [K in keyof T]: [T[K]] extends [Either<E, infer A>] ? A : never; }>;
+export declare const sequenceEither: <E, A>(ta: Either<E, A>[]) => Either<E, A[]>;
 export declare type LeftType<F extends Either<any, any>> = F extends Either<infer L, infer A> ? L : never;
 export declare type RightType<F extends Either<any, any>> = F extends Either<infer L, infer A> ? A : never;

dist/adt/either.utils.js

@@ -10,5 +10,5 @@ "use strict";
 var coproductLeft = function (fa, fb) {
-    if (fa.isRight()) {
-        if (fb.isRight()) {
-            return Either_1.right(function_1.tuple(fa.value, fb.value));
+    if (Either_1.isRight(fa)) {
+        if (Either_1.isRight(fb)) {
+            return Either_1.right(function_1.tuple(fa.right, fb.right));
         }
@@ -15,0 +15,0 @@ return fb;

dist/adt/option.utils.d.ts

 import { Option } from 'fp-ts/lib/Option';
-export declare const sequenceTOption: import("fp-ts/lib/Apply").SequenceT1<"Option">;
+export declare const sequenceTOption: <T extends Option<any>[]>(...t: T & {
+    0: Option<any>;
+}) => Option<{ [K in keyof T]: [T[K]] extends [Option<infer A>] ? A : never; }>;
 export declare type OptionType<FA extends Option<any>> = FA extends Option<infer A> ? A : never;

dist/adt/reader.utils.d.ts

@@ -5,3 +5,5 @@ import { Reader, reader as fptsreader, URI } from 'fp-ts/lib/Reader';
 export declare const reader: typeof fptsreader & ProductLeft<URI> & MonadReader<URI>;
-export declare const sequenceTReader: import("fp-ts/lib/Apply").SequenceT2<"Reader">;
+export declare const sequenceTReader: <E, T extends Reader<E, any>[]>(...t: T & {
+    0: Reader<E, any>;
+}) => Reader<E, { [K in keyof T]: [T[K]] extends [Reader<E, infer A>] ? A : never; }>;
 export declare const combineReader: import("../typeclasses/product-left-coproduct-left/product-left-coproduct-left.utils").ProductMap<"Reader">;
@@ -8,0 +10,0 @@ export declare const deferReader: <E extends object, A, K extends keyof E>(fa: Reader<E, A>, ...keys: K[]) => Reader<Pick<E, Exclude<keyof E, K>>, Reader<Pick<E, K>, A>>;

dist/adt/reader.utils.js

@@ -10,5 +10,5 @@ "use strict";
 var productLeft = function (fa, fb) {
-    return Reader_1.asks(function (e) { return function_1.tuple(fa.run(e), fb.run(e)); });
+    return Reader_1.asks(function (e) { return function_1.tuple(fa(e), fb(e)); });
 };
-var runReader = function (fa, e) { return fa.run(e); };
+var runReader = function (fa, e) { return fa(e); };
 exports.reader = tslib_1.__assign({}, Reader_1.reader, { asks: Reader_1.asks,
@@ -15,0 +15,0 @@ runReader: runReader,

dist/typeclasses/monad-reader/monad-reader.utils.d.ts

 import { Reader } from 'fp-ts/lib/Reader';
-import { Type2, URIS2 } from 'fp-ts/lib/HKT';
+import { Kind2, URIS2 } from 'fp-ts/lib/HKT';
 import { Monad2 } from 'fp-ts/lib/Monad';
@@ -7,5 +7,5 @@ export declare type ReaderEnvType<R extends Reader<any, any>> = R extends Reader<infer E, infer A> ? E : never;
 export interface MonadReader<F extends URIS2> extends Monad2<F> {
-    readonly asks: <E, A>(f: (e: E) => A) => Type2<F, E, A>;
-    readonly runReader: <E, A>(fa: Type2<F, E, A>, e: E) => A;
+    readonly asks: <E, A>(f: (e: E) => A) => Kind2<F, E, A>;
+    readonly runReader: <E, A>(fa: Kind2<F, E, A>, e: E) => A;
 }
-export declare function defer<F extends URIS2>(F: MonadReader<F>): <E extends object, A, K extends keyof E>(fa: Type2<F, E, A>, ...keys: K[]) => Type2<F, Pick<E, Exclude<keyof E, K>>, Type2<F, Pick<E, K>, A>>;
+export declare function defer<F extends URIS2>(F: MonadReader<F>): <E extends object, A, K extends keyof E>(fa: Kind2<F, E, A>, ...keys: K[]) => Kind2<F, Pick<E, Exclude<keyof E, K>>, Kind2<F, Pick<E, K>, A>>;

dist/typeclasses/product-left-coproduct-left/product-left-coproduct-left.utils.d.ts

@@ -1,31 +0,31 @@
-import { Type2, URIS2 } from 'fp-ts/lib/HKT';
+import { Kind2, URIS2 } from 'fp-ts/lib/HKT';
 import { Apply2 } from 'fp-ts/lib/Apply';
 export declare type ProjectMany<A, R> = (...args: A[]) => R;
 export interface ProductMap<F extends URIS2> {
-    <E, A, R>(a: Type2<F, E, A>, project: (a: A) => R): Type2<F, E, R>;
-    <EA, A, EB, B, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, project: (a: A, b: B) => R): Type2<F, EA & EB, R>;
-    <EA, A, EB, B, EC, C, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, C: Type2<F, EC, C>, project: (a: A, b: B, c: C) => R): Type2<F, EA & EB & EC, R>;
-    <EA, A, EB, B, EC, C, ED, D, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, project: (a: A, b: B, c: C, d: D) => R): Type2<F, EA & EB & EC & ED, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, project: (a: A, b: B, c: C, d: D, e: E) => R): Type2<F, EA & EB & EC & ED & EE, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, project: (a: A, b: B, c: C, d: D, e: E) => R): Type2<F, EA & EB & EC & ED & EE, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, project: (a: A, b: B, c: C, d: D, e: E, g: G) => R): Type2<F, EA & EB & EC & ED & EE & EG, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, h: Type2<F, EH, H>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H) => R): Type2<F, EA & EB & EC & ED & EE & EG & EH, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, h: Type2<F, EH, H>, i: Type2<F, EI, I>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I) => R): Type2<F, EA & EB & EC & ED & EE & EG & EH & EI, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, h: Type2<F, EH, H>, i: Type2<F, EI, I>, j: Type2<F, EJ, J>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J) => R): Type2<F, EA & EB & EC & ED & EE & EG & EH & EI & EJ, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, EK, K, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, h: Type2<F, EH, H>, i: Type2<F, EI, I>, j: Type2<F, EJ, J>, k: Type2<F, EK, K>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J, k: K) => R): Type2<F, EA & EB & EC & ED & EE & EG & EH & EI & EJ & EK, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, EK, K, EL, L, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, h: Type2<F, EH, H>, i: Type2<F, EI, I>, j: Type2<F, EJ, J>, k: Type2<F, EK, K>, l: Type2<F, EL, L>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J, k: K, l: L) => R): Type2<F, EA & EB & EC & ED & EE & EG & EH & EI & EJ & EK & EL, R>;
+    <E, A, R>(a: Kind2<F, E, A>, project: (a: A) => R): Kind2<F, E, R>;
+    <EA, A, EB, B, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, project: (a: A, b: B) => R): Kind2<F, EA & EB, R>;
+    <EA, A, EB, B, EC, C, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, C: Kind2<F, EC, C>, project: (a: A, b: B, c: C) => R): Kind2<F, EA & EB & EC, R>;
+    <EA, A, EB, B, EC, C, ED, D, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, project: (a: A, b: B, c: C, d: D) => R): Kind2<F, EA & EB & EC & ED, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, project: (a: A, b: B, c: C, d: D, e: E) => R): Kind2<F, EA & EB & EC & ED & EE, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, project: (a: A, b: B, c: C, d: D, e: E) => R): Kind2<F, EA & EB & EC & ED & EE, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, project: (a: A, b: B, c: C, d: D, e: E, g: G) => R): Kind2<F, EA & EB & EC & ED & EE & EG, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, h: Kind2<F, EH, H>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H) => R): Kind2<F, EA & EB & EC & ED & EE & EG & EH, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, h: Kind2<F, EH, H>, i: Kind2<F, EI, I>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I) => R): Kind2<F, EA & EB & EC & ED & EE & EG & EH & EI, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, h: Kind2<F, EH, H>, i: Kind2<F, EI, I>, j: Kind2<F, EJ, J>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J) => R): Kind2<F, EA & EB & EC & ED & EE & EG & EH & EI & EJ, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, EK, K, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, h: Kind2<F, EH, H>, i: Kind2<F, EI, I>, j: Kind2<F, EJ, J>, k: Kind2<F, EK, K>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J, k: K) => R): Kind2<F, EA & EB & EC & ED & EE & EG & EH & EI & EJ & EK, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, EK, K, EL, L, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, h: Kind2<F, EH, H>, i: Kind2<F, EI, I>, j: Kind2<F, EJ, J>, k: Kind2<F, EK, K>, l: Kind2<F, EL, L>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J, k: K, l: L) => R): Kind2<F, EA & EB & EC & ED & EE & EG & EH & EI & EJ & EK & EL, R>;
 }
 export interface CoproductMap<F extends URIS2> {
-    <E, A, R>(a: Type2<F, E, A>, project: (a: A) => R): Type2<F, E, R>;
-    <EA, A, EB, B, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, project: (a: A, b: B) => R): Type2<F, EA | EB, R>;
-    <EA, A, EB, B, EC, C, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, C: Type2<F, EC, C>, project: (a: A, b: B, c: C) => R): Type2<F, EA | EB | EC, R>;
-    <EA, A, EB, B, EC, C, ED, D, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, project: (a: A, b: B, c: C, d: D) => R): Type2<F, EA | EB | EC | ED, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, project: (a: A, b: B, c: C, d: D, e: E) => R): Type2<F, EA | EB | EC | ED | EE, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, project: (a: A, b: B, c: C, d: D, e: E) => R): Type2<F, EA | EB | EC | ED | EE, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, project: (a: A, b: B, c: C, d: D, e: E, g: G) => R): Type2<F, EA | EB | EC | ED | EE | EG, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, h: Type2<F, EH, H>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H) => R): Type2<F, EA | EB | EC | ED | EE | EG | EH, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, h: Type2<F, EH, H>, i: Type2<F, EI, I>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I) => R): Type2<F, EA | EB | EC | ED | EE | EG | EH | EI, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, h: Type2<F, EH, H>, i: Type2<F, EI, I>, j: Type2<F, EJ, J>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J) => R): Type2<F, EA | EB | EC | ED | EE | EG | EH | EI | EJ, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, EK, K, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, h: Type2<F, EH, H>, i: Type2<F, EI, I>, j: Type2<F, EJ, J>, k: Type2<F, EK, K>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J, k: K) => R): Type2<F, EA | EB | EC | ED | EE | EG | EH | EI | EJ | EK, R>;
-    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, EK, K, EL, L, R>(a: Type2<F, EA, A>, b: Type2<F, EB, B>, c: Type2<F, EC, C>, d: Type2<F, ED, D>, e: Type2<F, EE, E>, g: Type2<F, EG, G>, h: Type2<F, EH, H>, i: Type2<F, EI, I>, j: Type2<F, EJ, J>, k: Type2<F, EK, K>, l: Type2<F, EL, L>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J, k: K, l: L) => R): Type2<F, EA | EB | EC | ED | EE | EG | EH | EI | EJ | EK | EL, R>;
+    <E, A, R>(a: Kind2<F, E, A>, project: (a: A) => R): Kind2<F, E, R>;
+    <EA, A, EB, B, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, project: (a: A, b: B) => R): Kind2<F, EA | EB, R>;
+    <EA, A, EB, B, EC, C, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, C: Kind2<F, EC, C>, project: (a: A, b: B, c: C) => R): Kind2<F, EA | EB | EC, R>;
+    <EA, A, EB, B, EC, C, ED, D, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, project: (a: A, b: B, c: C, d: D) => R): Kind2<F, EA | EB | EC | ED, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, project: (a: A, b: B, c: C, d: D, e: E) => R): Kind2<F, EA | EB | EC | ED | EE, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, project: (a: A, b: B, c: C, d: D, e: E) => R): Kind2<F, EA | EB | EC | ED | EE, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, project: (a: A, b: B, c: C, d: D, e: E, g: G) => R): Kind2<F, EA | EB | EC | ED | EE | EG, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, h: Kind2<F, EH, H>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H) => R): Kind2<F, EA | EB | EC | ED | EE | EG | EH, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, h: Kind2<F, EH, H>, i: Kind2<F, EI, I>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I) => R): Kind2<F, EA | EB | EC | ED | EE | EG | EH | EI, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, h: Kind2<F, EH, H>, i: Kind2<F, EI, I>, j: Kind2<F, EJ, J>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J) => R): Kind2<F, EA | EB | EC | ED | EE | EG | EH | EI | EJ, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, EK, K, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, h: Kind2<F, EH, H>, i: Kind2<F, EI, I>, j: Kind2<F, EJ, J>, k: Kind2<F, EK, K>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J, k: K) => R): Kind2<F, EA | EB | EC | ED | EE | EG | EH | EI | EJ | EK, R>;
+    <EA, A, EB, B, EC, C, ED, D, EE, E, EG, G, EH, H, EI, I, EJ, J, EK, K, EL, L, R>(a: Kind2<F, EA, A>, b: Kind2<F, EB, B>, c: Kind2<F, EC, C>, d: Kind2<F, ED, D>, e: Kind2<F, EE, E>, g: Kind2<F, EG, G>, h: Kind2<F, EH, H>, i: Kind2<F, EI, I>, j: Kind2<F, EJ, J>, k: Kind2<F, EK, K>, l: Kind2<F, EL, L>, project: (a: A, b: B, c: C, d: D, e: E, g: G, h: H, i: I, j: J, k: K, l: L) => R): Kind2<F, EA | EB | EC | ED | EE | EG | EH | EI | EJ | EK | EL, R>;
 }
@@ -38,3 +38,3 @@ /**
 export interface ProductLeft<F extends URIS2> extends Apply2<F> {
-    readonly productLeft: <EA, A, EB, B>(fa: Type2<F, EA, A>, fb: Type2<F, EB, B>) => Type2<F, EA & EB, [A, B]>;
+    readonly productLeft: <EA, A, EB, B>(fa: Kind2<F, EA, A>, fb: Kind2<F, EB, B>) => Kind2<F, EA & EB, [A, B]>;
 }
@@ -47,3 +47,3 @@ /**
 export interface CoproductLeft<F extends URIS2> extends Apply2<F> {
-    readonly coproductLeft: <EA, A, EB, B>(fa: Type2<F, EA, A>, fb: Type2<F, EB, B>) => Type2<F, EA | EB, [A, B]>;
+    readonly coproductLeft: <EA, A, EB, B>(fa: Kind2<F, EA, A>, fb: Kind2<F, EB, B>) => Kind2<F, EA | EB, [A, B]>;
 }
@@ -50,0 +50,0 @@ /**

package.json

 {
   "name": "@devexperts/utils",
-  "version": "0.29.1",
+  "version": "1.0.0-alpha.0",
   "description": "",
@@ -17,3 +17,3 @@ "main": "dist",
     "type": "git",
-    "url": "git+https://github.com/devex-web-frontend/dx-platform.git"
+    "url": "git+https://github.com/devexperts/dx-platform.git"
   },
@@ -26,17 +26,17 @@ "publishConfig": {
   "bugs": {
-    "url": "https://github.com/devex-web-frontend/dx-platform/issues"
+    "url": "https://github.com/devexperts/dx-platform/issues"
   },
-  "homepage": "https://github.com/devex-web-frontend/dx-platform#readme",
+  "homepage": "https://github.com/devexperts/dx-platform#readme",
   "dependencies": {
-    "tslib": "^1.9.0",
-    "typelevel-ts": "^0.3.1"
+    "tslib": "^1.10.0",
+    "typelevel-ts": "^0.3.5"
   },
   "peerDependencies": {
-    "fp-ts": "^1.11.3"
+    "fp-ts": "^2.0.5"
   },
   "devDependencies": {
-    "@devexperts/tools": "^0.29.1",
-    "fp-ts": "^1.11.3"
+    "@devexperts/tools": "^1.0.0-alpha.0",
+    "fp-ts": "^2.0.5"
   },
-  "gitHead": "7d536c9a4e02a152e71f7e79b5bd4af913914c22"
+  "gitHead": "a46fea9ea842dd3743d1b4accf95b6e34e6fd4ff"
 }

README.md

@@ -1,3 +0,3 @@
-[![build status](https://img.shields.io/travis/devex-web-frontend/dx-platform/master.svg?style=flat-square)](https://travis-ci.org/devex-web-frontend/dx-platform) ![npm](https://img.shields.io/npm/v/@devexperts/utils.svg?style=flat-square) 
+[![build status](https://img.shields.io/travis/devexperts/dx-platform/master.svg?style=flat-square)](https://travis-ci.org/devexperts/dx-platform) ![npm](https://img.shields.io/npm/v/@devexperts/utils.svg?style=flat-square) 
 ## @devexperts/utils
 Commonly used across different projects utilities.

New alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Fixed alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Improved metrics

Total package byte prevSize

120992

increased by0.73%

Lines of code

1816

increased by0.33%

Dependency changes

• + Addedfp-ts@2.16.9(transitive)

• - Removedfp-ts@1.19.5(transitive)

• Updatedtslib@^1.10.0

• Updatedtypelevel-ts@^0.3.5