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

12 lines
320 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,
2022-01-19 13:53:06 +01:00
speed: tg.isOptional(tg.isNumber),
2022-01-19 09:34:06 +01:00
})
.get();
export type MovePlayerToEvent = tg.GuardedType<typeof isMovePlayerToEventConfig>;