Permalink
Browse files

Narrow `TNone.value` field type to never (#125)

  • Loading branch information...
mcastellini authored and alexandru committed Jun 22, 2018
1 parent a322789 commit 0c315b6fe7a6c3cefc9e16f28278e85b88bebb58
Showing with 3 additions and 1 deletion.
  1. +2 −0 AUTHORS
  2. +1 −1 packages/funfix-core/src/disjunctions.ts
@@ -7,3 +7,5 @@ Oliver Joseph Ash
https://github.com/OliverJAsh
Alvaro Carrasco
https://github.com/alvaroc1
Matteo Castellini
https://github.com/mcastellini
@@ -1106,7 +1106,7 @@ export function Some<A>(value: A): TSome<A> {
* non-empty values in the [[Option]] disjunction.
*/
export class TNone extends Option<never> {
public readonly value!: undefined
public readonly value!: never
private constructor() { super(undefined, true) }
}

0 comments on commit 0c315b6

Please sign in to comment.