ignotum 0.0.16 → 0.0.18

package/src/client/id.ts

@@ -1,263 +1 @@
-import { Context, Effect, Layer, Option, Schema, Semaphore } from "effect";
-import {
-  FetchHttpClient,
-  HttpClient,
-  HttpClientRequest,
-  HttpClientResponse,
-} from "effect/unstable/http";
-import {
-  DevelopmentSelection,
-  developmentSelectionKey,
-  SessionOutcome,
-  SessionRedirect,
-  SessionRequest,
-  SessionResponse,
-  sessionPath,
-  sessionRequestsPath,
-  type ProfileField,
-  type SessionState,
-  type User,
-} from "@ignotum/contracts/id";
-import { IdGenerator } from "@ignotum/shared/id";
-import { SessionEpoch } from "@ignotum/contracts/runtime/id";
-
-export class IdRequestError extends Schema.TaggedError<IdRequestError>()("IdRequestError", {
-  message: Schema.String,
-}) {}
-
-export type IdState =
-  | { readonly status: "pending"; readonly outcome?: SessionOutcome }
-  | { readonly status: "error"; readonly error: string; readonly outcome?: SessionOutcome }
-  | { readonly status: "signedOut"; readonly outcome?: SessionOutcome }
-  | { readonly status: "signedIn"; readonly user: User; readonly outcome?: SessionOutcome };
-
-const outcomeKey = "ignotum.id.outcome";
-const selectionJson = Schema.fromJsonString(DevelopmentSelection);
-
-export class BrowserSession extends Context.Service<
-  BrowserSession,
-  {
-    readonly snapshot: () => IdState;
-    readonly current: () => SessionState | undefined;
-    readonly subscribe: (listener: () => void) => () => void;
-    readonly bootstrap: Effect.Effect<SessionState, IdRequestError>;
-    readonly accept: (session: SessionState, serverTime: number) => void;
-    readonly suspend: (error?: string) => void;
-    readonly socketParameters: () => string;
-    readonly start: (
-      intent: "signIn" | "requestProfile",
-      profile: ReadonlyArray<ProfileField>,
-      returnTo?: string,
-    ) => Effect.Effect<void, IdRequestError>;
-    readonly signOut: Effect.Effect<void, IdRequestError>;
-  }
->()("ignotum/client/id/BrowserSession") {
-  static readonly layer = Layer.effect(
-    BrowserSession,
-    Effect.gen(function* () {
-      const client = (yield* HttpClient.HttpClient).pipe(HttpClient.filterStatusOk);
-      const ids = yield* IdGenerator;
-      const bootstrapLock = yield* Semaphore.make(1);
-      const listeners = new Set<() => void>();
-      let state: IdState = { status: "pending" };
-      let current: SessionState | undefined;
-      let generation = 0;
-      let deadline = Infinity;
-      let development = false;
-      let selection: DevelopmentSelection | undefined;
-      let expiry: ReturnType<typeof setTimeout> | undefined;
-      const notify = () => {
-        for (const listener of listeners) listener();
-      };
-      const suspend = (error?: string) => {
-        generation += 1;
-        deadline = Infinity;
-        if (expiry !== undefined) clearTimeout(expiry);
-        current = undefined;
-        state =
-          error === undefined
-            ? { status: "pending", outcome: state.outcome }
-            : { status: "error", error, outcome: state.outcome };
-        notify();
-      };
-      const accept = (session: SessionState, serverTime: number) => {
-        generation += 1;
-        if (expiry !== undefined) clearTimeout(expiry);
-        current = session;
-        state =
-          session.user === null
-            ? { status: "signedOut", outcome: state.outcome }
-            : { status: "signedIn", user: session.user, outcome: state.outcome };
-        const delay = Math.max(0, session.validUntil - serverTime);
-        deadline = performance.now() + delay;
-        if (delay < 2_147_483_647) expiry = setTimeout(() => suspend(), delay);
-        notify();
-      };
-      const checkExpiry = () => {
-        if (current !== undefined && performance.now() >= deadline) suspend();
-      };
-      globalThis.addEventListener?.("focus", checkExpiry);
-      globalThis.document?.addEventListener("visibilitychange", checkExpiry);
-      yield* Effect.addFinalizer(() =>
-        Effect.sync(() => {
-          if (expiry !== undefined) clearTimeout(expiry);
-          listeners.clear();
-          globalThis.removeEventListener?.("focus", checkExpiry);
-          globalThis.document?.removeEventListener("visibilitychange", checkExpiry);
-        }),
-      );
-
-      const readOutcome = () => {
-        try {
-          const raw = globalThis.sessionStorage.getItem(outcomeKey);
-          if (raw !== null) {
-            const decoded = Schema.decodeUnknownOption(SessionOutcome)(raw);
-            if (Option.isSome(decoded)) state = { ...state, outcome: decoded.value };
-            globalThis.sessionStorage.removeItem(outcomeKey);
-          }
-        } catch {
-          // The authenticated session response remains valid when optional redirect storage is denied.
-        }
-      };
-      const parameters = () => {
-        if (!development || selection === undefined) return "";
-        const params = new URLSearchParams({ epoch: selection.epoch });
-        if (selection.username !== null) params.set("username", selection.username);
-        return `?${params}`;
-      };
-      const readSession = Effect.fn("BrowserSession.read")(function* () {
-        return yield* client
-          .get(`${sessionPath}${parameters()}`, { headers: { "x-ignotum-request": "1" } })
-          .pipe(Effect.flatMap(HttpClientResponse.schemaBodyJson(SessionResponse)));
-      });
-      let bootstrapGeneration = 0;
-      const bootstrap = bootstrapLock
-        .withPermits(1)(
-          Effect.gen(function* () {
-            const admittedGeneration = generation;
-            bootstrapGeneration = admittedGeneration;
-            const startedAt = performance.now();
-            let session = yield* readSession();
-            development = session.development === true;
-            if (development && selection === undefined) {
-              const saved = globalThis.sessionStorage.getItem(developmentSelectionKey);
-              const decoded =
-                saved === null
-                  ? Option.none<DevelopmentSelection>()
-                  : Schema.decodeOption(selectionJson)(saved);
-              selection = Option.getOrElse(decoded, () => ({
-                formatVersion: 1 as const,
-                username: null,
-                epoch: "",
-              }));
-              if (selection.epoch === "")
-                selection = { ...selection, epoch: yield* ids.generate(SessionEpoch) };
-              globalThis.sessionStorage.setItem(
-                developmentSelectionKey,
-                Schema.encodeSync(selectionJson)(selection),
-              );
-              session = yield* readSession();
-            }
-            if (generation !== admittedGeneration) {
-              if (current !== undefined) return current;
-              return yield* IdRequestError.make({
-                message: "Your ID session changed while loading.",
-              });
-            }
-            readOutcome();
-            if (session.outcome !== undefined) state = { ...state, outcome: session.outcome };
-            accept(session, session.serverTime + performance.now() - startedAt);
-            return session;
-          }),
-        )
-        .pipe(
-          Effect.mapError(() =>
-            IdRequestError.make({ message: "Could not load your ID session." }),
-          ),
-          Effect.tapError((error) =>
-            Effect.sync(() => {
-              if (generation === bootstrapGeneration) suspend(error.message);
-            }),
-          ),
-        );
-
-      const start = Effect.fn("BrowserSession.start")(function* (
-        intent: "signIn" | "requestProfile",
-        profile: ReadonlyArray<ProfileField>,
-        returnTo?: string,
-      ) {
-        const session = current ?? (yield* bootstrap);
-        if (intent === "requestProfile" && session.user === null)
-          return yield* IdRequestError.make({
-            message: "Sign in before requesting profile information.",
-          });
-        const request = yield* Schema.decodeUnknownEffect(SessionRequest)({
-          intent,
-          profile,
-          sessionEpoch: session.sessionEpoch,
-          returnTo:
-            returnTo ??
-            `${globalThis.location.pathname}${globalThis.location.search}${globalThis.location.hash}`,
-        }).pipe(
-          Effect.mapError(() => IdRequestError.make({ message: "The ID request is invalid." })),
-        );
-        const redirect = yield* HttpClientRequest.post(sessionRequestsPath).pipe(
-          HttpClientRequest.setHeader("x-ignotum-request", "1"),
-          HttpClientRequest.bodyJsonUnsafe(request),
-          client.execute,
-          Effect.flatMap(HttpClientResponse.schemaBodyJson(SessionRedirect)),
-          Effect.mapError(() =>
-            IdRequestError.make({ message: "Could not start the ID request." }),
-          ),
-        );
-        if (current?.sessionEpoch !== session.sessionEpoch)
-          return yield* IdRequestError.make({ message: "Your ID session changed. Try again." });
-        globalThis.location.assign(redirect.redirectUrl);
-      });
-      const signOut = Effect.gen(function* () {
-        const session = current ?? (yield* bootstrap);
-        yield* HttpClientRequest.delete(sessionPath).pipe(
-          HttpClientRequest.setHeader("x-ignotum-request", "1"),
-          HttpClientRequest.bodyJsonUnsafe({ sessionEpoch: session.sessionEpoch }),
-          client.execute,
-          Effect.mapError(() => IdRequestError.make({ message: "Could not sign out." })),
-        );
-        suspend();
-        if (development) {
-          selection = {
-            formatVersion: 1,
-            username: null,
-            epoch: yield* ids.generate(SessionEpoch),
-          };
-          globalThis.sessionStorage.setItem(
-            developmentSelectionKey,
-            Schema.encodeSync(selectionJson)(selection),
-          );
-        }
-        globalThis.location.reload();
-      });
-      return BrowserSession.of({
-        snapshot: () => {
-          checkExpiry();
-          return state;
-        },
-        current: () => {
-          checkExpiry();
-          return current;
-        },
-        subscribe: (listener) => {
-          listeners.add(listener);
-          return () => {
-            listeners.delete(listener);
-          };
-        },
-        accept,
-        suspend,
-        bootstrap,
-        start,
-        signOut,
-        socketParameters: parameters,
-      });
-    }),
-  ).pipe(Layer.provide(FetchHttpClient.layer));
-}
+export * from "@ignotum/platform/versions/1/browser/id";

