workadventure/front/src/Api/Events/MovePlayerToEvent.ts

12 lines
305 B
TypeScript
Raw Normal View History

2022-01-19 09:34:06 +01:00
import * as tg from "generic-type-guard";
export const isMovePlayerToEventConfig = new tg.IsInterface()
2022-01-19 09:34:06 +01:00
.withProperties({
x: tg.isNumber,
y: tg.isNumber,
speed: tg.isNumber,
})
.get();
export type MovePlayerToEvent = tg.GuardedType<typeof isMovePlayerToEventConfig>;