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

13 lines
315 B
TypeScript
Raw Normal View History

2021-04-21 11:20:17 +02:00
import * as tg from "generic-type-guard";
export const isLoadPageEvent = new tg.IsInterface()
.withProperties({
2021-04-21 11:20:17 +02:00
url: tg.isString,
})
.get();
2021-04-21 11:20:17 +02:00
/**
* A message sent from the iFrame to the game to add a message in the chat.
*/
export type LoadPageEvent = tg.GuardedType<typeof isLoadPageEvent>;