Inverse Typoskript Typ-Schutz

Question

ich verwende typescript2.0.0 mit --strictNullChecks und die folgende Typ-Schutz:

function isNotOk(value: any): value is null | undefined { 
    if (typeof value === 'number') { 
    return !isFinite(value); 
    } else { 
    return value === null || value === undefined; 
    } 
} 

Welche null in Abrede stellen, undefined, NaN und Infinite. Ich möchte eine Umkehrung davon:

export function isOk(value: any): value is not null | undefined { 
    return !isNotOk(value); 
} 

Natürlich funktioniert diese Syntax nicht. Gibt es einen bekannten Weg, dies zu erreichen?

Answer 1

Ich stolperte über die Antwort; Generika. Nur in umgekehrter Weise wie folgt schmal:

function isOk<T>(value: T | null | undefined): value is T { 
    return !isNotOk(value); 
}