Option: remove useless type parameter in getLeft, getRight

gcanti · May 12, 2021 · 73bcb18 · 73bcb18
1 parent 4567fa6
commit 73bcb18
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/docs/modules/Option.ts.md b/docs/modules/Option.ts.md
@@ -279,7 +279,7 @@ Returns the `Left` value of an `Either` if possible.
 **Signature**
 
 ```ts
-export declare const getLeft: <E, A>(ma: Either<E, A>) => Option<E>
+export declare const getLeft: <E>(ma: Either<E, unknown>) => Option<E>
 ```
 
 **Example**
@@ -301,7 +301,7 @@ Returns the `Right` value of an `Either` if possible.
 **Signature**
 
 ```ts
-export declare const getRight: <E, A>(ma: Either<E, A>) => Option<A>
+export declare const getRight: <A>(ma: Either<unknown, A>) => Option<A>
 ```
 
 **Example**

diff --git a/src/Option.ts b/src/Option.ts
@@ -130,7 +130,7 @@ export function fromPredicate<A>(predicate: Predicate<A>): <B extends A>(b: B) =
  * @category constructors
  * @since 2.0.0
  */
-export const getLeft = <E, A>(ma: Either<E, A>): Option<E> => (ma._tag === 'Right' ? none : some(ma.left))
+export const getLeft = <E>(ma: Either<E, unknown>): Option<E> => (ma._tag === 'Right' ? none : some(ma.left))
 
 /**
  * Returns the `Right` value of an `Either` if possible.
@@ -145,7 +145,7 @@ export const getLeft = <E, A>(ma: Either<E, A>): Option<E> => (ma._tag === 'Righ
  * @category constructors
  * @since 2.0.0
  */
-export const getRight = <E, A>(ma: Either<E, A>): Option<A> => (ma._tag === 'Left' ? none : some(ma.right))
+export const getRight = <A>(ma: Either<unknown, A>): Option<A> => (ma._tag === 'Left' ? none : some(ma.right))
 
 // -------------------------------------------------------------------------------------
 // non-pipeables