@shajara/kernel 0.1.0

package/dist/internal/fp/index.d.ts

@@ -0,0 +1,6 @@
+export * from './lifting';
+export * from './wisp';
+export * from './wisp-either';
+export * from './wisp-option';
+export * from './sigil';
+//# sourceMappingURL=index.d.ts.map

package/dist/internal/fp/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/internal/fp/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,QAAQ,CAAC;AACvB,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,SAAS,CAAC"}

package/dist/internal/fp/lifting.d.ts

@@ -0,0 +1,21 @@
+import { Kind, Kind2, URIS, URIS2 } from 'fp-ts/HKT';
+import { chain } from 'fp-ts';
+export declare namespace lifting {
+    interface Lifting<M extends URIS, F extends URIS, C> extends chain.Chain1<M> {
+        readonly liftF: <A extends C>(fa: A) => Kind<M, Kind<F, A>>;
+    }
+    interface Lifting2<M extends URIS2, F extends URIS, C> extends chain.Chain2<M> {
+        readonly liftF: <E, A extends C>(fa: A) => Kind2<M, E, Kind<F, A>>;
+    }
+    function chainF<M extends URIS, F extends URIS, C>(M: Lifting<M, F, C>): <A, B extends C>(f: (a: A) => B) => (ma: Kind<M, A>) => Kind<M, Kind<F, B>>;
+    function chainF<M extends URIS2, F extends URIS, C>(M: Lifting2<M, F, C>): <E, A, B extends C>(f: (a: A) => B) => (ma: Kind2<M, E, A>) => Kind2<M, E, Kind<F, B>>;
+    function chainFirstF<M extends URIS, _ extends URIS, C>(M: Lifting<M, _, C>): <A, _ extends C>(f: (a: A) => _) => (ma: Kind<M, A>) => Kind<M, A>;
+    function chainFirstF<M extends URIS2, _ extends URIS, C>(M: Lifting2<M, _, C>): <E, A, _ extends C>(f: (a: A) => _) => (ma: Kind2<M, E, A>) => Kind2<M, E, A>;
+    function bindF<M extends URIS, F extends URIS, C>(M: Lifting<M, F, C>): <N extends string, A, B extends C>(name: Exclude<N, keyof A>, f: (a: A) => B) => (ma: Kind<M, A>) => Kind<M, {
+        readonly [K in N | keyof A]: K extends keyof A ? A[K] : Kind<F, B>;
+    }>;
+    function bindF<M extends URIS2, F extends URIS, C>(M: Lifting2<M, F, C>): <N extends string, E, A, B extends C>(name: Exclude<N, keyof A>, f: (a: A) => B) => (ma: Kind2<M, E, A>) => Kind2<M, E, {
+        readonly [K in N | keyof A]: K extends keyof A ? A[K] : Kind<F, B>;
+    }>;
+}
+//# sourceMappingURL=lifting.d.ts.map

package/dist/internal/fp/lifting.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifting.d.ts","sourceRoot":"","sources":["../../../src/internal/fp/lifting.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAC1D,OAAO,EAAE,KAAK,EAAY,MAAM,OAAO,CAAC;AAIxC,yBAAiB,OAAO,CAAC;IACvB,UAAiB,OAAO,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,CAAE,SAAQ,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACjF,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAC7D;IACD,UAAiB,QAAQ,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,CAAE,SAAQ,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACnF,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KACpE;IAED,SAAgB,MAAM,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,EACtD,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAClB,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/E,SAAgB,MAAM,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,EACvD,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACnB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAQ1F,SAAgB,WAAW,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,EAC3D,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAClB,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,SAAgB,WAAW,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,EAC5D,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACnB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAQjF,SAAgB,KAAK,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,EACrD,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAClB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,EAClC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EACzB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACX,CACH,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KACX,IAAI,CAAC,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;KAAE,CAAC,CAAC;IACrF,SAAgB,KAAK,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,EACtD,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACnB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,EACrC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EACzB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KACX,CACH,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KACf,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;KAAE,CAAC,CAAC;CAO1F"}

package/dist/internal/fp/sigil.d.ts

@@ -0,0 +1,11 @@
+import { Echo, SigilShape } from '../../contracts';
+declare module "fp-ts/HKT" {
+    interface URItoKind<A> {
+        readonly [sigil.URI]: A extends SigilShape ? Echo<A> : unknown;
+    }
+}
+export declare namespace sigil {
+    const URI = "Sigil";
+    type URI = typeof URI;
+}
+//# sourceMappingURL=sigil.d.ts.map

package/dist/internal/fp/sigil.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sigil.d.ts","sourceRoot":"","sources":["../../../src/internal/fp/sigil.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEpD,OAAO,QAAQ,WAAW,CAAC;IACzB,UAAU,SAAS,CAAC,CAAC;QACnB,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;KAChE;CACF;AAGD,yBAAiB,KAAK,CAAC;IACd,MAAM,GAAG,UAAU,CAAC;IAC3B,KAAY,GAAG,GAAG,OAAO,GAAG,CAAC;CAC9B"}

package/dist/internal/fp/wisp-either.d.ts

