This commit is contained in:
Tony Garnock-Jones 2021-02-23 15:41:54 +01:00
parent 5669154e96
commit ec5146a8a7
1 changed files with 2 additions and 5 deletions

View File

@ -1,10 +1,9 @@
import { IdentitySet, Value } from 'preserves'; import { IdentitySet, Value } from 'preserves';
export type Assertion = Value<Ref>; export type Assertion = Value<Ref>;
export type Handle = number; export type Handle = number;
export type ExitReason = null | { ok: true } | { ok: false, err: Error }; export type ExitReason = null | { ok: true } | { ok: false, err: Error };
export type LocalAction = (t: Turn) => void;
export const assert = Symbol('assert'); export const assert = Symbol('assert');
export const retract = Symbol('retract'); export const retract = Symbol('retract');
@ -44,7 +43,7 @@ export class Ref implements Entity {
} }
} }
export type OutboundMap = Map<Handle, Ref>; type OutboundMap = Map<Handle, Ref>;
export class Actor { export class Actor {
readonly outbound: OutboundMap; readonly outbound: OutboundMap;
@ -75,8 +74,6 @@ export class Actor {
let nextHandle = 0; let nextHandle = 0;
type LocalAction = (t: Turn) => void;
export class Turn { export class Turn {
readonly actor: Actor; readonly actor: Actor;
readonly queues: Map<Actor, LocalAction[]> = new Map(); readonly queues: Map<Actor, LocalAction[]> = new Map();