@discourse/types 0.0.2 → 2026.1.0-2709d36

package/external-types/@glint__template/-private/integration.d.ts

@@ -1,82 +0,0 @@
-declare module '@glint/template/-private/integration' {
-// While everything in the `@glint/template` package other than its main
-// entrypoint is "private", this module exports the symbols and types
-// necessary to declare a class or other entity as integrating with Glint's
-// template system.
-// In most cases it should be possible to declare integrations in terms of
-// `ComponentLike`/`HelperLike`/`ModifierLike`, but these declarations are
-// the primitives on which those types are built.
-
-/** Any function, which is the tighest bound we can put on an object's `[Invoke]` field. */
-export type AnyFunction = (...params: any) => any;
-
-/** Any type loosely fitting the shape of a template context */
-export type AnyContext = TemplateContext<any, any, any, any>;
-
-/** The loosest shape of a "blocks hash" */
-export type AnyBlocks = Partial<Record<string, any[]>>;
-
-export declare const InvokeDirect: unique symbol;
-export type DirectInvokable<T extends AnyFunction = AnyFunction> = { [InvokeDirect]: T };
-
-export declare const Invoke: unique symbol;
-export type InvokableInstance<T extends AnyFunction = AnyFunction> = { [Invoke]: T };
-export type Invokable<F extends AnyFunction> = abstract new (...args: any) => InvokableInstance<F>;
-
-export declare const Context: unique symbol;
-export type HasContext<T extends AnyContext = AnyContext> = { [Context]: T };
-
-declare const Element: unique symbol;
-declare const Modifier: unique symbol;
-declare const Blocks: unique symbol;
-
-/** Denotes a modifier whose arguments have been bound and is ready to be attached to an element. */
-export type ModifierReturn = { [Modifier]: true };
-
-/**
- * Denotes that the associated entity may be invoked with the given
- * blocks, yielding params of the appropriate type.
- */
-export type ComponentReturn<BlockDefs, El = null> = {
-  [Blocks]: BlockDefs;
-  [Element]: El extends Element ? El : null;
-};
-
-/**
- * Determines the type of `this` and any `@arg`s used in a template,
- * as well as valid `{{yield}}` invocations and `...attributes` usage.
- */
-export type TemplateContext<This, Args, Blocks, Element> = {
-  this: This;
-  args: Args;
-  blocks: Blocks;
-  element: Element;
-};
-
-/**
- * Flattens the fully expanded signature format for Blocks down to a mapping from
- * each block name to a corresponding tuple of parameter types.
- */
-export type FlattenBlockParams<T> = {
-  [K in keyof T]: T[K] extends { Params: { Positional: infer U } } ? U : T[K];
-};
-
-// This trio of declarations allows us to distinguish explicit named
-// argument invocation from "final positional argument is a hash"
-// situations.
-export declare const NamedArgs: unique symbol;
-export type NamedArgs<T> = T & NamedArgsMarker;
-export interface NamedArgsMarker {
-  [NamedArgs]: true;
-}
-
-export type NamedArgNames<T extends Invokable<AnyFunction>> =
-  T extends Invokable<(...args: infer A) => any>
-    ? A extends [...positional: infer _, named?: infer N]
-      ? Exclude<keyof NonNullable<N>, typeof NamedArgs>
-      : never
-    : never;
-
-export type UnwrapNamedArgs<T> = T extends NamedArgs<infer U> ? U : T;
-
-}

package/external-types/@glint__template/-private/keywords/-bind-invokable.d.ts