@@ -0,0 +1,53 @@
+import { SigilShape, Wisp } from '../../contracts';
+import { applicative, apply, either, functor, monad, pointed, chain as fpChain, fromIO as fpFromIO } from 'fp-ts';
+import { lifting } from './lifting';
+import { sigil } from './sigil';
+declare module "fp-ts/HKT" {
+    interface URItoKind2<E, A> {
+        readonly [wispEither.URI]: wispEither.WispEither<E, A>;
+    }
+}
+export declare namespace wispEither {
+    const URI = "WispEither";
+    type URI = typeof URI;
+    type WispEither<E, A> = Wisp<either.Either<E, A>>;
+    const left: <E, A = never>(e: E) => Wisp<either.Either<E, A>>;
+    const right: <A, E = never>(a: A) => Wisp<either.Either<E, A>>;
+    const map: <A, B>(f: (a: A) => B) => <E>(fa: Wisp<either.Either<E, A>>) => Wisp<either.Either<E, B>>;
+    const ap: <E, A>(fa: Wisp<either.Either<E, A>>) => <B>(fab: Wisp<either.Either<E, (a: A) => B>>) => Wisp<either.Either<E, B>>;
+    const chain: <A, E, B>(f: (a: A) => Wisp<either.Either<E, B>>) => (ma: Wisp<either.Either<E, A>>) => Wisp<either.Either<E, B>>;
+    const leftWisp: <E, A = never>(fe: Wisp<E>) => Wisp<either.Either<E, A>>;
+    const rightWisp: <A, E = never>(fa: Wisp<A>) => Wisp<either.Either<E, A>>;
+    const Pointed: pointed.Pointed2<URI>;
+    const Functor: functor.Functor2<URI>;
+    const Apply: apply.Apply2<URI>;
+    const Applicative: applicative.Applicative2<URI>;
+    const Chain: fpChain.Chain2<URI>;
+    const Monad: monad.Monad2<URI>;
+    const Lifting: lifting.Lifting2<URI, sigil.URI, SigilShape>;
+    const FromIO: fpFromIO.FromIO2<URI>;
+    const bind: <N extends string, A, E, B>(name: Exclude<N, keyof A>, f: (a: A) => WispEither<E, B>) => (ma: WispEither<E, A>) => WispEither<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B; }>;
+    const chainFirst: <A, E, _>(f: (a: A) => WispEither<E, _>) => (first: WispEither<E, A>) => WispEither<E, A>;
+    const sequence: <E, A>(ta: readonly WispEither<E, A>[]) => WispEither<E, readonly A[]>;
+    const liftF: <E, A extends SigilShape>(fa: A) => WispEither<E, A extends SigilShape ? import("#/contracts").Echo<A> : unknown>;
+    const bindF: <N extends string, E, A, B extends SigilShape>(name: Exclude<N, keyof A>, f: (a: A) => B) => (ma: WispEither<E, A>) => WispEither<E, { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B extends SigilShape ? import("#/contracts").Echo<B> : unknown; }>;
+    const chainF: <E, A, B extends SigilShape>(f: (a: A) => B) => (ma: WispEither<E, A>) => WispEither<E, B extends SigilShape ? import("#/contracts").Echo<B> : unknown>;
+    const chainFirstF: <E, A, _ extends SigilShape>(f: (a: A) => _) => (ma: WispEither<E, A>) => WispEither<E, A>;
+    const fromIO: <A, E>(fa: import("fp-ts/lib/IO").IO<A>) => WispEither<E, A>;
+    const chainFirstIOK: <A, B>(f: (a: A) => import("fp-ts/lib/IO").IO<B>) => <E>(first: WispEither<E, A>) => WispEither<E, A>;
+    const chainIOK: <A, B>(f: (a: A) => import("fp-ts/lib/IO").IO<B>) => <E>(first: WispEither<E, A>) => WispEither<E, B>;
+    const alt: <E, A>(second: import("fp-ts/function").LazyArg<Wisp<either.Either<E, A>>>) => (first: Wisp<either.Either<E, A>>) => Wisp<either.Either<E, A>>;
+    const bimap: <E, G, A, B>(f: (e: E) => G, g: (a: A) => B) => (self: Wisp<either.Either<E, A>>) => Wisp<either.Either<G, B>>;
+    const chainNullableK: <E>(e: E) => <A, B>(f: (a: A) => B | null | undefined) => (ma: Wisp<either.Either<E, A>>) => Wisp<either.Either<E, NonNullable<B>>>;
+    const fromNullable: <E>(e: E) => <A>(a: A) => Wisp<either.Either<E, NonNullable<A>>>;
+    const getOrElse: <E, A>(onLeft: (e: E) => Wisp<A>) => (ma: Wisp<either.Either<E, A>>) => Wisp<A>;
+    const mapLeft: <E, G>(f: (e: E) => G) => <A>(self: Wisp<either.Either<E, A>>) => Wisp<either.Either<G, A>>;
+    const match: <E, B, A>(onLeft: (e: E) => B, onRight: (a: A) => B) => (ma: Wisp<either.Either<E, A>>) => Wisp<B>;
+    const matchE: <E, B, A>(onLeft: (e: E) => Wisp<B>, onRight: (a: A) => Wisp<B>) => (ma: Wisp<either.Either<E, A>>) => Wisp<B>;
+    const orElse: <E1, E2, A>(onLeft: (e: E1) => Wisp<either.Either<E2, A>>) => (ma: Wisp<either.Either<E1, A>>) => Wisp<either.Either<E2, A>>;
+    const orElseFirst: <E, B>(onLeft: (e: E) => Wisp<either.Either<E, B>>) => <A>(ma: Wisp<either.Either<E, A>>) => Wisp<either.Either<E, A>>;
+    const orLeft: <E1, E2>(onLeft: (e: E1) => Wisp<E2>) => <A>(fa: Wisp<either.Either<E1, A>>) => Wisp<either.Either<E2, A>>;
+    const swap: <E, A>(ma: Wisp<either.Either<E, A>>) => Wisp<either.Either<A, E>>;
+    const toUnion: <E, A>(fa: Wisp<either.Either<E, A>>) => Wisp<E | A>;
+}
+//# sourceMappingURL=wisp-either.d.ts.map

package/dist/internal/fp/wisp-either.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wisp-either.d.ts","sourceRoot":"","sources":["../../../src/internal/fp/wisp-either.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC;AACjF,OAAO,EAAW,KAAK,IAAI,OAAO,EAAE,MAAM,IAAI,QAAQ,EAAiB,MAAM,OAAO,CAAC;AAErF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAGrC,OAAO,QAAQ,WAAW,CAAC;IACzB,UAAU,UAAU,CAAC,CAAC,EAAE,CAAC;QACvB,QAAQ,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KACxD;CACF;AAGD,yBAAiB,UAAU,CAAC;IACnB,MAAM,GAAG,eAAe,CAAC;IAChC,KAAY,GAAG,GAAG,OAAO,GAAG,CAAC;IAE7B,KAAY,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAElD,MAAM,IAAI,mDAA6B,CAAC;IACxC,MAAM,KAAK,mDAA8B,CAAC;IAE1C,MAAM,GAAG,2FAA4B,CAAC;IACtC,MAAM,EAAE,qHAAyB,CAAC;IAClC,MAAM,KAAK,mHAA4B,CAAC;IAExC,MAAM,QAAQ,0DAA8B,CAAC;IAC7C,MAAM,SAAS,0DAA+B,CAAC;IAE/C,MAAM,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAGzC,CAAC;IAEK,MAAM,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAGzC,CAAC;IAEK,MAAM,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAInC,CAAC;IAEK,MAAM,WAAW,EAAE,WAAW,CAAC,YAAY,CAAC,GAAG,CAKrD,CAAC;IAEK,MAAM,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAKrC,CAAC;IAEK,MAAM,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAMnC,CAAC;IAEK,MAAM,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,UAAU,CAMhE,CAAC;IAEK,MAAM,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAGxC,CAAC;IAEK,MAAM,IAAI,kMAAsB,CAAC;IACjC,MAAM,UAAU,2FAA4B,CAAC;IAE7C,MAAM,QAAQ,wEAAsC,CAAC;IAErD,MAAQ,KAAK,mHAAY,CAAC;IAC1B,MAAM,KAAK,mQAAyB,CAAC;IACrC,MAAM,MAAM,yJAA0B,CAAC;IACvC,MAAM,WAAW,4FAA+B,CAAC;IAEjD,MAAQ,MAAM,8DAAW,CAAC;IAC1B,MAAM,aAAa,uGAAwC,CAAC;IAC5D,MAAM,QAAQ,uGAAmC,CAAC;IAElD,MAAM,GAAG,gJAA0B,CAAC;IACpC,MAAM,KAAK,gHAA4B,CAAC;IACxC,MAAM,cAAc,qIAAqC,CAAC;IAC1D,MAAM,YAAY,kEAAqC,CAAC;IACxD,MAAM,SAAS,iFAAgC,CAAC;IAChD,MAAM,OAAO,6FAAgC,CAAC;IAC9C,MAAM,KAAK,oGAA4B,CAAC;IACxC,MAAM,MAAM,gHAA6B,CAAC;IAC1C,MAAM,MAAM,8HAA6B,CAAC;IAC1C,MAAM,WAAW,wHAAkC,CAAC;IACpD,MAAM,MAAM,4GAA6B,CAAC;IAC1C,MAAM,IAAI,oEAA6B,CAAC;IACxC,MAAM,OAAO,sDAAgC,CAAC;CACtD"}

