15.ts

// TS playground link: https://tsplay.dev/advent-of-typescript-2023-15

// Box The Toys!
// [Santa walks by as Bernard, the head elf, is yelling at the other elves..]
//     [Bernard (to his staff)] LET'S GO ELVES! LET'S GO! KEEP BOXING TOYS!
//     [Santa] Bernard.. Seems like it's not going well.
//     [Bernard] Was anyone asking you!?
//     [Santa] Did you deploy the new toy boxing API yesterday?
//     [Bernard] No, we didn't get to it. Julius called out sick.
//     [Santa] Taking too many sick days shows a lack of commitment. We should get rid of Julius.
//     [Bernard (rolling eyes)] And then not replace him? Yeah. No Thanks.
//     [Santa] Well it was on the sprint and today's the last day of the sprint.
//     [Bernard] We don't deploy on Fridays.
//     [Santa] Aren't we doing continuous deployment now? You had this whole big thing at the last shareholder meeting about it?
//     [Bernard] No. For the 100th time. We're doing continuous delivery, which is completely different and gives us control over when we deploy.
//     [Santa] Well I need that BoxToys type. If you can't handle this project, Bernard, there are plenty of other elves who can. I need your full commitment.
//     [Bernard] Ok. Fine. I'll do it myself.
//     [Santa] That's what I like to see!
// The BoxToys API
// The BoxToys type takes two arguments:
//     the name of a toy
//     the number of of boxes we need for this toy
// And the type will return a tuple containing that toy that number of times.
// But there's one little thing.. We need to support the number of boxes being a union. That means our resulting tuple can also be a union. Check out test_nutcracker in the tests to see how that works.

type Stuff<A extends Array<string>, S extends string, N extends number> =
	A['length'] extends N ? A : Stuff<[...A, S], S, N>;

type TempObjectForUnionOfNumbersToUnionOfArrays<Toy extends string, NumberOfBoxes extends number> = {[Property in NumberOfBoxes]: Stuff<[], Toy, Property>}

type BoxToys<Toy extends string, NumberOfBoxes extends number> = TempObjectForUnionOfNumbersToUnionOfArrays<Toy, NumberOfBoxes>[NumberOfBoxes];