2019-10-04 23:37:28 +02:00
|
|
|
/**
|
|
|
|
* @flow strict
|
|
|
|
*/
|
|
|
|
|
|
|
|
"use strict";
|
|
|
|
|
|
|
|
type RecipientUserIds = number[];
|
|
|
|
|
|
|
|
type Worker = {|
|
|
|
|
get_current_time: () => number, // as ms since epoch
|
|
|
|
notify_server_start: RecipientUserIds => void,
|
|
|
|
notify_server_stop: RecipientUserIds => void
|
|
|
|
|};
|
|
|
|
|
2019-10-21 23:03:19 +02:00
|
|
|
declare export function handle_text_input(
|
|
|
|
worker: Worker,
|
|
|
|
new_recipient: RecipientUserIds | void,
|
|
|
|
): void;
|
2019-10-04 23:37:28 +02:00
|
|
|
|
2019-10-21 23:03:19 +02:00
|
|
|
declare export function stop(worker: Worker): void;
|