package/dist/internal/fp/wisp-option.d.ts

@@ -0,0 +1,52 @@
+import { SigilShape, Wisp } from '../../contracts';
+import { applicative, apply, functor, monad, option, pointed, chain as fpChain, fromIO as fpFromIO } from 'fp-ts';
+import { lifting } from './lifting';
+import { sigil } from './sigil';
+declare module "fp-ts/HKT" {
+    interface URItoKind<A> {
+        readonly [wispOption.URI]: wispOption.WispOption<A>;
+    }
+}
+export declare namespace wispOption {
+    const URI = "WispOption";
+    type URI = typeof URI;
+    type WispOption<A> = Wisp<option.Option<A>>;
+    const some: <A>(a: A) => Wisp<option.Option<A>>;
+    const map: <A, B>(f: (a: A) => B) => (fa: Wisp<option.Option<A>>) => Wisp<option.Option<B>>;
+    const ap: <A>(fa: Wisp<option.Option<A>>) => <B>(fab: Wisp<option.Option<(a: A) => B>>) => Wisp<option.Option<B>>;
+    const chain: <A, B>(f: (a: A) => Wisp<option.Option<B>>) => (ma: Wisp<option.Option<A>>) => Wisp<option.Option<B>>;
+    const fromWisp: <A>(ma: Wisp<A>) => Wisp<option.Option<A>>;
+    const Pointed: pointed.Pointed1<URI>;
+    const Functor: functor.Functor1<URI>;
+    const Apply: apply.Apply1<URI>;
+    const Applicative: applicative.Applicative1<URI>;
+    const Chain: fpChain.Chain1<URI>;
+    const Monad: monad.Monad1<URI>;
+    const Lifting: lifting.Lifting<URI, sigil.URI, SigilShape>;
+    const FromIO: fpFromIO.FromIO1<URI>;
+    const bind: <N extends string, A, B>(name: Exclude<N, keyof A>, f: (a: A) => WispOption<B>) => (ma: WispOption<A>) => WispOption<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B; }>;
+    const chainFirst: <A, _>(f: (a: A) => WispOption<_>) => (first: WispOption<A>) => WispOption<A>;
+    const sequence: <A>(ta: readonly WispOption<A>[]) => WispOption<readonly A[]>;
+    const liftF: <A extends SigilShape>(fa: A) => WispOption<A extends SigilShape ? import("#/contracts").Echo<A> : unknown>;
+    const bindF: <N extends string, A, B extends SigilShape>(name: Exclude<N, keyof A>, f: (a: A) => B) => (ma: WispOption<A>) => WispOption<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B extends SigilShape ? import("#/contracts").Echo<B> : unknown; }>;
+    const chainF: <A, B extends SigilShape>(f: (a: A) => B) => (ma: WispOption<A>) => WispOption<B extends SigilShape ? import("#/contracts").Echo<B> : unknown>;
+    const chainFirstF: <A, _ extends SigilShape>(f: (a: A) => _) => (ma: WispOption<A>) => WispOption<A>;
+    const fromIO: <A>(fa: import("fp-ts/lib/IO").IO<A>) => WispOption<A>;
+    const chainFirstIOK: <A, B>(f: (a: A) => import("fp-ts/lib/IO").IO<B>) => (first: WispOption<A>) => WispOption<A>;
+    const chainIOK: <A, B>(f: (a: A) => import("fp-ts/lib/IO").IO<B>) => (first: WispOption<A>) => WispOption<B>;
+    const alt: <A>(second: import("fp-ts/function").LazyArg<Wisp<option.Option<A>>>) => (first: Wisp<option.Option<A>>) => Wisp<option.Option<A>>;
+    const chainNullableK: <A, B>(f: (a: A) => B | null | undefined) => (ma: Wisp<option.Option<A>>) => Wisp<option.Option<NonNullable<B>>>;
+    const chainOptionK: <A, B>(f: (a: A) => option.Option<B>) => (ma: Wisp<option.Option<A>>) => Wisp<option.Option<B>>;
+    const fromEither: <A>(e: import("fp-ts/lib/Either").Either<unknown, A>) => Wisp<option.Option<A>>;
+    const fromNullable: <A>(a: A) => Wisp<option.Option<NonNullable<A>>>;
+    const fromPredicate: {
+        <A, B extends A>(refinement: import("fp-ts/lib/Refinement").Refinement<A, B>): (a: A) => Wisp<option.Option<B>>;
+        <A>(predicate: import("fp-ts/lib/Predicate").Predicate<A>): <B extends A>(b: B) => Wisp<option.Option<B>>;
+        <A>(predicate: import("fp-ts/lib/Predicate").Predicate<A>): (a: A) => Wisp<option.Option<A>>;
+    };
+    const getOrElse: <A>(onNone: import("fp-ts/function").LazyArg<Wisp<A>>) => (fa: Wisp<option.Option<A>>) => Wisp<A>;
+    const match: <B, A>(onNone: () => B, onSome: (a: A) => B) => (ma: Wisp<option.Option<A>>) => Wisp<B>;
+    const matchE: <B, A>(onNone: () => Wisp<B>, onSome: (a: A) => Wisp<B>) => (ma: Wisp<option.Option<A>>) => Wisp<B>;
+    const zero: <A>() => Wisp<option.Option<A>>;
+}
+//# sourceMappingURL=wisp-option.d.ts.map

