83 lines
1.8 KiB
TypeScript
83 lines
1.8 KiB
TypeScript
//// [mappedTypes3.ts]
|
|
class Box<P> {
|
|
value: P;
|
|
}
|
|
|
|
type Boxified<T> = {
|
|
[K in keyof T]: Box<T[K]>;
|
|
}
|
|
|
|
declare function boxify<T>(obj: T): Boxified<T>;
|
|
declare function unboxify<T>(obj: Boxified<T>): T;
|
|
|
|
interface Bacon {
|
|
isPerfect: boolean;
|
|
weight: number;
|
|
}
|
|
|
|
interface BoxifiedBacon {
|
|
isPerfect: Box<boolean>;
|
|
weight: Box<number>;
|
|
}
|
|
|
|
function f1(b: Bacon) {
|
|
let bb = boxify(b);
|
|
let isPerfect = bb.isPerfect.value;
|
|
let weight = bb.weight.value;
|
|
}
|
|
|
|
function f2(bb: Boxified<Bacon>) {
|
|
let b = unboxify(bb); // Infer Bacon for T
|
|
let bool = b.isPerfect;
|
|
let weight = b.weight;
|
|
}
|
|
|
|
function f3(bb: BoxifiedBacon) {
|
|
let b = unboxify<Bacon>(bb); // Explicit type parameter required
|
|
let bool = b.isPerfect;
|
|
let weight = bb.weight;
|
|
}
|
|
|
|
//// [mappedTypes3.js]
|
|
var Box = /** @class */ (function () {
|
|
function Box() {
|
|
}
|
|
return Box;
|
|
}());
|
|
function f1(b) {
|
|
var bb = boxify(b);
|
|
var isPerfect = bb.isPerfect.value;
|
|
var weight = bb.weight.value;
|
|
}
|
|
function f2(bb) {
|
|
var b = unboxify(bb); // Infer Bacon for T
|
|
var bool = b.isPerfect;
|
|
var weight = b.weight;
|
|
}
|
|
function f3(bb) {
|
|
var b = unboxify(bb); // Explicit type parameter required
|
|
var bool = b.isPerfect;
|
|
var weight = bb.weight;
|
|
}
|
|
|
|
|
|
//// [mappedTypes3.d.ts]
|
|
declare class Box<P> {
|
|
value: P;
|
|
}
|
|
declare type Boxified<T> = {
|
|
[K in keyof T]: Box<T[K]>;
|
|
};
|
|
declare function boxify<T>(obj: T): Boxified<T>;
|
|
declare function unboxify<T>(obj: Boxified<T>): T;
|
|
interface Bacon {
|
|
isPerfect: boolean;
|
|
weight: number;
|
|
}
|
|
interface BoxifiedBacon {
|
|
isPerfect: Box<boolean>;
|
|
weight: Box<number>;
|
|
}
|
|
declare function f1(b: Bacon): void;
|
|
declare function f2(bb: Boxified<Bacon>): void;
|
|
declare function f3(bb: BoxifiedBacon): void;
|