@antithesishq/bombadil 0.1.1

package/README.md

@@ -0,0 +1,39 @@
+# @antithesishq/bombadil
+
+> Version 0.1.1
+
+Type definitions for writing [Bombadil](https://github.com/antithesishq/bombadil) specifications.
+
+Bombadil is property-based testing for web UIs, autonomously exploring and
+validating correctness properties, *finding harder bugs earlier*.
+
+## Install
+
+```
+npm install --save-dev @antithesishq/bombadil
+```
+
+## Usage
+
+Re-export the default properties:
+
+```typescript
+export * from "@antithesishq/bombadil/defaults";
+```
+
+Or write custom properties:
+
+```typescript
+import { always, eventually, extract, now } from "@antithesishq/bombadil";
+
+const title = extract((state) =>
+  state.document.querySelector("h1")?.textContent ?? ""
+);
+
+export const has_title = always(() => title.current.trim() !== "");
+```
+
+## Documentation
+
+See the [Bombadil repository](https://github.com/antithesishq/bombadil) for
+full usage instructions and more examples.

package/dist/defaults.d.ts

@@ -0,0 +1,5 @@
+export declare const no_http_error_codes: import("bombadil").Always;
+export declare const no_uncaught_exceptions: import("bombadil").Always;
+export declare const no_unhandled_promise_rejections: import("bombadil").Always;
+export declare const no_console_errors: import("bombadil").Always;
+//# sourceMappingURL=defaults.d.ts.map

package/dist/defaults.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"defaults.d.ts","sourceRoot":"","sources":["../../9sp1ldc23f4jrk4xdmc9h05c77xcx7a8-source/src/specification/defaults.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,mBAAmB,2BAE/B,CAAC;AAIF,eAAO,MAAM,sBAAsB,2BAElC,CAAC;AAMF,eAAO,MAAM,+BAA+B,2BAE3C,CAAC;AAMF,eAAO,MAAM,iBAAiB,2BAE7B,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,83 @@
+import { type JSON, Duration, type TimeUnit, type Cell } from "bombadil/internal";
+export { time, type Cell } from "bombadil/internal";
+export declare class Formula {
+    not(): Formula;
+    and(that: IntoFormula): Formula;
+    or(that: IntoFormula): Formula;
+    implies(that: IntoFormula): Formula;
+}
+export declare class Pure extends Formula {
+    private pretty;
+    value: boolean;
+    constructor(pretty: string, value: boolean);
+    toString(): string;
+}
+export declare class And extends Formula {
+    left: Formula;
+    right: Formula;
+    constructor(left: Formula, right: Formula);
+    toString(): string;
+}
+export declare class Or extends Formula {
+    left: Formula;
+    right: Formula;
+    constructor(left: Formula, right: Formula);
+}
+export declare class Implies extends Formula {
+    left: Formula;
+    right: Formula;
+    constructor(left: Formula, right: Formula);
+    toString(): string;
+}
+export declare class Not extends Formula {
+    subformula: Formula;
+    constructor(subformula: Formula);
+    toString(): string;
+}
+export declare class Next extends Formula {
+    subformula: Formula;
+    constructor(subformula: Formula);
+    toString(): string;
+}
+export declare class Always extends Formula {
+    bound: Duration | null;
+    subformula: Formula;
+    constructor(bound: Duration | null, subformula: Formula);
+    within(n: number, unit: TimeUnit): Formula;
+    toString(): string;
+}
+export declare class Eventually extends Formula {
+    bound: Duration | null;
+    subformula: Formula;
+    constructor(bound: Duration | null, subformula: Formula);
+    within(n: number, unit: TimeUnit): Formula;
+    toString(): string;
+}
+export declare class Thunk extends Formula {
+    private pretty;
+    apply: () => Formula;
+    constructor(pretty: string, apply: () => Formula);
+    toString(): string;
+}
+type IntoFormula = (() => Formula | boolean) | Formula;
+export declare function not(value: IntoFormula): Not;
+export declare function now(x: IntoFormula): Formula;
+export declare function next(x: IntoFormula): Formula;
+export declare function always(x: IntoFormula): Always;
+export declare function eventually(x: IntoFormula): Eventually;
+export declare function extract<T extends JSON>(query: (state: State) => T): Cell<T>;
+export interface State {
+    document: HTMLDocument;
+    window: Window;
+    errors: {
+        uncaught_exception: JSON;
+        unhandled_promise_rejection: JSON;
+    };
+    console: ConsoleEntry[];
+}
+export type ConsoleEntry = {
+    timestamp: number;
+    level: "warning" | "error";
+    args: JSON[];
+};
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../9sp1ldc23f4jrk4xdmc9h05c77xcx7a8-source/src/specification/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,IAAI,EAGT,QAAQ,EACR,KAAK,QAAQ,EACb,KAAK,IAAI,EACV,MAAM,mBAAmB,CAAC;AAM3B,OAAO,EAAE,IAAI,EAAE,KAAK,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEpD,qBAAa,OAAO;IAClB,GAAG,IAAI,OAAO;IAGd,GAAG,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;IAG/B,EAAE,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;IAG9B,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO;CAGpC;AAED,qBAAa,IAAK,SAAQ,OAAO;IAE7B,OAAO,CAAC,MAAM;IACP,KAAK,EAAE,OAAO;gBADb,MAAM,EAAE,MAAM,EACf,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,GAAI,SAAQ,OAAO;IAErB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,EAAG,SAAQ,OAAO;IAEpB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;CAIxB;AAED,qBAAa,OAAQ,SAAQ,OAAO;IAEzB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,OAAO;gBADd,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO;IAKd,QAAQ;CAGlB;AAED,qBAAa,GAAI,SAAQ,OAAO;IACX,UAAU,EAAE,OAAO;gBAAnB,UAAU,EAAE,OAAO;IAG7B,QAAQ;CAGlB;AAED,qBAAa,IAAK,SAAQ,OAAO;IACZ,UAAU,EAAE,OAAO;gBAAnB,UAAU,EAAE,OAAO;IAI7B,QAAQ;CAGlB;AAED,qBAAa,MAAO,SAAQ,OAAO;IAExB,KAAK,EAAE,QAAQ,GAAG,IAAI;IACtB,UAAU,EAAE,OAAO;gBADnB,KAAK,EAAE,QAAQ,GAAG,IAAI,EACtB,UAAU,EAAE,OAAO;IAK5B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO;IAOjC,QAAQ;CAKlB;AAED,qBAAa,UAAW,SAAQ,OAAO;IAE5B,KAAK,EAAE,QAAQ,GAAG,IAAI;IACtB,UAAU,EAAE,OAAO;gBADnB,KAAK,EAAE,QAAQ,GAAG,IAAI,EACtB,UAAU,EAAE,OAAO;IAK5B,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO;IAOjC,QAAQ;CAKlB;AAED,qBAAa,KAAM,SAAQ,OAAO;IAE9B,OAAO,CAAC,MAAM;IACP,KAAK,EAAE,MAAM,OAAO;gBADnB,MAAM,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,OAAO;IAKpB,QAAQ;CAGlB;AAED,KAAK,WAAW,GAAG,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,OAAO,CAAC;AAEvD,wBAAgB,GAAG,CAAC,KAAK,EAAE,WAAW,OAErC;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CAe3C;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CAE5C;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,MAAM,CAE7C;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,WAAW,GAAG,UAAU,CAErD;AAED,wBAAgB,OAAO,CAAC,CAAC,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAE3E;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,EAAE,YAAY,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE;QACN,kBAAkB,EAAE,IAAI,CAAC;QACzB,2BAA2B,EAAE,IAAI,CAAC;KACnC,CAAC;IACF,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC;IAC3B,IAAI,EAAE,IAAI,EAAE,CAAC;CACd,CAAC"}

package/dist/internal.d.ts

@@ -0,0 +1,40 @@
+export type Time = number;
+export type TimeUnit = "milliseconds" | "seconds";
+export declare class Duration {
+    private n;
+    private unit;
+    constructor(n: number, unit: TimeUnit);
+    get milliseconds(): number;
+}
+export interface Cell<T> {
+    get current(): T;
+    at(time: Time): T;
+    update(snapshot: T, time: Time): void;
+}
+export type JSON = string | number | boolean | null | JSON[] | {
+    [key: string | number | symbol]: JSON;
+} | {
+    toJSON(): JSON;
+};
+export declare class ExtractorCell<T extends JSON, S> implements Cell<T> {
+    private extract;
+    private snapshots;
+    constructor(runtime: Runtime<S>, extract: (state: S) => T);
+    update(snapshot: T, time: Time): void;
+    get current(): T;
+    at(other: Time): T;
+    as_js_function(): string;
+}
+export declare class TimeCell implements Cell<Time> {
+    private time;
+    constructor();
+    update(_: {}, time: Time): void;
+    get current(): Time;
+    at(time: Time): Time;
+}
+export declare const time: Cell<Time>;
+export declare class Runtime<S> {
+    extractors: ExtractorCell<any, S>[];
+    register_extractor(cell: ExtractorCell<any, S>): void;
+}
+//# sourceMappingURL=internal.d.ts.map

package/dist/internal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../9sp1ldc23f4jrk4xdmc9h05c77xcx7a8-source/src/specification/internal.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAE1B,MAAM,MAAM,QAAQ,GAAG,cAAc,GAAG,SAAS,CAAC;AAElD,qBAAa,QAAQ;IAEjB,OAAO,CAAC,CAAC;IACT,OAAO,CAAC,IAAI;gBADJ,CAAC,EAAE,MAAM,EACT,IAAI,EAAE,QAAQ;IAGxB,IAAI,YAAY,IAAI,MAAM,CAOzB;CACF;AAED,MAAM,WAAW,IAAI,CAAC,CAAC;IACrB,IAAI,OAAO,IAAI,CAAC,CAAC;IACjB,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC;IAClB,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,MAAM,IAAI,GACZ,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,IAAI,EAAE,GACN;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;CAAE,GACzC;IAAE,MAAM,IAAI,IAAI,CAAA;CAAE,CAAC;AAEvB,qBAAa,aAAa,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAE,YAAW,IAAI,CAAC,CAAC,CAAC;IAI5D,OAAO,CAAC,OAAO;IAHjB,OAAO,CAAC,SAAS,CAAsB;gBAErC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EACX,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC;IAKlC,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI;IAIrC,IAAI,OAAO,IAAI,CAAC,CASf;IAED,EAAE,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC;IAclB,cAAc,IAAI,MAAM;CAGzB;AAED,qBAAa,QAAS,YAAW,IAAI,CAAC,IAAI,CAAC;IACzC,OAAO,CAAC,IAAI,CAA+B;;IAG3C,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI;IAIxB,IAAI,OAAO,IAAI,IAAI,CAKlB;IAED,EAAE,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;CAGrB;AAED,eAAO,MAAM,IAAI,EAAE,IAAI,CAAC,IAAI,CAAkB,CAAC;AAE/C,qBAAa,OAAO,CAAC,CAAC;IACpB,UAAU,EAAE,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAM;IAEzC,kBAAkB,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC;CAG/C"}

package/package.json

@@ -0,0 +1 @@
+{"description":"Type definitions for writing Bombadil specifications","exports":{".":{"types":"./dist/index.d.ts"},"./defaults":{"types":"./dist/defaults.d.ts"},"./internal":{"types":"./dist/internal.d.ts"}},"files":["dist","README.md"],"homepage":"https://github.com/antithesishq/bombadil","license":"MIT","name":"@antithesishq/bombadil","repository":{"type":"git","url":"https://github.com/antithesishq/bombadil"},"types":"./dist/index.d.ts","version":"0.1.1"}