package/dist/internal/fp/wisp-option.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wisp-option.d.ts","sourceRoot":"","sources":["../../../src/internal/fp/wisp-option.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC;AACjF,OAAO,EAAE,KAAK,IAAI,OAAO,EAAE,MAAM,IAAI,QAAQ,EAA0B,MAAM,OAAO,CAAC;AAErF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAGrC,OAAO,QAAQ,WAAW,CAAC;IACzB,UAAU,SAAS,CAAC,CAAC;QACnB,QAAQ,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;KACrD;CACF;AAGD,yBAAiB,UAAU,CAAC;IACnB,MAAM,GAAG,eAAe,CAAC;IAChC,KAAY,GAAG,GAAG,OAAO,GAAG,CAAC;IAE7B,KAAY,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5C,MAAM,IAAI,qCAA6B,CAAC;IAExC,MAAM,GAAG,kFAA4B,CAAC;IACtC,MAAM,EAAE,yGAAyB,CAAC;IAClC,MAAM,KAAK,uGAA4B,CAAC;IAExC,MAAM,QAAQ,4CAA8B,CAAC;IAE7C,MAAM,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAGzC,CAAC;IAEK,MAAM,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAGzC,CAAC;IAEK,MAAM,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAInC,CAAC;IAEK,MAAM,WAAW,EAAE,WAAW,CAAC,YAAY,CAAC,GAAG,CAKrD,CAAC;IAEK,MAAM,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAKrC,CAAC;IAEK,MAAM,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAMnC,CAAC;IAEK,MAAM,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,UAAU,CAM/D,CAAC;IAEK,MAAM,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAGxC,CAAC;IAEK,MAAM,IAAI,sLAAsB,CAAC;IACjC,MAAM,UAAU,+EAA4B,CAAC;IAE7C,MAAM,QAAQ,+DAAsC,CAAC;IAErD,MAAQ,KAAK,6GAAY,CAAC;IAC1B,MAAM,KAAK,0PAAyB,CAAC;IACrC,MAAM,MAAM,gJAA0B,CAAC;IACvC,MAAM,WAAW,mFAA+B,CAAC;IAEjD,MAAQ,MAAM,wDAAW,CAAC;IAC1B,MAAM,aAAa,8FAAwC,CAAC;IAC5D,MAAM,QAAQ,8FAAmC,CAAC;IAElD,MAAM,GAAG,oIAA0B,CAAC;IACpC,MAAM,cAAc,kHAAqC,CAAC;IAC1D,MAAM,YAAY,iGAAmC,CAAC;IACtD,MAAM,UAAU,iFAAmC,CAAC;IACpD,MAAM,YAAY,kDAAqC,CAAC;IACxD,MAAM,aAAa;;;;KAAsC,CAAC;IAC1D,MAAM,SAAS,mGAAgC,CAAC;IAChD,MAAM,KAAK,yFAA8B,CAAC;IAC1C,MAAM,MAAM,qGAA6B,CAAC;IAC1C,MAAM,IAAI,iCAA6B,CAAC;CAChD"}

package/dist/internal/fp/wisp.d.ts

@@ -0,0 +1,37 @@
+import { SigilShape, Wisp } from '../../contracts';
+import { applicative, apply, functor, monad, pointed, chain as fpChain, fromIO as fpFromIO } from 'fp-ts';
+import { lifting } from './lifting';
+import { sigil } from './sigil';
+declare module "fp-ts/HKT" {
+    interface URItoKind<A> {
+        readonly [wisp.URI]: Wisp<A>;
+    }
+}
+export declare namespace wisp {
+    const URI = "Wisp";
+    type URI = typeof URI;
+    const Pointed: pointed.Pointed1<URI>;
+    const Functor: functor.Functor1<URI>;
+    const Apply: apply.Apply1<URI>;
+    const Applicative: applicative.Applicative1<URI>;
+    const Chain: fpChain.Chain1<URI>;
+    const Monad: monad.Monad1<URI>;
+    const Do: import("#/contracts").RestingWisp<null>;
+    const Lifting: lifting.Lifting<URI, sigil.URI, SigilShape>;
+    const FromIO: fpFromIO.FromIO1<URI>;
+    const of: <A>(a: A) => Wisp<A>;
+    const map: <A, B>(f: (a: A) => B) => (fa: Wisp<A>) => Wisp<B>;
+    const ap: <A>(fa: Wisp<A>) => <B>(fab: Wisp<(a: A) => B>) => Wisp<B>;
+    const chain: <A, B>(f: (a: A) => Wisp<B>) => (fa: Wisp<A>) => Wisp<B>;
+    const bind: <N extends string, A, B>(name: Exclude<N, keyof A>, f: (a: A) => Wisp<B>) => (ma: Wisp<A>) => Wisp<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B; }>;
+    const chainFirst: <A, _>(f: (a: A) => Wisp<_>) => (first: Wisp<A>) => Wisp<A>;
+    const sequence: <A>(ta: readonly Wisp<A>[]) => Wisp<readonly A[]>;
+    const liftF: <A extends SigilShape>(fa: A) => Wisp<A extends SigilShape ? import("#/contracts").Echo<A> : unknown>;
+    const bindF: <N extends string, A, B extends SigilShape>(name: Exclude<N, keyof A>, f: (a: A) => B) => (ma: Wisp<A>) => Wisp<{ readonly [K in N | keyof A]: K extends keyof A ? A[K] : B extends SigilShape ? import("#/contracts").Echo<B> : unknown; }>;
+    const chainF: <A, B extends SigilShape>(f: (a: A) => B) => (ma: Wisp<A>) => Wisp<B extends SigilShape ? import("#/contracts").Echo<B> : unknown>;
+    const chainFirstF: <A, _ extends SigilShape>(f: (a: A) => _) => (ma: Wisp<A>) => Wisp<A>;
+    const fromIO: <A>(fa: import("fp-ts/lib/IO").IO<A>) => Wisp<A>;
+    const chainFirstIOK: <A, B>(f: (a: A) => import("fp-ts/lib/IO").IO<B>) => (first: Wisp<A>) => Wisp<A>;
+    const chainIOK: <A, B>(f: (a: A) => import("fp-ts/lib/IO").IO<B>) => (first: Wisp<A>) => Wisp<B>;
+}
+//# sourceMappingURL=wisp.d.ts.map

package/dist/internal/fp/wisp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wisp.d.ts","sourceRoot":"","sources":["../../../src/internal/fp/wisp.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,OAAO,CAAC;AAEzE,OAAO,EAAE,KAAK,IAAI,OAAO,EAAE,MAAM,IAAI,QAAQ,EAA2B,MAAM,OAAO,CAAC;AACtF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAErC,OAAO,QAAQ,WAAW,CAAC;IACzB,UAAU,SAAS,CAAC,CAAC;QACnB,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;KAC9B;CACF;AAGD,yBAAiB,IAAI,CAAC;IACb,MAAM,GAAG,SAAS,CAAC;IAC1B,KAAY,GAAG,GAAG,OAAO,GAAG,CAAC;IAEtB,MAAM,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAGzC,CAAC;IAEK,MAAM,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAMzC,CAAC;IAEK,MAAM,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAQnC,CAAC;IAEK,MAAM,WAAW,EAAE,WAAW,CAAC,YAAY,CAAC,GAAG,CAKrD,CAAC;IAEK,MAAM,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAQrC,CAAC;IAEK,MAAM,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAMnC,CAAC;IAEK,MAAM,EAAE,yCAAoB,CAAC;IAE7B,MAAM,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,UAAU,CAM/D,CAAC;IAEK,MAAM,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAGxC,CAAC;IAEK,MAAQ,EAAE,sBAAY,CAAC;IAEvB,MAAM,GAAG,oDAAwB,CAAC;IAClC,MAAM,EAAE,4DAAqB,CAAC;IAC9B,MAAM,KAAK,0DAAwB,CAAC;IAEpC,MAAM,IAAI,oKAAsB,CAAC;IACjC,MAAM,UAAU,6DAA4B,CAAC;IAE7C,MAAM,QAAQ,mDAAsC,CAAC;IACrD,MAAQ,KAAK,uGAAY,CAAC;IAC1B,MAAM,KAAK,8OAAyB,CAAC;IACrC,MAAM,MAAM,oIAA0B,CAAC;IACvC,MAAM,WAAW,uEAA+B,CAAC;IAEjD,MAAQ,MAAM,kDAAW,CAAC;IAC1B,MAAM,aAAa,kFAAwC,CAAC;IAC5D,MAAM,QAAQ,kFAAmC,CAAC;CAC1D"}