@@ -1,98 +0,0 @@
-declare module '@glint/template/-private/keywords/-bind-invokable' {
-import { DirectInvokable, Invokable, NamedArgs, UnwrapNamedArgs } from '../integration';
-import { MaybeNamed, PrebindArgs, SliceFrom, SliceTo } from '../signature';
-
-type PrefixOf<T extends unknown[]> = T extends [arg: infer Arg, ...rest: infer Rest]
-  ? [] | [Arg, ...PrefixOf<Rest>]
-  : T;
-
-export type BindInvokableKeyword<Prefix extends number, Kind> = DirectInvokable<{
-  // {{bind invokable}}
-  <Args extends unknown[], T extends Kind>(
-    invokable: (...args: Args) => T,
-  ): Invokable<(...args: Args) => T>;
-  <Args extends unknown[], T extends Kind>(
-    invokable: ((...args: Args) => T) | null | undefined,
-  ): null | Invokable<(...args: Args) => T>;
-  // {{bind invokableWithOnlyNamedArgs name="foo"}}
-  <Named, Return extends Kind, GivenNamed>(
-    invokable: (named: NamedArgs<Named>) => Return,
-    named: NamedArgs<Partial<Named> & GivenNamed>,
-  ): Invokable<
-    (
-      ...named: MaybeNamed<
-        PrebindArgs<NonNullable<Named>, keyof GivenNamed & keyof UnwrapNamedArgs<Named>>
-      >
-    ) => Return
-  >;
-  <Named, Return extends Kind, GivenNamed>(
-    invokable: null | undefined | ((named: NamedArgs<Named>) => Return),
-    named: NamedArgs<Partial<Named> & GivenNamed>,
-  ): null | Invokable<
-    (
-      ...named: MaybeNamed<
-        PrebindArgs<NonNullable<Named>, keyof GivenNamed & keyof UnwrapNamedArgs<Named>>
-      >
-    ) => Return
-  >;
-  // {{bind invokableWithNamedAndPositionalArgs name="foo"}}
-  <Named, Positional extends unknown[], Return extends Kind, GivenNamed extends Partial<Named>>(
-    invokable: (...args: [...Positional, NamedArgs<Named>]) => Return,
-    named: GivenNamed,
-  ): Invokable<
-    (
-      ...args: [
-        ...Positional,
-        ...MaybeNamed<
-          PrebindArgs<NonNullable<Named>, keyof GivenNamed & keyof UnwrapNamedArgs<Named>>
-        >,
-      ]
-    ) => Return
-  >;
-  <Named, Positional extends unknown[], Return extends Kind, GivenNamed extends Partial<Named>>(
-    invokable: (...args: [...Positional, NamedArgs<Named>]) => Return,
-    named: GivenNamed,
-  ): Invokable<
-    (
-      ...args: [
-        ...Positional,
-        ...MaybeNamed<
-          PrebindArgs<NonNullable<Named>, keyof GivenNamed & keyof UnwrapNamedArgs<Named>>
-        >,
-      ]
-    ) => Return
-  >;
-  // {{bind invokable positional}}
-  <
-    Positional extends any[],
-    Return extends Kind,
-    GivenPositional extends PrefixOf<SliceFrom<Positional, Prefix>>,
-  >(
-    invokable: (...args: [...Positional]) => Return,
-    ...args: GivenPositional
-  ): Invokable<
-    (
-      ...args: [
-        ...SliceTo<Positional, Prefix>,
-        ...SliceFrom<SliceFrom<Positional, Prefix>, GivenPositional['length']>,
-      ]
-    ) => Return
-  >;
-  <
-    Positional extends any[],
-    Return extends Kind,
-    GivenPositional extends PrefixOf<SliceFrom<Positional, Prefix>>,
-  >(
-    invokable: null | undefined | ((...args: [...Positional]) => Return),
-    ...args: GivenPositional
-  ): null | Invokable<
-    (
-      ...args: [
-        ...SliceTo<Positional, Prefix>,
-        ...SliceFrom<SliceFrom<Positional, Prefix>, GivenPositional['length']>,
-      ]
-    ) => Return
-  >;
-}>;
-
-}

package/external-types/@glint__template/-private/keywords/component.d.ts

@@ -1,7 +0,0 @@
-declare module '@glint/template/-private/keywords/component' {
-import { ComponentReturn } from '../integration';
-import { BindInvokableKeyword } from './-bind-invokable';
-
-export type ComponentKeyword = BindInvokableKeyword<0, ComponentReturn<any, any>>;
-
-}

