15 lines
421 B
TypeScript
15 lines
421 B
TypeScript
import { EntityDict } from "./Entity";
|
|
export declare type Action = string;
|
|
export declare type State = string;
|
|
export declare type ActionDef<A extends Action, S extends State> = {
|
|
stm: {
|
|
[a in A]: [p: S | S[], n: S];
|
|
};
|
|
is?: S;
|
|
};
|
|
export declare type ActionDictOfEntityDict<E extends EntityDict> = {
|
|
[T in keyof E]?: {
|
|
[A in keyof E[T]['OpSchema']]?: ActionDef<string, string>;
|
|
};
|
|
};
|