package/dist/interpreter/index.d.ts

@@ -0,0 +1,4 @@
+export * from './interpreter';
+export type * from './process-step';
+export * from './scope-zone';
+//# sourceMappingURL=index.d.ts.map

package/dist/interpreter/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/interpreter/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,mBAAmB,gBAAgB,CAAC;AACpC,cAAc,cAAc,CAAC"}

package/dist/interpreter/interpreter.d.ts

@@ -0,0 +1,48 @@
+import { ContextKey, FutureKey, FutureResult, FutureSettleKey, ProcessRef, Ritual, ScopeRef, Suppressor } from '../contracts';
+import { FutureSettler } from './runtime-future';
+import { ScopeDescriptor } from '../sigils';
+import { option } from 'fp-ts';
+import { Disposer } from '../utils';
+import { Failure } from '../failures';
+import { ProcessStep } from './process-step';
+import { ScopeZone } from './scope-zone';
+import { TaggedUnion } from 'type-fest';
+export declare class Interpreter {
+    #private;
+    private readonly entry;
+    private readonly zoneRoot;
+    static create(entry: Ritual<unknown>, zone: ScopeZone): Interpreter;
+    step<Relic>(process: ProcessRef<Relic>, suppressor: Suppressor): ProcessStep<Relic>;
+    spawn<Relic>(scope: ScopeRef<unknown>, worker: Ritual<Relic>, suppressor: Suppressor): ProcessRef<Relic>;
+    lookup<Value>(scope: ScopeRef<unknown>, contextKey: ContextKey<Value>): option.Option<Value>;
+    poll<Result>(future: FutureKey<Result> | FutureSettleKey<Result>): option.Option<FutureResult<Result>>;
+    wait<Result>(future: FutureKey<Result> | FutureSettleKey<Result>, onSettled: FutureSettler<Result>): Disposer;
+    forceFailed(scope: ScopeRef<unknown>, failure: Failure, suppressor: Suppressor): void;
+    scopeState(scope: ScopeRef<unknown>): ScopeState;
+    processState(process: ProcessRef<unknown>): ProcessState;
+    scope(process: ProcessRef<unknown>): ScopeRef<unknown>;
+    get scopeRoot(): ScopeRef<void>;
+    get processRoot(): ProcessRef<void>;
+    get isClosed(): boolean;
+    protected constructor(entry: Ritual<unknown>, zoneRoot: ScopeZone);
+    protected scopeBranch(scope: ScopeRef<unknown>, entry: Ritual<unknown>, descriptor: ScopeDescriptor, zone: ScopeZone, suppressor: Suppressor): ScopeRef<unknown>;
+    protected initialize(): void;
+}
+export type ScopeState = TaggedUnion<"status", {
+    closed: ScopeInfo;
+    closing: ScopeInfo;
+    open: ScopeInfo;
+}>;
+export type ProcessState = TaggedUnion<"status", {
+    closed: {};
+    open: {
+        readonly activity: "running" | "waiting";
+    };
+}>;
+export interface ScopeInfo extends Record<string, unknown> {
+    readonly children: readonly ScopeRef<unknown>[];
+    readonly descriptor: ScopeDescriptor;
+    readonly parent: ScopeRef<unknown> | null;
+    readonly zone: ScopeZone;
+}
+//# sourceMappingURL=interpreter.d.ts.map

package/dist/interpreter/interpreter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interpreter.d.ts","sourceRoot":"","sources":["../../src/interpreter/interpreter.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EACV,UAAU,EAEV,SAAS,EACT,YAAY,EACZ,eAAe,EAEf,UAAU,EACV,MAAM,EACN,QAAQ,EACR,UAAU,EACX,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,aAAa,EAAiB,MAAM,kBAAkB,CAAC;AACrE,OAAO,KAAK,EAAqB,eAAe,EAAqB,MAAM,UAAU,CAAC;AAEtF,OAAO,EAAU,MAAM,EAAE,MAAM,OAAO,CAAC;AAQvC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAGlD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAG7C,qBAAa,WAAW;;IA0JpB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,QAAQ;WA1Jb,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,GAAG,WAAW;IAMnE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC;IAmDnF,KAAK,CAAC,KAAK,EAChB,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EACxB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EACrB,UAAU,EAAE,UAAU,GACrB,UAAU,CAAC,KAAK,CAAC;IAUb,MAAM,CAAC,KAAK,EACjB,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EACxB,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,GAC5B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;IAIhB,IAAI,CAAC,MAAM,EAChB,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,GAClD,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAI/B,IAAI,CAAC,MAAM,EAChB,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,EACnD,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,GAC/B,QAAQ;IAIJ,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,GAAG,IAAI;IAIrF,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,UAAU;IAuBhD,YAAY,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,YAAY;IAkBxD,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;IAI7D,IAAW,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,CAErC;IAED,IAAW,WAAW,IAAI,UAAU,CAAC,IAAI,CAAC,CAEzC;IAED,IAAW,QAAQ,IAAI,OAAO,CAE7B;IAED,SAAS,aACU,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,EACtB,QAAQ,EAAE,SAAS;IAItC,SAAS,CAAC,WAAW,CACnB,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,EACxB,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,EACtB,UAAU,EAAE,eAAe,EAC3B,IAAI,EAAE,SAAS,EACf,UAAU,EAAE,UAAU,GACrB,QAAQ,CAAC,OAAO,CAAC;IAYpB,SAAS,CAAC,UAAU,IAAI,IAAI;CA8J7B;AAED,MAAM,MAAM,UAAU,GAAG,WAAW,CAClC,QAAQ,EACR;IACE,MAAM,EAAE,SAAS,CAAC;IAClB,OAAO,EAAE,SAAS,CAAC;IACnB,IAAI,EAAE,SAAS,CAAC;CACjB,CACF,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,WAAW,CACpC,QAAQ,EACR;IACE,MAAM,EAAE,EAAE,CAAC;IACX,IAAI,EAAE;QACJ,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,SAAS,CAAC;KAC1C,CAAC;CACH,CACF,CAAC;AAEF,MAAM,WAAW,SAAU,SAAQ,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IACxD,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;IAChD,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B"}

package/dist/interpreter/process-step.d.ts

@@ -0,0 +1,21 @@
+import { FutureResult } from '../contracts';
+import { TaggedUnion } from 'type-fest';
+export type ProcessStep<Relic> = TaggedUnion<"disposition", {
+    waiting: {};
+    ceded: {};
+    interpreted: {};
+    resonated: {};
+    exited: {
+        readonly result: FutureResult<Relic>;
+    };
+}>;
+export type ProcessStepDisposition = ProcessStep<unknown>["disposition"];
+export type ProcessStepOf<Relic, Disposition extends ProcessStepDisposition> = Extract<ProcessStep<Relic>, {
+    readonly disposition: Disposition;
+}>;
+export declare function processWaitingStep<Relic>(): ProcessStepOf<Relic, "waiting">;
+export declare function processCededStep<Relic>(): ProcessStepOf<Relic, "ceded">;
+export declare function processInterpretedStep<Relic>(): ProcessStepOf<Relic, "interpreted">;
+export declare function processResonatedStep<Relic>(): ProcessStepOf<Relic, "resonated">;
+export declare function processExitedStep<Relic>(result: FutureResult<Relic>): ProcessStepOf<Relic, "exited">;
+//# sourceMappingURL=process-step.d.ts.map