package/external-types/@glint__template/-private/keywords/debugger.d.ts

@@ -1,6 +0,0 @@
-declare module '@glint/template/-private/keywords/debugger' {
-import { HelperLike } from '../index';
-
-export interface DebuggerKeyword extends HelperLike<{ Return: void }> {}
-
-}

package/external-types/@glint__template/-private/keywords/each.d.ts

@@ -1,19 +0,0 @@
-declare module '@glint/template/-private/keywords/each' {
-import { ComponentLike } from '../index';
-
-type ArrayLike<T> = ReadonlyArray<T> | Iterable<T>;
-
-export type EachKeyword = abstract new <T = any>() => InstanceType<
-  ComponentLike<{
-    Args: {
-      Positional: [items: Iterable<T> | null | undefined];
-      Named: { key?: string };
-    };
-    Blocks: {
-      default: [T, number];
-      else: [];
-    };
-  }>
->;
-
-}

package/external-types/@glint__template/-private/keywords/has-block-params.d.ts

@@ -1,9 +0,0 @@
-declare module '@glint/template/-private/keywords/has-block-params' {
-import { HelperLike } from '../index';
-
-export type HasBlockParamsKeyword = HelperLike<{
-  Args: { Positional: [blockName?: string] };
-  Return: boolean;
-}>;
-
-}

package/external-types/@glint__template/-private/keywords/has-block.d.ts

@@ -1,9 +0,0 @@
-declare module '@glint/template/-private/keywords/has-block' {
-import { HelperLike } from '../index';
-
-export type HasBlockKeyword = HelperLike<{
-  Args: { Positional: [blockName?: string] };
-  Return: boolean;
-}>;
-
-}

package/external-types/@glint__template/-private/keywords/helper.d.ts

@@ -1,6 +0,0 @@
-declare module '@glint/template/-private/keywords/helper' {
-import { BindInvokableKeyword } from './-bind-invokable';
-
-export type HelperKeyword = BindInvokableKeyword<0, any>;
-
-}

package/external-types/@glint__template/-private/keywords/in-element.d.ts

@@ -1,16 +0,0 @@
-declare module '@glint/template/-private/keywords/in-element' {
-import { ComponentLike } from '../index';
-
-export type InElementKeyword = ComponentLike<{
-  Args: {
-    Positional: [element: ShadowRoot | Element];
-    Named: {
-      insertBefore?: null | undefined;
-    };
-  };
-  Blocks: {
-    default: [];
-  };
-}>;
-
-}

package/external-types/@glint__template/-private/keywords/let.d.ts

@@ -1,12 +0,0 @@
-declare module '@glint/template/-private/keywords/let' {
-import { ComponentReturn, DirectInvokable } from '../integration';
-
-export type LetKeyword = DirectInvokable<{
-  <T extends unknown[]>(
-    ...values: T
-  ): ComponentReturn<{
-    default: T;
-  }>;
-}>;
-
-}

package/external-types/@glint__template/-private/keywords/modifier.d.ts

@@ -1,7 +0,0 @@
-declare module '@glint/template/-private/keywords/modifier' {
-import { ModifierReturn } from '../integration';
-import { BindInvokableKeyword } from './-bind-invokable';
-
-export type ModifierKeyword = BindInvokableKeyword<1, ModifierReturn>;
-
-}

package/external-types/@glint__template/-private/keywords/with.d.ts

@@ -1,16 +0,0 @@
-declare module '@glint/template/-private/keywords/with' {
-import { ComponentLike } from '../index';
-
-export type WithKeyword = abstract new <T>() => InstanceType<
-  ComponentLike<{
-    Args: {
-      Positional: [value: T];
-    };
-    Blocks: {
-      default: [value: T];
-      else: [];
-    };
-  }>
->;
-
-}

package/external-types/@glint__template/-private/keywords.d.ts

