workadventure/front/src/Api/Events/MovePlayerToEvent.ts
2022-01-19 13:53:06 +01:00

12 lines
320 B
TypeScript

import * as tg from "generic-type-guard";
export const isMovePlayerToEventConfig = new tg.IsInterface()
.withProperties({
x: tg.isNumber,
y: tg.isNumber,
speed: tg.isOptional(tg.isNumber),
})
.get();
export type MovePlayerToEvent = tg.GuardedType<typeof isMovePlayerToEventConfig>;