package/dist/interpreter/process-step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"process-step.d.ts","sourceRoot":"","sources":["../../src/interpreter/process-step.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAE7C,MAAM,MAAM,WAAW,CAAC,KAAK,IAAI,WAAW,CAC1C,aAAa,EACb;IACE,OAAO,EAAE,EAAE,CAAC;IACZ,KAAK,EAAE,EAAE,CAAC;IACV,WAAW,EAAE,EAAE,CAAC;IAChB,SAAS,EAAE,EAAE,CAAC;IACd,MAAM,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,CAAA;KAAE,CAAC;CAClD,CACF,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC;AAEzE,MAAM,MAAM,aAAa,CAAC,KAAK,EAAE,WAAW,SAAS,sBAAsB,IAAI,OAAO,CACpF,WAAW,CAAC,KAAK,CAAC,EAClB;IAAE,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;CAAE,CACtC,CAAC;AAEF,wBAAgB,kBAAkB,CAAC,KAAK,KAAK,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAE3E;AAED,wBAAgB,gBAAgB,CAAC,KAAK,KAAK,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAEvE;AAED,wBAAgB,sBAAsB,CAAC,KAAK,KAAK,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC,CAEnF;AAED,wBAAgB,oBAAoB,CAAC,KAAK,KAAK,aAAa,CAAC,KAAK,EAAE,WAAW,CAAC,CAE/E;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EACrC,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,GAC1B,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAEhC"}

package/dist/interpreter/runtime-future.d.ts

@@ -0,0 +1,14 @@
+import { FutureHandle, FutureKey, FutureResult, FutureSettleKey, KEY_TOKEN, Suppressor } from '../contracts';
+import { Disposer } from '../utils';
+import { option } from 'fp-ts';
+export declare class RuntimeFuture<out Result> implements FutureKey<Result>, FutureSettleKey<Result> {
+    #private;
+    poll(): option.Option<FutureResult<Result>>;
+    wait(onSettled: FutureSettler<Result>): Disposer;
+    settle(result: FutureResult<Result>): FutureNotification;
+    handle(): FutureHandle<Result>;
+    readonly [KEY_TOKEN]: FutureKey<Result>[typeof KEY_TOKEN] & FutureSettleKey<Result>[typeof KEY_TOKEN];
+}
+export type FutureSettler<out Result> = (result: FutureResult<Result>, suppressor: Suppressor) => void;
+export type FutureNotification = (suppressor: Suppressor) => void;
+//# sourceMappingURL=runtime-future.d.ts.map

package/dist/interpreter/runtime-future.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-future.d.ts","sourceRoot":"","sources":["../../src/interpreter/runtime-future.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,eAAe,EACf,SAAS,EACT,UAAU,EACX,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,OAAO,CAAC;AAG/B,qBAAa,aAAa,CAAC,GAAG,CAAC,MAAM,CAAE,YAAW,SAAS,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC;;IACnF,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAQ3C,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,QAAQ;IAahD,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,kBAAkB;IAexD,MAAM,IAAI,YAAY,CAAC,MAAM,CAAC;IAKrC,SAAwB,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,SAAS,CAAC,GACtE,eAAe,CAAC,MAAM,CAAC,CAAC,OAAO,SAAS,CAAC,CAAC;CAG7C;AAED,MAAM,MAAM,aAAa,CAAC,GAAG,CAAC,MAAM,IAAI,CACtC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,EAC5B,UAAU,EAAE,UAAU,KACnB,IAAI,CAAC;AAEV,MAAM,MAAM,kBAAkB,GAAG,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI,CAAC"}

package/dist/interpreter/runtime-process/handle.d.ts

@@ -0,0 +1,9 @@
+import { ProcessRef, ScopeRef } from '../../contracts';
+import { RuntimeProcessKeeper } from './keeper';
+import { RuntimeProcessRunner } from './runner';
+export interface RuntimeProcessHandle<Relic> extends ProcessRef<Relic> {
+    keeper(): RuntimeProcessKeeper;
+    runner(): RuntimeProcessRunner<Relic>;
+    readonly scopeRef: ScopeRef<unknown>;
+}
+//# sourceMappingURL=handle.d.ts.map

package/dist/interpreter/runtime-process/handle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"handle.d.ts","sourceRoot":"","sources":["../../../src/interpreter/runtime-process/handle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AACrD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAErD,MAAM,WAAW,oBAAoB,CAAC,KAAK,CAAE,SAAQ,UAAU,CAAC,KAAK,CAAC;IACpE,MAAM,IAAI,oBAAoB,CAAC;IAC/B,MAAM,IAAI,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;CACtC"}

package/dist/interpreter/runtime-process/index.d.ts

@@ -0,0 +1,5 @@
+export * from './handle';
+export * from './keeper';
+export * from './process';
+export * from './runner';
+//# sourceMappingURL=index.d.ts.map

package/dist/interpreter/runtime-process/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/interpreter/runtime-process/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC"}

package/dist/interpreter/runtime-process/keeper.d.ts

@@ -0,0 +1,39 @@
+import { ProcessRef, ScopeRef } from '../../contracts';
+import { Failure } from '../../failures';
+import { FutureNotification } from '../runtime-future';
+import { ProcessDescriptor } from '../../sigils';
+import { TaggedUnion } from 'type-fest';
+export interface RuntimeProcessKeeper extends ProcessRef<unknown> {
+    stateAs<Status extends RuntimeProcessKeeperStatus>(status: Status): RuntimeProcessKeeperStateOf<Status>;
+    resume(input: unknown): void;
+    wait(dispose: () => void): void;
+    complete(result: unknown): ProcessClosure;
+    fail(failure: Failure): ProcessClosure;
+    cancel(): ProcessClosure;
+    readonly descriptor: ProcessDescriptor;
+    readonly isClosed: boolean;
+    readonly status: RuntimeProcessKeeperStatus;
+}
+export type RuntimeProcessKeeperStateOf<Status extends RuntimeProcessKeeperStatus> = Extract<RuntimeProcessKeeperState, {
+    readonly status: Status;
+}>;
+export interface ProcessClosure {
+    readonly notification: FutureNotification;
+    readonly cleanups: CleanupTask[];
+}
+export type RuntimeProcessKeeperState = TaggedUnion<"status", {
+    canceled: {};
+    completed: {
+        readonly result: unknown;
+    };
+    failed: {
+        readonly failure: Failure;
+    };
+    running: {};
+    waiting: {};
+}>;
+export type RuntimeProcessKeeperStatus = RuntimeProcessKeeperState["status"];
+export type CleanupTask = (spawn: CleanupSpawner) => void;
+export type CleanupSpawner = (provideProcess: ProvideRuntimeProcess) => void;
+export type ProvideRuntimeProcess = (scopeRef: ScopeRef<unknown>, descriptor: ProcessDescriptor) => RuntimeProcessKeeper;
+//# sourceMappingURL=keeper.d.ts.map

