opt_parser.ts

interface IParser<T> { }

declare class Opt<K extends string, T> {
    constructor(key: K, parser: IParser<T>);
}

declare const string: IParser<string>;
declare const number: IParser<number>;

declare class OptParser<P extends {}> {
    add<K extends string, T>(
        opt: Opt<K, T>
    ): K extends keyof P ? {} : OptParser<{ [key in K]: T } & P>;

    run(callback: (obj: P) => void): void;
}

declare const empty: OptParser<{}>;

const p1 = empty
    .add(new Opt("foo", string))
    .add(new Opt("bar", number));

p1.run((opt) => {
    opt.foo;
    opt.bar;
    opt.baz; // error: no option for "baz"
});

const p2 = empty
    .add(new Opt("foo", string))
    .add(new Opt("bar", number))
    .add(new Opt("foo", number))  // conflict (or duplicate)
    .add(new Opt("baz", number)); // error