workadventure/pusher/src/Model/Websocket/ViewportMessage.ts

12 lines
308 B
TypeScript
Raw Normal View History

import * as tg from "generic-type-guard";
2021-06-24 10:09:10 +02:00
export const isViewport = new tg.IsInterface()
.withProperties({
left: tg.isNumber,
top: tg.isNumber,
right: tg.isNumber,
bottom: tg.isNumber,
2021-06-24 10:09:10 +02:00
})
.get();
export type ViewportInterface = tg.GuardedType<typeof isViewport>;