package/src/client/image.ts

@@ -1,28 +1 @@
-import { createElement, type JSX } from "preact";
-
-declare const ImageSourceTypeId: unique symbol;
-
-/** A compiler-provided reference to an imported image. */
-export interface ImageSource {
-  readonly type: "ImageSource";
-  readonly url: string;
-  readonly [ImageSourceTypeId]: true;
-}
-
-export type ImageProps = Omit<
-  JSX.ImgHTMLAttributes<HTMLImageElement>,
-  "alt" | "src" | "srcSet" | "srcset"
-> & {
-  readonly src: ImageSource;
-  readonly alt: string;
-};
-
-/** Renders an imported image. */
-export const Image = ({ src, alt, ...attributes }: ImageProps): JSX.Element =>
-  createElement("img", { ...attributes, src: src.url, alt });
-
-/** @internal Creates an image reference from a compiler-resolved URL. */
-export const createImageSource = (url: string): ImageSource => {
-  // SAFETY: This factory constructs the complete runtime representation; the brand exists only in types.
-  return { type: "ImageSource", url } as ImageSource;
-};
+export * from "@ignotum/platform/versions/1/browser/image";

package/src/client/index.ts

@@ -1,126 +1 @@
-import { Result as contractResult } from "@ignotum/contracts/runtime/result";
-import type {
-  ErrorValue,
-  QueryResult as ContractQueryResult,
-  SettledResult,
-} from "@ignotum/contracts/runtime/result";
-
-export const Result = { match: contractResult.match };
-export type Result<Value, Error extends ErrorValue> = SettledResult<Value, Error>;
-export type QueryResult<Value, Error extends ErrorValue> = ContractQueryResult<Value, Error>;
-export type { InternalServerError } from "@ignotum/contracts/runtime/result";
-export type {
-  FileFormat,
-  FileMetadata,
-  FileMimeType,
-  FileValue,
-} from "@ignotum/contracts/schema/file";
-export { Files } from "./files.js";
-export { useId, useMutation, usePaginatedQuery, useQuery } from "./hooks.js";
-export type { PaginatedQueryOptions, PaginatedQueryValue, PaginationStatus } from "./hooks.js";
-export { Query } from "./query.js";
-export type { QuerySkip } from "./query.js";
-export { Image } from "./image.js";
-export type { ImageProps, ImageSource } from "./image.js";
-
-export {
-  Component,
-  Fragment,
-  cloneElement,
-  createContext,
-  createElement,
-  createRef,
-  h,
-  isValidElement,
-  toChildArray,
-} from "preact";
-export type {
-  AnyComponent,
-  Attributes,
-  ClassAttributes,
-  ComponentChild,
-  ComponentChildren,
-  ComponentClass,
-  ComponentConstructor,
-  ComponentFactory,
-  ComponentProps,
-  ComponentType,
-  Consumer,
-  Context,
-  ContextType,
-  ErrorInfo,
-  FunctionComponent,
-  FunctionalComponent,
-  JSX,
-  Key,
-  PreactContext,
-  PreactConsumer,
-  PreactDOMAttributes,
-  PreactProvider,
-  Provider,
-  Ref,
-  RefCallback,
-  RefObject,
-  RenderableProps,
-  TargetedAnimationEvent,
-  TargetedClipboardEvent,
-  TargetedCommandEvent,
-  TargetedCompositionEvent,
-  TargetedDragEvent,
-  TargetedEvent,
-  TargetedFocusEvent,
-  TargetedInputEvent,
-  TargetedKeyboardEvent,
-  TargetedMouseEvent,
-  TargetedPictureInPictureEvent,
-  TargetedPointerEvent,
-  TargetedSnapEvent,
-  TargetedSubmitEvent,
-  TargetedToggleEvent,
-  TargetedTouchEvent,
-  TargetedTransitionEvent,
-  TargetedUIEvent,
-  TargetedWheelEvent,
-  VNode,
-} from "preact";
-export {
-  useCallback,
-  useContext,
-  useDebugValue,
-  useEffect,
-  useErrorBoundary,
-  useId as useElementId,
-  useImperativeHandle,
-  useLayoutEffect,
-  useMemo,
-  useReducer,
-  useRef,
-  useState,
-} from "preact/hooks";
-export type { Dispatch, Reducer, StateUpdater } from "preact/hooks";
-
-export type { User, UserId, ProfileField } from "@ignotum/contracts/id";
-export type { IdResult, IdOptions } from "./hooks.js";
-
-export type {
-  RouteInputs,
-  RouteProps,
-  RouteMatch,
-  RouteLocation,
-  NavigationResult,
-} from "./routes.js";
-
-export {
-  Link,
-  NavLink,
-  Redirect,
-  url,
-  useNavigate,
-  useRoute,
-  useMatch,
-  useLocation,
-  useNavigation,
-  useBlocker,
-} from "./router.js";
-
-export type { BlockerState } from "./router-store.js";
+export * from "@ignotum/platform/versions/1/browser/index";

package/src/client/jsx-dev-runtime.ts

@@ -1,2 +1 @@
-export { Fragment, jsx, jsxDEV, jsxs } from "preact/jsx-dev-runtime";
-export type { JSX } from "preact/jsx-dev-runtime";
+export * from "@ignotum/platform/versions/1/browser/jsx-dev-runtime";

package/src/client/jsx-runtime.ts

@@ -1,2 +1 @@
-export { Fragment, jsx, jsxDEV, jsxs } from "preact/jsx-runtime";
-export type { JSX } from "preact/jsx-runtime";
+export * from "@ignotum/platform/versions/1/browser/jsx-runtime";