package/dist/interpreter/runtime-process/keeper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"keeper.d.ts","sourceRoot":"","sources":["../../../src/interpreter/runtime-process/keeper.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAE7C,MAAM,WAAW,oBAAqB,SAAQ,UAAU,CAAC,OAAO,CAAC;IAC/D,OAAO,CAAC,MAAM,SAAS,0BAA0B,EAC/C,MAAM,EAAE,MAAM,GACb,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC;IAC7B,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,cAAc,CAAC;IAC1C,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,cAAc,CAAC;IACvC,MAAM,IAAI,cAAc,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC;CAC7C;AAED,MAAM,MAAM,2BAA2B,CAAC,MAAM,SAAS,0BAA0B,IAAI,OAAO,CAC1F,yBAAyB,EACzB;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAC5B,CAAC;AAEF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC;CAClC;AAED,MAAM,MAAM,yBAAyB,GAAG,WAAW,CACjD,QAAQ,EACR;IACE,QAAQ,EAAE,EAAE,CAAC;IACb,SAAS,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC;IACxC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACtC,OAAO,EAAE,EAAE,CAAC;IACZ,OAAO,EAAE,EAAE,CAAC;CACb,CACF,CAAC;AAEF,MAAM,MAAM,0BAA0B,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;AAE7E,MAAM,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,cAAc,KAAK,IAAI,CAAC;AAE1D,MAAM,MAAM,cAAc,GAAG,CAAC,cAAc,EAAE,qBAAqB,KAAK,IAAI,CAAC;AAE7E,MAAM,MAAM,qBAAqB,GAAG,CAClC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,EAC3B,UAAU,EAAE,iBAAiB,KAC1B,oBAAoB,CAAC"}

package/dist/interpreter/runtime-process/process.d.ts

@@ -0,0 +1,54 @@
+import { CleanupTask, ProcessClosure, RuntimeProcessKeeper } from './keeper';
+import { FutureKey, ProcessRef, REF_TOKEN, Ritual, ScopeRef } from '../../contracts';
+import { ProcessDescriptor, SelfHandle } from '../../sigils';
+import { RuntimeProcessRunner, RuntimeProcessRunnerNext } from './runner';
+import { Failure } from '../../failures';
+import { RuntimeProcessHandle } from './handle';
+import { Stepper } from './stepper';
+import { TaggedUnion } from 'type-fest';
+export declare class RuntimeProcess<Relic> implements RuntimeProcessHandle<Relic>, RuntimeProcessRunner<Relic>, RuntimeProcessKeeper {
+    #private;
+    private readonly scopeReference;
+    private readonly processDescriptor;
+    static create<Relic>(scopeRef: ScopeRef<unknown>, worker: Ritual<Relic>, descriptor: ProcessDescriptor): RuntimeProcessHandle<Relic>;
+    selfHandle(): SelfHandle;
+    runner(): RuntimeProcessRunner<Relic>;
+    keeper(): RuntimeProcessKeeper;
+    stateAs<Status extends RuntimeProcessStatus>(_status: Status): RuntimeProcessStateOf<Relic, Status>;
+    resume(input: unknown): void;
+    wait(dispose: () => void): void;
+    complete(result: unknown): ProcessClosure;
+    fail(failure: Failure): ProcessClosure;
+    cancel(): ProcessClosure;
+    defer(cleanup: CleanupTask): void;
+    get exitFuture(): FutureKey<Relic>;
+    get descriptor(): ProcessDescriptor;
+    get scopeRef(): ScopeRef<unknown>;
+    get status(): RuntimeProcessStatus;
+    get isClosed(): boolean;
+    readonly [REF_TOKEN]: ProcessRef<Relic>[typeof REF_TOKEN];
+    private constructor();
+}
+type RuntimeProcessStateOf<Relic, Status extends RuntimeProcessStatus> = Extract<RuntimeProcessState<Relic>, {
+    readonly status: Status;
+}>;
+type RuntimeProcessStatus = RuntimeProcessState<unknown>["status"];
+type RuntimeProcessState<Relic> = TaggedUnion<"status", {
+    canceled: {};
+    completed: {
+        readonly result: Relic;
+    };
+    failed: {
+        readonly failure: Failure;
+    };
+    running: {
+        next(): RuntimeProcessRunnerNext<Relic>;
+        readonly stepper: Stepper<Relic>;
+    };
+    waiting: {
+        dispose(): void;
+        readonly stepper: Stepper<Relic>;
+    };
+}>;
+export {};
+//# sourceMappingURL=process.d.ts.map

package/dist/interpreter/runtime-process/process.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"process.d.ts","sourceRoot":"","sources":["../../../src/interpreter/runtime-process/process.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAClF,OAAO,KAAK,EAAE,SAAS,EAAgB,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACpG,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAS,MAAM,UAAU,CAAC;AACrE,OAAO,KAAK,EAEV,oBAAoB,EACpB,wBAAwB,EACzB,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAI7C,qBAAa,cAAc,CAAC,KAAK,CAC/B,YAAW,oBAAoB,CAAC,KAAK,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAAE,oBAAoB;;IAkHvF,OAAO,CAAC,QAAQ,CAAC,cAAc;IAE/B,OAAO,CAAC,QAAQ,CAAC,iBAAiB;WAlHtB,MAAM,CAAC,KAAK,EACxB,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,EAC3B,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EACrB,UAAU,EAAE,iBAAiB,GAC5B,oBAAoB,CAAC,KAAK,CAAC;IAIvB,UAAU,IAAI,UAAU;IAOxB,MAAM,IAAI,oBAAoB,CAAC,KAAK,CAAC;IAIrC,MAAM,IAAI,oBAAoB;IAI9B,OAAO,CAAC,MAAM,SAAS,oBAAoB,EAChD,OAAO,EAAE,MAAM,GACd,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC;IAIhC,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI;IAO5B,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,GAAG,IAAI;IAS/B,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,cAAc;IAUzC,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,cAAc;IAUtC,MAAM,IAAI,cAAc;IASxB,KAAK,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI;IAIxC,IAAW,UAAU,IAAI,SAAS,CAAC,KAAK,CAAC,CAExC;IAED,IAAW,UAAU,IAAI,iBAAiB,CAEzC;IAED,IAAW,QAAQ,IAAI,QAAQ,CAAC,OAAO,CAAC,CAEvC;IAED,IAAW,MAAM,IAAI,oBAAoB,CAExC;IAED,IAAW,QAAQ,IAAI,OAAO,CAY7B;IAGD,SAAwB,CAAC,SAAS,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,OAAO,SAAS,CAAC,CAAC;IAEzE,OAAO;CA2BR;AAED,KAAK,qBAAqB,CAAC,KAAK,EAAE,MAAM,SAAS,oBAAoB,IAAI,OAAO,CAC9E,mBAAmB,CAAC,KAAK,CAAC,EAC1B;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAC5B,CAAC;AAEF,KAAK,oBAAoB,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC;AAEnE,KAAK,mBAAmB,CAAC,KAAK,IAAI,WAAW,CAC3C,QAAQ,EACR;IACE,QAAQ,EAAE,EAAE,CAAC;IACb,SAAS,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAA;KAAE,CAAC;IACtC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACtC,OAAO,EAAE;QACP,IAAI,IAAI,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACxC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;KAClC,CAAC;IACF,OAAO,EAAE;QACP,OAAO,IAAI,IAAI,CAAC;QAChB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;KAClC,CAAC;CACH,CACF,CAAC"}