@@ -1,13 +0,0 @@
-declare module '@glint/template/-private/keywords' {
-export { ComponentKeyword } from './keywords/component';
-export { DebuggerKeyword } from './keywords/debugger';
-export { EachKeyword } from './keywords/each';
-export { HasBlockKeyword } from './keywords/has-block';
-export { HasBlockParamsKeyword } from './keywords/has-block-params';
-export { HelperKeyword } from './keywords/helper';
-export { InElementKeyword } from './keywords/in-element';
-export { LetKeyword } from './keywords/let';
-export { ModifierKeyword } from './keywords/modifier';
-export { WithKeyword } from './keywords/with';
-
-}

package/external-types/@glint__template/-private/signature.d.ts

@@ -1,86 +0,0 @@
-declare module '@glint/template/-private/signature' {
-// This module contains utilities for converting signature types defined
-// in userspace into our internal representation of an invokable's
-// function type signature.
-
-import { NamedArgs, UnwrapNamedArgs } from './integration';
-
-/**
- * Given an "args hash" (e.g. `{ Named: {...}; Positional: [...] }`),
- * returns a tuple type representing the parameters
- */
-export type InvokableArgs<Args> = [
-  ...positional: Constrain<Get<Args, 'Positional'>, Array<unknown>, []>,
-  ...named: MaybeNamed<NamedArgs<Get<Args, 'Named'>>>,
-];
-
-/** Given a signature `S`, get back the normalized `Args` type. */
-export type ComponentSignatureArgs<S> = S extends {
-  Args: infer Args;
-}
-  ? Args extends {
-      Named?: object;
-      Positional?: unknown[];
-    }
-    ? {
-        Named: Get<S['Args'], 'Named', {}>;
-        Positional: Get<S['Args'], 'Positional', []>;
-      }
-    : {
-        Named: S['Args'];
-        Positional: [];
-      }
-  : {
-      Named: keyof S extends 'Args' | 'Blocks' | 'Element' ? {} : S;
-      Positional: [];
-    };
-
-/** Given a signature `S`, get back the normalized `Blocks` type. */
-export type ComponentSignatureBlocks<S> = S extends { Blocks: infer Blocks }
-  ? {
-      [Block in keyof Blocks]: Blocks[Block] extends unknown[]
-        ? { Params: { Positional: Blocks[Block] } }
-        : Blocks[Block];
-    }
-  : {};
-
-/** Given a component signature `S`, get back the `Element` type. */
-export type ComponentSignatureElement<S> = S extends { Element: infer Element }
-  ? NonNullable<Element> extends never
-    ? unknown
-    : Element
-  : unknown;
-
-export type PrebindArgs<T, Args extends keyof UnwrapNamedArgs<T>> = NamedArgs<
-  Omit<UnwrapNamedArgs<T>, Args> & Partial<Pick<UnwrapNamedArgs<T>, Args>>
->;
-
-export type MaybeNamed<T> = T extends any
-  ? {} extends UnwrapNamedArgs<T>
-    ? keyof UnwrapNamedArgs<T> extends never
-      ? []
-      : [named?: T]
-    : [named: T]
-  : never;
-
-export type Get<T, K, Otherwise = unknown> = K extends keyof T ? T[K] : Otherwise;
-export type Constrain<T, Constraint, Otherwise = Constraint> = T extends Constraint ? T : Otherwise;
-
-export type TupleOfSize<Len extends number, Acc extends unknown[] = []> = Acc['length'] extends Len
-  ? Acc
-  : TupleOfSize<Len, [any, ...Acc]>;
-
-export type SliceTo<T extends unknown[], Index extends number> = T['length'] extends Index
-  ? T
-  : T extends [...infer Rest, any?]
-    ? SliceTo<Rest, Index>
-    : [];
-
-export type SliceFrom<T extends unknown[], Index extends number> = T extends [
-  ...TupleOfSize<Index>,
-  ...infer Rest,
-]
-  ? Rest
-  : [];
-
-}