Rework TypeScript types around registry, codecs, resources and relations

grafast/dataplan-pg/src/filters/pgBooleanFilter.ts

@@ -2,7 +2,7 @@ import type { ExecutableStep } from "grafast";
 import { ModifierStep } from "grafast";
 import type { SQL } from "pg-sql2";
 
-import type { PgCodec, PgConditionLikeStep } from "../interfaces.js";
+import type { _AnyPgCodec, PgConditionLikeStep } from "../interfaces.js";
 
 export class PgBooleanFilterStep extends ModifierStep<PgConditionLikeStep> {
   static $$export = {
@@ -22,7 +22,10 @@ export class PgBooleanFilterStep extends ModifierStep<PgConditionLikeStep> {
     this.alias = $classFilterPlan.alias;
   }
 
-  placeholder($step: ExecutableStep, codec: PgCodec): SQL {
+  placeholder<TCodec extends _AnyPgCodec>(
+    $step: ExecutableStep,
+    codec: TCodec,
+  ): SQL {
     return this.$parent.placeholder($step, codec);
   }
 

grafast/dataplan-pg/src/filters/pgClassFilter.ts

@@ -2,7 +2,7 @@ import type { ExecutableStep } from "grafast";
 import { ModifierStep } from "grafast";
 import type { SQL } from "pg-sql2";
 
-import type { PgCodec } from "../interfaces.js";
+import type { _AnyPgCodec } from "../interfaces.js";
 import type {
   PgConditionCapableParentStep,
   PgConditionStep,
@@ -30,7 +30,10 @@ export class PgClassFilterStep<
     this.conditions.push(condition);
   }
 
-  placeholder($step: ExecutableStep, codec: PgCodec): SQL {
+  placeholder<TCodec extends _AnyPgCodec>(
+    $step: ExecutableStep,
+    codec: TCodec,
+  ): SQL {
     return this.$parent.placeholder($step, codec);
   }
 

grafast/dataplan-pg/src/filters/pgOrFilter.ts

@@ -3,7 +3,7 @@ import { ModifierStep } from "grafast";
 import type { SQL } from "pg-sql2";
 import { sql } from "pg-sql2";
 
-import type { PgCodec, PgConditionLikeStep } from "../interfaces.js";
+import type { _AnyPgCodec, PgConditionLikeStep } from "../interfaces.js";
 
 export class PgOrFilterStep extends ModifierStep<PgConditionLikeStep> {
   static $$export = {
@@ -20,7 +20,10 @@ export class PgOrFilterStep extends ModifierStep<PgConditionLikeStep> {
     this.alias = $classFilterPlan.alias;
   }
 
-  placeholder($step: ExecutableStep, codec: PgCodec): SQL {
+  placeholder<TCodec extends _AnyPgCodec>(
+    $step: ExecutableStep,
+    codec: TCodec,
+  ): SQL {
     return this.$parent.placeholder($step, codec);
   }
 

grafast/dataplan-pg/src/index.ts

@@ -1,16 +1,21 @@
 import { exportAsMany } from "grafast";
 
 import {
+  _AnyPgCodecAttribute,
+  _AnyPgCodecAttributeVia,
+  _AnyPgCodecAttributeViaAttribute,
+  _AnyPgCodecAttributeViaRelationName,
   domainOfCodec,
   enumCodec,
+  GenericPgCodecAttribute,
+  GenericPgCodecAttributeVia,
   getCodecByPgCatalogTypeName,
   getInnerCodec,
   isEnumCodec,
   listOfCodec,
   ObjectFromPgCodecAttributes,
   PgCodecAttribute,
   PgCodecAttributeExtensions,
-  PgCodecAttributes,
   PgCodecAttributeVia,
   PgCodecAttributeViaExplicit,
   PgEnumCodecSpec,
@@ -31,6 +36,20 @@ import {
   PgPolygon,
 } from "./codecUtils/index.js";
 import {
+  _AnyPgFunctionResourceOptions,
+  _AnyPgRegistryBuilder,
+  _AnyPgResource,
+  _AnyPgResourceOptions,
+  _AnyPgResourceParameter,
+  _AnyPgResourceUnique,
+  _AnyScalarPgResource,
+  DefaultRegistryBuilder,
+  EmptyRegistryBuilder,
+  GenericPgFunctionResourceOptions,
+  GenericPgResource,
+  GenericPgResourceOptions,
+  GenericPgResourceParameter,
+  GenericPgResourceUnique,
   makePgResourceOptions,
   makeRegistry,
   makeRegistryBuilder,
@@ -65,7 +84,23 @@ import { PgClassFilterStep } from "./filters/pgClassFilter.js";
 import { PgManyFilterStep } from "./filters/pgManyFilter.js";
 import { PgOrFilterStep } from "./filters/pgOrFilter.js";
 import {
-  GetPgCodecAttributes,
+  _AnyPgCodec,
+  _AnyPgCodecAttributesRecord,
+  _AnyPgCodecRelationConfig,
+  _AnyPgRangeItemCodec,
+  _AnyPgRegistry,
+  _AnyPgRegistryConfig,
+  _AnyPgRelation,
+  _AnyScalarPgCodec,
+  DefaultScalarPgCodec,
+  GenericPgCodec,
+  GenericPgCodecAttributesRecord,
+  GenericPgCodecRelationConfig,
+  GenericPgCodecWithAttributes,
+  GenericPgRangeItemCodec,
+  GenericPgRegistry,
+  GenericPgRegistryConfig,
+  GenericPgRelation,
   GetPgRegistryCodecRelations,
   GetPgRegistryCodecs,
   GetPgRegistrySources,
@@ -79,17 +114,26 @@ import {
   PgClassSingleStep,
   PgCodec,
   PgCodecAnyScalar,
+  PgCodecAttributes,
+  PgCodecAttributesRecord,
   PgCodecExtensions,
+  PgCodecFromJavaScript,
+  PgCodecFromPg,
+  PgCodecFromPostgres,
   PgCodecList,
+  PgCodecName,
   PgCodecPolymorphism,
   PgCodecPolymorphismRelational,
   PgCodecPolymorphismRelationalTypeSpec,
   PgCodecPolymorphismSingle,
   PgCodecPolymorphismSingleTypeAttributeSpec,
   PgCodecPolymorphismSingleTypeSpec,
   PgCodecPolymorphismUnion,
-  PgCodecRelation,
+  PgCodecRelationBase,
   PgCodecRelationConfig,
+  PgCodecRelationConfigLocalCodec,
+  PgCodecRelationConfigName,
+  PgCodecRelationConfigRemoteResourceOptions,
   PgCodecRelationExtensions,
   PgCodecWithAttributes,
   PgConditionLikeStep,
@@ -98,11 +142,23 @@ import {
   PgEnumCodec,
   PgEnumValue,
   PgGroupSpec,
+  PgOrderAttributeSpec,
+  PgOrderFragmentSpec,
   PgOrderSpec,
   PgRefDefinition,
   PgRefDefinitionExtensions,
   PgRefDefinitions,
   PgRegistry,
+  PgRegistryCodecRelations,
+  PgRegistryCodecs,
+  PgRegistryConfig,
+  PgRegistryConfigCodecs,
+  PgRegistryConfigRelationConfigs,
+  PgRegistryConfigResourceOptions,
+  PgRegistryRelationConfigs,
+  PgRegistryResourceOptions,
+  PgRegistryResources,
+  PgRelation,
   PgTypedExecutableStep,
   PlanByUniques,
   TuplePlanMap,
@@ -121,7 +177,12 @@ import {
   pgWhereConditionSpecListToSQL,
 } from "./steps/pgCondition.js";
 import { PgCursorStep } from "./steps/pgCursor.js";
-import { pgDeleteSingle, PgDeleteSingleStep } from "./steps/pgDeleteSingle.js";
+import {
+  _AnyPgDeleteSingleStep,
+  GenericPgDeleteSingleStep,
+  pgDeleteSingle,
+  PgDeleteSingleStep,
+} from "./steps/pgDeleteSingle.js";
 import { pgInsertSingle, PgInsertSingleStep } from "./steps/pgInsertSingle.js";
 import { pgPageInfo, PgPageInfoStep } from "./steps/pgPageInfo.js";
 import {
@@ -130,7 +191,9 @@ import {
   PgPolymorphicTypeMap,
 } from "./steps/pgPolymorphic.js";
 import {
+  _AnyPgSelectStep,
   digestsFromArgumentSpecs,
+  GenericPgSelectStep,
   pgSelect,
   PgSelectArgumentDigest,
   PgSelectArgumentSpec,
@@ -143,6 +206,9 @@ import {
   sqlFromArgDigests,
 } from "./steps/pgSelect.js";
 import {
+  _AnyPgSelectSinglePlanOptions,
+  _AnyPgSelectSingleStep,
+  GenericPgSelectSingleStep,
   pgSelectFromRecord,
   pgSelectSingleFromRecord,
   PgSelectSinglePlanOptions,
@@ -163,7 +229,12 @@ import {
   PgUnionAllStepMember,
   PgUnionAllStepOrder,
 } from "./steps/pgUnionAll.js";
-import { pgUpdateSingle, PgUpdateSingleStep } from "./steps/pgUpdateSingle.js";
+import {
+  _AnyPgUpdateSingleStep,
+  GenericPgUpdateSingleStep,
+  pgUpdateSingle,
+  PgUpdateSingleStep,
+} from "./steps/pgUpdateSingle.js";
 import {
   pgValidateParsedCursor,
   PgValidateParsedCursorStep,
@@ -178,13 +249,57 @@ import {
 import { assertPgClassSingleStep } from "./utils.js";
 
 export {
+  _AnyPgCodec,
+  _AnyPgCodecAttribute,
+  _AnyPgCodecAttributesRecord,
+  _AnyPgCodecAttributeVia,
+  _AnyPgCodecAttributeViaAttribute,
+  _AnyPgCodecAttributeViaRelationName,
+  _AnyPgCodecRelationConfig,
+  _AnyPgDeleteSingleStep,
+  _AnyPgFunctionResourceOptions,
+  _AnyPgRegistry,
+  _AnyPgRegistryBuilder,
+  _AnyPgRegistryConfig,
+  _AnyPgRelation,
+  _AnyPgResource,
+  _AnyPgResourceOptions,
+  _AnyPgResourceParameter,
+  _AnyPgResourceUnique,
+  _AnyPgSelectSinglePlanOptions,
+  _AnyPgSelectSingleStep,
+  _AnyPgSelectStep,
+  _AnyPgUpdateSingleStep,
+  _AnyScalarPgCodec,
+  _AnyScalarPgResource,
   assertPgClassSingleStep,
+  DefaultRegistryBuilder,
+  DefaultScalarPgCodec,
   digestsFromArgumentSpecs,
   domainOfCodec,
+  EmptyRegistryBuilder,
   enumCodec,
+  GenericPgCodec,
+  GenericPgCodecAttribute,
+  GenericPgCodecAttributesRecord,
+  GenericPgCodecAttributeVia,
+  GenericPgCodecRelationConfig,
+  GenericPgCodecWithAttributes,
+  GenericPgDeleteSingleStep,
+  GenericPgFunctionResourceOptions,
+  GenericPgRangeItemCodec,
+  GenericPgRegistry,
+  GenericPgRegistryConfig,
+  GenericPgRelation,
+  GenericPgResource,
+  GenericPgResourceOptions,
+  GenericPgResourceParameter,
+  GenericPgResourceUnique,
+  GenericPgSelectSingleStep,
+  GenericPgSelectStep,
+  GenericPgUpdateSingleStep,
   getCodecByPgCatalogTypeName,
   getInnerCodec,
-  GetPgCodecAttributes,
   GetPgRegistryCodecRelations,
   GetPgRegistryCodecs,
   GetPgRegistrySources,
@@ -216,10 +331,15 @@ export {
   PgCodecAttribute,
   PgCodecAttributeExtensions,
   PgCodecAttributes,
+  PgCodecAttributesRecord,
   PgCodecAttributeVia,
   PgCodecAttributeViaExplicit,
   PgCodecExtensions,
+  PgCodecFromJavaScript,
+  PgCodecFromPg,
+  PgCodecFromPostgres,
   PgCodecList,
+  PgCodecName,
   PgCodecPolymorphism,
   PgCodecPolymorphismRelational,
   PgCodecPolymorphismRelationalTypeSpec,
@@ -232,8 +352,12 @@ export {
   PgCodecRefPath,
   PgCodecRefPathEntry,
   PgCodecRefs,
-  PgCodecRelation,
+  PgRelation as PgCodecRelation,
+  PgCodecRelationBase,
   PgCodecRelationConfig,
+  PgCodecRelationConfigLocalCodec,
+  PgCodecRelationConfigName,
+  PgCodecRelationConfigRemoteResourceOptions,
   PgCodecRelationExtensions,
   PgCodecWithAttributes,
   PgConditionCapableParentStep,
@@ -266,6 +390,8 @@ export {
   PgLockCallback,
   PgLseg,
   PgManyFilterStep,
+  PgOrderAttributeSpec,
+  PgOrderFragmentSpec,
   PgOrderSpec,
   PgOrFilterStep,
   pgPageInfo,
@@ -276,12 +402,23 @@ export {
   pgPolymorphic,
   PgPolymorphicStep,
   PgPolymorphicTypeMap,
+  _AnyPgRangeItemCodec as PgRangeItemCodec,
   PgRecordTypeCodecSpec,
   PgRefDefinition,
   PgRefDefinitionExtensions,
   PgRefDefinitions,
   PgRegistry,
   PgRegistryBuilder,
+  PgRegistryCodecRelations,
+  PgRegistryCodecs,
+  PgRegistryConfig,
+  PgRegistryConfigCodecs,
+  PgRegistryConfigRelationConfigs,
+  PgRegistryConfigResourceOptions,
+  PgRegistryRelationConfigs,
+  PgRegistryResourceOptions,
+  PgRegistryResources,
+  PgRelation,
   PgResource,
   PgResourceExtensions,
   PgResourceOptions,