Update constructors to receive all generics (#61)

feat: Update constructors to receive all generics

BREAKING CHANGE: generic parameters changed for `success` and `failure` constructors

Author: OliverJAsh

src/__tests__/remote-data.spec.ts

@@ -919,4 +919,12 @@ describe('RemoteData', () => {
 			});
 		});
 	});
+
+	it('types are inferred correctly when chaining', () => {
+		const fa: RemoteData<string, number> = RD.success(1);
+		pipe(
+			fa,
+			RD.chain(a => success(a)),
+		);
+	});
 });

src/remote-data.ts

@@ -68,11 +68,11 @@ export type RemoteSuccess<A> = {
 export type RemoteData<E, A> = RemoteInitial | RemotePending | RemoteFailure<E> | RemoteSuccess<A>;
 
 //constructors
-export const failure = <E>(error: E): RemoteData<E, never> => ({
+export const failure = <E = never, A = never>(error: E): RemoteData<E, A> => ({
 	_tag: 'RemoteFailure',
 	error,
 });
-export const success = <A>(value: A): RemoteData<never, A> => ({
+export const success = <E = never, A = never>(value: A): RemoteData<E, A> => ({
 	_tag: 'RemoteSuccess',
 	value,
 });