catsys
Version:
Category-theoretic system design framework for scalable, modular systems using mathematical foundations
7 lines (6 loc) • 331 B
TypeScript
import fc from "fast-check";
import type { Event } from "../src/spec";
export declare const genEvent: fc.Arbitrary<Event>;
export declare const genEvents: fc.Arbitrary<Event[]>;
export declare const fold: <S, E>(f: (s: S, e: E) => S, s0: S, es: ReadonlyArray<E>) => S;
export declare const chunk: <T>(xs: T[], n: number) => T[][];