fix: incorrect type for JSONPending (closes #31)

devexperts · May 14, 2019 · 08bbcc7 · 08bbcc7
1 parent 867efb3
commit 08bbcc7
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/src/remote-data-io.ts b/src/remote-data-io.ts
@@ -1,5 +1,4 @@
 import * as t from 'io-ts';
-import { createOptionFromNullable } from 'io-ts-types';
 
 import {
 	failure,
@@ -11,9 +10,9 @@ import {
 	RemotePending,
 	RemoteSuccess,
 	success,
-	RemoteProgress,
 	progress,
 } from './remote-data';
+import { createOptionFromNullable } from 'io-ts-types/lib/fp-ts/createOptionFromNullable';
 
 export interface JSONFailure<L> {
 	type: 'Failure';
@@ -24,9 +23,14 @@ export interface JSONInitial {
 	type: 'Initial';
 }
 
+export interface JSONProgress {
+	loaded: number;
+	total: number | null;
+}
+
 export interface JSONPending {
 	type: 'Pending';
-	progress: RemoteProgress | null;
+	progress: JSONProgress | null;
 }
 
 export interface JSONSuccess<A> {