2022-01-19 09:34:06 +01:00
|
|
|
import * as tg from "generic-type-guard";
|
|
|
|
|
2022-01-19 12:30:08 +01:00
|
|
|
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();
|
|
|
|
|
2022-01-19 12:30:08 +01:00
|
|
|
export type MovePlayerToEvent = tg.GuardedType<typeof isMovePlayerToEventConfig>;
|