package/dist/interpreter/runtime-process/runner.d.ts

@@ -0,0 +1,45 @@
+import { Echo, ProcessRef } from '../../contracts';
+import { SelfHandle, Sigil } from '../../sigils';
+import { CleanupTask } from './keeper';
+import { Failure } from '../../failures';
+import { TaggedUnion } from 'type-fest';
+export interface RuntimeProcessRunner<Relic> extends ProcessRef<Relic> {
+    defer(cleanup: CleanupTask): void;
+    selfHandle(): SelfHandle;
+    stateAs<Status extends RuntimeProcessRunnerStatus>(status: Status): RuntimeProcessRunnerStateOf<Relic, Status>;
+    readonly isClosed: boolean;
+    readonly status: RuntimeProcessRunnerStatus;
+}
+export type RuntimeProcessRunnerStatus = RuntimeProcessRunnerState<unknown>["status"];
+export type RuntimeProcessRunnerStateOf<Relic, Status extends RuntimeProcessRunnerStatus> = Extract<RuntimeProcessRunnerState<Relic>, {
+    readonly status: Status;
+}>;
+export type RuntimeProcessRunnerState<Relic> = TaggedUnion<"status", {
+    canceled: {};
+    completed: {
+        readonly result: Relic;
+    };
+    failed: {
+        readonly failure: Failure;
+    };
+    running: {
+        next(): RuntimeProcessRunnerNext<Relic>;
+    };
+    waiting: {};
+}>;
+export type RuntimeProcessRunnerNext<Relic, SigilItem extends Sigil = Sigil> = TaggedUnion<"kind", {
+    echo: {
+        accept(echo: Echo<SigilItem>): void;
+        readonly sigil: SigilItem;
+    };
+    relic: {
+        readonly relic: Relic;
+    };
+    resonate: {
+        readonly sigil: Sigil;
+    };
+}>;
+export type RuntimeProcessNextEcho<SigilItem extends Sigil> = Extract<RuntimeProcessRunnerNext<never, SigilItem>, {
+    readonly kind: "echo";
+}>;
+//# sourceMappingURL=runner.d.ts.map

package/dist/interpreter/runtime-process/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../src/interpreter/runtime-process/runner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAC5C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAE7C,MAAM,WAAW,oBAAoB,CAAC,KAAK,CAAE,SAAQ,UAAU,CAAC,KAAK,CAAC;IACpE,KAAK,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IAClC,UAAU,IAAI,UAAU,CAAC;IACzB,OAAO,CAAC,MAAM,SAAS,0BAA0B,EAC/C,MAAM,EAAE,MAAM,GACb,2BAA2B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC;CAC7C;AAED,MAAM,MAAM,0BAA0B,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC;AAEtF,MAAM,MAAM,2BAA2B,CAAC,KAAK,EAAE,MAAM,SAAS,0BAA0B,IAAI,OAAO,CACjG,yBAAyB,CAAC,KAAK,CAAC,EAChC;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAC5B,CAAC;AAEF,MAAM,MAAM,yBAAyB,CAAC,KAAK,IAAI,WAAW,CACxD,QAAQ,EACR;IACE,QAAQ,EAAE,EAAE,CAAC;IACb,SAAS,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAA;KAAE,CAAC;IACtC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACtC,OAAO,EAAE;QAAE,IAAI,IAAI,wBAAwB,CAAC,KAAK,CAAC,CAAA;KAAE,CAAC;IACrD,OAAO,EAAE,EAAE,CAAC;CACb,CACF,CAAC;AAEF,MAAM,MAAM,wBAAwB,CAAC,KAAK,EAAE,SAAS,SAAS,KAAK,GAAG,KAAK,IAAI,WAAW,CACxF,MAAM,EACN;IACE,IAAI,EAAE;QACJ,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;QACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;KAC3B,CAAC;IACF,KAAK,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CAAC;IACjC,QAAQ,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CAAC;CACrC,CACF,CAAC;AAEF,MAAM,MAAM,sBAAsB,CAAC,SAAS,SAAS,KAAK,IAAI,OAAO,CACnE,wBAAwB,CAAC,KAAK,EAAE,SAAS,CAAC,EAC1C;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAC1B,CAAC"}

package/dist/interpreter/runtime-process/stepper.d.ts

@@ -0,0 +1,9 @@
+import { Ritual } from '../../contracts';
+import { RuntimeProcessRunnerNext } from './runner';
+export declare class Stepper<Relic> {
+    #private;
+    current(): RuntimeProcessRunnerNext<Relic>;
+    next(): RuntimeProcessRunnerNext<Relic>;
+    constructor(worker: Ritual<Relic>);
+}
+//# sourceMappingURL=stepper.d.ts.map

package/dist/interpreter/runtime-process/stepper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stepper.d.ts","sourceRoot":"","sources":["../../../src/interpreter/runtime-process/stepper.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAQ,MAAM,EAAsB,MAAM,aAAa,CAAC;AACpE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,UAAU,CAAC;AAKzD,qBAAa,OAAO,CAAC,KAAK;;IACjB,OAAO,IAAI,wBAAwB,CAAC,KAAK,CAAC;IAwB1C,IAAI,IAAI,wBAAwB,CAAC,KAAK,CAAC;gBA8C3B,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC;CAezC"}

package/dist/interpreter/runtime-scope/index.d.ts

@@ -0,0 +1,2 @@
+export * from './runtime-scope';
+//# sourceMappingURL=index.d.ts.map

package/dist/interpreter/runtime-scope/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/interpreter/runtime-scope/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC"}

package/dist/interpreter/runtime-scope/runtime-mailbox.d.ts

@@ -0,0 +1,11 @@
+import { option } from 'fp-ts';
+import { MessageKey } from '../../contracts';
+export declare class RuntimeMailbox<Receiver> {
+    #private;
+    tryReceive<Value>(messageKey: MessageKey<Value>): option.Option<Value>;
+    enqueueReceiver(receiver: Receiver, messageKey: MessageKey<unknown>): void;
+    send<Value>(messageKey: MessageKey<Value>, value: Value): Receiver | null;
+    cancelReceiver(receiver: Receiver): void;
+    clear(): void;
+}
+//# sourceMappingURL=runtime-mailbox.d.ts.map

package/dist/interpreter/runtime-scope/runtime-mailbox.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-mailbox.d.ts","sourceRoot":"","sources":["../../../src/interpreter/runtime-scope/runtime-mailbox.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAiB,MAAM,OAAO,CAAC;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,qBAAa,cAAc,CAAC,QAAQ;;IAC3B,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;IAuBtE,eAAe,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,IAAI;IAQ1E,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,GAAG,QAAQ,GAAG,IAAI;IAyBzE,cAAc,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI;IAYxC,KAAK,IAAI,IAAI;CA6BrB"}