Skip to content

Commit

Permalink
Fixes 🚀˚ˆ
Browse files Browse the repository at this point in the history
  • Loading branch information
@chicio
chicio committed Jan 3, 2024
1 parent d1fb2d2 commit e2094aa
Showing 1 changed file with 28 additions and 28 deletions.
56 changes: 28 additions & 28 deletions src/posts/2023-12-30-advent-of-typescript-2023-rock-paper-scissors.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -98,10 +98,10 @@ Let's see what I implemented.

```typescript
type Move<
CurrentMovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
ExpectedMovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
CurrentMovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽',
ExpectedMovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'
CurrentMovePlayerA extends RockPaperScissors,
ExpectedMovePlayerA extends RockPaperScissors,
CurrentMovePlayerB extends RockPaperScissors,
ExpectedMovePlayerB extends RockPaperScissors
> =
CurrentMovePlayerA extends ExpectedMovePlayerA
? CurrentMovePlayerB extends ExpectedMovePlayerB
Expand All @@ -126,18 +126,18 @@ the code itself) way.
```typescript
type RockCrushesScissors<
MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'
MovePlayerA extends RockPaperScissors,
MovePlayerB extends RockPaperScissors
> = Move<MovePlayerA, '✌🏽', MovePlayerB, '👊🏻'>

type PaperCoversRock<
MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'
MovePlayerA extends RockPaperScissors,
MovePlayerB extends RockPaperScissors
> = Move<MovePlayerA, '👊🏻', MovePlayerB, '🖐🏾'>

type ScissorsCutPaper<
MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'
MovePlayerA extends RockPaperScissors,
MovePlayerB extends RockPaperScissors
> = Move<MovePlayerA, '🖐🏾', MovePlayerB, '✌🏽'>
```
Expand All @@ -156,7 +156,7 @@ The result of this type will always be the application of one and only one of th
`never` property we just saw, the rules that doesn't match will be discarded and omitted from the `SomeoneWon` type.
```typescript
type SomeoneWon<MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽', MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'> =
type SomeoneWon<MovePlayerA extends RockPaperScissors, MovePlayerB extends RockPaperScissors> =
| PaperCoversRock<MovePlayerA, MovePlayerB>
| ScissorsCutPaper<MovePlayerA, MovePlayerB>
| RockCrushesScissors<MovePlayerA, MovePlayerB>
Expand All @@ -168,8 +168,8 @@ moves were equal.
```typescript
type Draw<
MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'
MovePlayerA extends RockPaperScissors,
MovePlayerB extends RockPaperScissors
> = MovePlayerA extends MovePlayerB
? GameState.Draw
: false
Expand All @@ -182,7 +182,7 @@ describe the game state :sweat_smile:).
```typescript
type GameStateToString<State extends GameState> = `${State}`

type WhoWins<MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽', MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'> =
type WhoWins<MovePlayerA extends RockPaperScissors, MovePlayerB extends RockPaperScissors> =
Draw<MovePlayerA, MovePlayerB> extends GameState.Draw
? GameStateToString<GameState.Draw>
: GameStateToString<SomeoneWon<MovePlayerA, MovePlayerB>>;
Expand All @@ -202,10 +202,10 @@ enum GameState {
type GameStateToString<State extends GameState> = `${State}`

type Move<
CurrentMovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
ExpectedMovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
CurrentMovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽',
ExpectedMovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'
CurrentMovePlayerA extends RockPaperScissors,
ExpectedMovePlayerA extends RockPaperScissors,
CurrentMovePlayerB extends RockPaperScissors,
ExpectedMovePlayerB extends RockPaperScissors
> =
CurrentMovePlayerA extends ExpectedMovePlayerA
? CurrentMovePlayerB extends ExpectedMovePlayerB
Expand All @@ -214,33 +214,33 @@ type Move<
: never

type RockCrushesScissors<
MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'
MovePlayerA extends RockPaperScissors,
MovePlayerB extends RockPaperScissors
> = Move<MovePlayerA, '✌🏽', MovePlayerB, '👊🏻'>

type PaperCoversRock<
MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'
MovePlayerA extends RockPaperScissors,
MovePlayerB extends RockPaperScissors
> = Move<MovePlayerA, '👊🏻', MovePlayerB, '🖐🏾'>

type ScissorsCutPaper<
MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'
MovePlayerA extends RockPaperScissors,
MovePlayerB extends RockPaperScissors
> = Move<MovePlayerA, '🖐🏾', MovePlayerB, '✌🏽'>

type SomeoneWon<MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽', MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'> =
type SomeoneWon<MovePlayerA extends RockPaperScissors, MovePlayerB extends RockPaperScissors> =
| PaperCoversRock<MovePlayerA, MovePlayerB>
| ScissorsCutPaper<MovePlayerA, MovePlayerB>
| RockCrushesScissors<MovePlayerA, MovePlayerB>

type Draw<
MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽',
MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'
MovePlayerA extends RockPaperScissors,
MovePlayerB extends RockPaperScissors
> = MovePlayerA extends MovePlayerB
? GameState.Draw
: false

type WhoWins<MovePlayerA extends '👊🏻' | '🖐🏾' | '✌🏽', MovePlayerB extends '👊🏻' | '🖐🏾' | '✌🏽'> =
type WhoWins<MovePlayerA extends RockPaperScissors, MovePlayerB extends RockPaperScissors> =
Draw<MovePlayerA, MovePlayerB> extends GameState.Draw
? GameStateToString<GameState.Draw>
: GameStateToString<SomeoneWon<MovePlayerA, MovePlayerB>>;
Expand Down

0 comments on commit e2094aa

Please sign in to comment.