@rvoh/dream 0.40.2 → 0.40.4

package/dist/types/src/types/openapi.ts

@@ -0,0 +1,255 @@
+import { openapiPrimitiveTypes, openapiShorthandPrimitiveTypes } from '../dream/constants.js'
+import DreamSerializer from '../serializer/index.js'
+import { SerializableDreamClassOrViewModelClass } from './dream.js'
+
+export type OpenapiSchemaBody =
+  | OpenapiSchemaBase
+  | OpenapiSchemaPrimitiveGeneric
+  | OpenapiSchemaExpressionAnyOf
+  | OpenapiSchemaExpressionOneOf
+  | OpenapiSchemaExpressionAllOf
+  | OpenapiSchemaObject
+  | OpenapiSchemaArray
+
+export type OpenapiSchemaBodyShorthand =
+  | OpenapiSchemaBase
+  | OpenapiSchemaShorthandPrimitiveGeneric
+  | OpenapiSchemaShorthandExpressionAnyOf
+  | OpenapiSchemaShorthandExpressionOneOf
+  | OpenapiSchemaShorthandExpressionAllOf
+  | OpenapiSchemaObjectShorthand
+  | OpenapiSchemaArrayShorthand
+  | OpenapiSchemaNull // no shorthand for type: null
+  | OpenapiSchemaExpressionRefSchemaShorthand
+  | OpenapiSchemaShorthandExpressionSerializerRef
+  | OpenapiSchemaShorthandExpressionSerializableRef
+
+export type OpenapiSchemaBase =
+  | OpenapiSchemaString
+  | OpenapiSchemaInteger
+  | OpenapiSchemaNumber
+  | OpenapiSchemaNull
+  | OpenapiSchemaExpressionRef
+
+export type OpenapiSchemaShorthandExpressionAnyOf = {
+  anyOf: OpenapiSchemaBodyShorthand[]
+}
+
+export type OpenapiSchemaShorthandExpressionOneOf = {
+  oneOf: OpenapiSchemaBodyShorthand[]
+}
+
+export type OpenapiSchemaShorthandExpressionAllOf = {
+  allOf: OpenapiSchemaBodyShorthand[]
+}
+
+export type OpenapiSchemaShorthandExpressionSerializerRef = {
+  $serializer: typeof DreamSerializer
+  many?: boolean
+  maybeNull?: boolean
+}
+
+export type OpenapiSchemaShorthandExpressionSerializableRef = {
+  $serializable: SerializableDreamClassOrViewModelClass
+  key?: string
+  many?: boolean
+  maybeNull?: boolean
+}
+
+export type OpenapiSchemaExpressionRef = {
+  $ref: string
+}
+
+export type OpenapiSchemaExpressionRefSchemaShorthand = {
+  $schema: string
+}
+
+export type OpenapiSchemaExpressionAllOf = {
+  allOf: OpenapiSchemaBody[]
+}
+
+export type OpenapiSchemaExpressionAnyOf = {
+  anyOf: OpenapiSchemaBody[]
+}
+
+export type OpenapiSchemaExpressionOneOf = {
+  oneOf: OpenapiSchemaBody[]
+}
+
+export type OpenapiSchemaCommonFields<T> = T & {
+  description?: string
+  summary?: string
+}
+
+export type OpenapiSchemaString = OpenapiSchemaCommonFields<{
+  type: 'string' | ['string', 'null'] | ['null', 'string']
+  enum?: (string | null)[] | Readonly<(string | null)[]>
+  format?: string
+  pattern?: string
+  minLength?: number
+  maxLength?: number
+}>
+
+export type OpenapiSchemaInteger = OpenapiSchemaCommonFields<{
+  type: 'integer' | ['integer', 'null'] | ['null', 'integer']
+  minimum?: number
+  maximum?: number
+}>
+
+export type OpenapiSchemaNumber = OpenapiSchemaCommonFields<{
+  type: 'number' | ['number', 'null'] | ['null', 'number']
+  format?: OpenapiNumberFormats
+  multipleOf?: number
+  minimum?: number
+  maximum?: number
+}>
+
+export type OpenapiSchemaNull = {
+  type: 'null'
+}
+
+export type OpenapiNumberFormats = 'decimal' | 'double'
+
+export type OpenapiSchemaObject =
+  | OpenapiSchemaObjectBase
+  | OpenapiSchemaObjectOneOf
+  | OpenapiSchemaObjectAnyOf
+  | OpenapiSchemaObjectAllOf
+
+export type OpenapiSchemaObjectBase = CommonOpenapiSchemaObjectFields<{
+  minProperties?: number
+  maxProperties?: number
+  properties?:
+    | OpenapiSchemaProperties
+    | OpenapiSchemaExpressionOneOf
+    | OpenapiSchemaExpressionAnyOf
+    | OpenapiSchemaExpressionAllOf
+  additionalProperties?:
+    | OpenapiSchemaObject
+    | OpenapiSchemaExpressionOneOf
+    | OpenapiSchemaExpressionAnyOf
+    | OpenapiSchemaExpressionAllOf
+}>
+
+export type OpenapiSchemaObjectOneOf = CommonOpenapiSchemaObjectFields<{
+  oneOf?: OpenapiSchemaBody[]
+}>
+
+export type OpenapiSchemaObjectAnyOf = CommonOpenapiSchemaObjectFields<{
+  anyOf?: OpenapiSchemaBody[]
+}>
+
+export type OpenapiSchemaObjectAllOf = CommonOpenapiSchemaObjectFields<{
+  allOf?: OpenapiSchemaBody[]
+}>
+
+export type OpenapiSchemaObjectShorthand =
+  | OpenapiSchemaObjectBaseShorthand
+  | OpenapiSchemaObjectOneOfShorthand
+  | OpenapiSchemaObjectAnyOfShorthand
+  | OpenapiSchemaObjectAllOfShorthand
+
+export type OpenapiSchemaObjectBaseShorthand = CommonOpenapiSchemaObjectFields<{
+  minProperties?: number
+  maxProperties?: number
+  properties?:
+    | OpenapiSchemaPropertiesShorthand
+    | OpenapiSchemaShorthandExpressionOneOf
+    | OpenapiSchemaShorthandExpressionAnyOf
+    | OpenapiSchemaShorthandExpressionAllOf
+    | OpenapiSchemaShorthandExpressionSerializerRef
+    | OpenapiSchemaShorthandExpressionSerializableRef
+  additionalProperties?:
+    | OpenapiShorthandPrimitiveTypes
+    | OpenapiSchemaBodyShorthand
+    | OpenapiSchemaShorthandExpressionOneOf
+    | OpenapiSchemaShorthandExpressionAnyOf
+    | OpenapiSchemaShorthandExpressionAllOf
+    | OpenapiSchemaShorthandExpressionSerializerRef
+    | OpenapiSchemaShorthandExpressionSerializableRef
+}>
+
+export type OpenapiSchemaObjectOneOfShorthand = CommonOpenapiSchemaObjectFields<{
+  oneOf?: OpenapiSchemaBodyShorthand[]
+}>
+
+export type OpenapiSchemaObjectAnyOfShorthand = CommonOpenapiSchemaObjectFields<{
+  anyOf?: OpenapiSchemaBodyShorthand[]
+}>
+
+export type OpenapiSchemaObjectAllOfShorthand = CommonOpenapiSchemaObjectFields<{
+  allOf?: OpenapiSchemaBodyShorthand[]
+}>
+
+export type CommonOpenapiSchemaObjectFields<T> = OpenapiSchemaCommonFields<
+  T & {
+    type: 'object' | ['object', 'null'] | ['null', 'object']
+    required?: string[]
+  }
+>
+
+export type OpenapiSchemaArray = OpenapiSchemaCommonFields<{
+  type: 'array' | ['array', 'null'] | ['null', 'array']
+  items:
+    | OpenapiSchemaBody
+    | OpenapiSchemaExpressionAllOf
+    | OpenapiSchemaExpressionAnyOf
+    | OpenapiSchemaExpressionOneOf
+}>
+
+export type OpenapiSchemaArrayShorthand = OpenapiSchemaCommonFields<{
+  type: 'array' | ['array', 'null'] | ['null', 'array']
+  items:
+    | OpenapiSchemaBodyShorthand
+    | OpenapiSchemaShorthandExpressionAllOf
+    | OpenapiSchemaShorthandExpressionAnyOf
+    | OpenapiSchemaShorthandExpressionOneOf
+    | OpenapiSchemaShorthandExpressionSerializerRef
+    | OpenapiSchemaShorthandExpressionSerializableRef
+}>
+
+export interface OpenapiSchemaProperties {
+  [key: string]: OpenapiSchemaBody
+}
+
+export type OpenapiSchemaPrimitiveGeneric = OpenapiSchemaCommonFields<{
+  type: OpenapiPrimitiveTypes
+}>
+
+export type OpenapiSchemaShorthandPrimitiveGeneric = OpenapiSchemaCommonFields<{
+  type: OpenapiShorthandPrimitiveTypes
+}>
+
+export interface OpenapiSchemaPropertiesShorthand {
+  [key: string]: OpenapiSchemaBodyShorthand | OpenapiShorthandPrimitiveTypes
+}
+
+type OpenapiPrimitiveBaseTypes = (typeof openapiPrimitiveTypes)[number]
+export type OpenapiPrimitiveTypes =
+  | OpenapiPrimitiveBaseTypes
+  | [OpenapiPrimitiveBaseTypes, 'null']
+  | ['null', OpenapiPrimitiveBaseTypes]
+
+export type OpenapiShorthandPrimitiveBaseTypes = (typeof openapiShorthandPrimitiveTypes)[number]
+export type OpenapiShorthandPrimitiveTypes =
+  | OpenapiShorthandPrimitiveBaseTypes
+  | [OpenapiShorthandPrimitiveBaseTypes, 'null']
+  | ['null', OpenapiShorthandPrimitiveBaseTypes]
+
+type ObjectOrArrayPrimitiveTypes =
+  | 'object'
+  | 'array'
+  | ['object' | 'array', 'null']
+  | ['null', 'object' | 'array']
+
+export type OpenapiAllTypes = OpenapiPrimitiveTypes | ObjectOrArrayPrimitiveTypes
+
+export type OpenapiShorthandAllTypes = OpenapiShorthandPrimitiveTypes | ObjectOrArrayPrimitiveTypes
+
+export type OpenapiTypeField = OpenapiPrimitiveTypes | OpenapiTypeFieldObject
+
+export interface OpenapiTypeFieldObject {
+  [key: string]: OpenapiPrimitiveTypes | OpenapiTypeFieldObject
+}
+
+export type OpenapiFormats = 'application/json'

package/dist/types/src/types/query.d.ts

@@ -1,165 +1,57 @@
-import { Nullable } from 'kysely'
-import Dream from '../Dream.ts'
-import Query from '../dream/Query.ts'
-import { IdType, TableColumnType } from './dream.js'
-import { FindInterfaceWithValue } from './utils.ts'
-import { JoinedAssociation, QueryTypeOptions } from './variadic.js'
-
-export type QueryWithJoinedAssociationsType<
-  Q extends Query<any, any>,
-  JoinedAssociations extends Readonly<JoinedAssociation[]>,
-> = Query<
-  Q['dreamInstance'],
-  ExtendQueryType<
-    Q['queryTypeOpts'],
-    Readonly<{
-      joinedAssociations: JoinedAssociations
-    }>
-  >
->
-
-export type QueryWithJoinedAssociationsTypeAndNoPreload<
-  Q extends Query<any, any>,
-  JoinedAssociations extends Readonly<JoinedAssociation[]> = Readonly<JoinedAssociation[]>,
-> = Query<
-  Q['dreamInstance'],
-  ExtendQueryType<
-    Q['queryTypeOpts'],
-    Readonly<{
-      joinedAssociations: JoinedAssociations
-      allowPreload: false
-    }>
-  >
->
-
-export type QueryWithJoinedAssociationsTypeAndNoLeftJoinPreload<
-  Q extends Query<any, any>,
-  JoinedAssociations extends Readonly<JoinedAssociation[]> = Readonly<JoinedAssociation[]>,
-> = Query<
-  Q['dreamInstance'],
-  ExtendQueryType<
-    Q['queryTypeOpts'],
-    Readonly<{
-      joinedAssociations: JoinedAssociations
-      allowLeftJoinPreload: false
-    }>
-  >
->
-
-export type DefaultQueryTypeOptions<
-  TableNameSource extends Dream,
-  TableAliasSource extends Dream | string = TableNameSource,
-> = Readonly<{
-  joinedAssociations: Readonly<[]>
-  rootTableName: TableNameSource['table']
-  rootTableAlias: TableAliasSource extends Dream ? TableAliasSource['table'] : TableAliasSource
-  allowPreload: true
-  allowLeftJoinPreload: true
-}>
-
+import { Nullable } from 'kysely';
+import Dream from '../Dream.js';
+import Query from '../dream/Query.js';
+import { IdType, TableColumnType } from './dream.js';
+import { FindInterfaceWithValue } from './utils.js';
+import { JoinedAssociation, QueryTypeOptions } from './variadic.js';
+export type QueryWithJoinedAssociationsType<Q extends Query<any, any>, JoinedAssociations extends Readonly<JoinedAssociation[]>> = Query<Q['dreamInstance'], ExtendQueryType<Q['queryTypeOpts'], Readonly<{
+    joinedAssociations: JoinedAssociations;
+}>>>;
+export type QueryWithJoinedAssociationsTypeAndNoPreload<Q extends Query<any, any>, JoinedAssociations extends Readonly<JoinedAssociation[]> = Readonly<JoinedAssociation[]>> = Query<Q['dreamInstance'], ExtendQueryType<Q['queryTypeOpts'], Readonly<{
+    joinedAssociations: JoinedAssociations;
+    allowPreload: false;
+}>>>;
+export type QueryWithJoinedAssociationsTypeAndNoLeftJoinPreload<Q extends Query<any, any>, JoinedAssociations extends Readonly<JoinedAssociation[]> = Readonly<JoinedAssociation[]>> = Query<Q['dreamInstance'], ExtendQueryType<Q['queryTypeOpts'], Readonly<{
+    joinedAssociations: JoinedAssociations;
+    allowLeftJoinPreload: false;
+}>>>;
+export type DefaultQueryTypeOptions<TableNameSource extends Dream, TableAliasSource extends Dream | string = TableNameSource> = Readonly<{
+    joinedAssociations: Readonly<[]>;
+    rootTableName: TableNameSource['table'];
+    rootTableAlias: TableAliasSource extends Dream ? TableAliasSource['table'] : TableAliasSource;
+    allowPreload: true;
+    allowLeftJoinPreload: true;
+}>;
 export interface PreloadedDreamsAndWhatTheyPointTo {
-  dream: Dream
-  pointsToPrimaryKey: IdType
+    dream: Dream;
+    pointsToPrimaryKey: IdType;
 }
-
 export interface FindEachOpts {
-  batchSize?: number
+    batchSize?: number;
 }
-export type JoinTypes = 'inner' | 'left'
-
-export type ExtendQueryType<
-  OriginalOpts extends Readonly<QueryTypeOptions>,
-  Opts extends Readonly<Partial<QueryTypeOptions>>,
-> = Readonly<{
-  joinedAssociations: Opts['joinedAssociations'] extends Readonly<JoinedAssociation[]>
-    ? Readonly<[...OriginalOpts['joinedAssociations'], ...Opts['joinedAssociations']]>
-    : OriginalOpts['joinedAssociations']
-
-  rootTableName: OriginalOpts['rootTableName']
-  rootTableAlias: OriginalOpts['rootTableAlias']
-
-  allowPreload: Opts['allowPreload'] extends false ? false : OriginalOpts['allowPreload']
-  allowLeftJoinPreload: Opts['allowLeftJoinPreload'] extends false
-    ? false
-    : OriginalOpts['allowLeftJoinPreload']
-}>
-
-export type NamespacedColumnType<
-  ColumnName,
-  Q extends Query<any, any>,
-  DreamInstance extends Dream,
-  //
-  // begin: inferred types
-  JoinedAssociationsArr = Q['queryTypeOpts']['joinedAssociations'],
-  AssociationName = ColumnName extends `${infer Name extends string}.${string}` ? Name : never,
-  RealColumnName = ColumnName extends `${string}.${infer Col extends string}` ? Col : never,
-  JoinedAssociation extends FindInterfaceWithValue<
-    JoinedAssociationsArr,
-    'alias',
-    AssociationName
-  > = FindInterfaceWithValue<JoinedAssociationsArr, 'alias', AssociationName>,
-  JoinedTable = JoinedAssociation['table'] extends never
-    ? DreamInstance['table']
-    : JoinedAssociation['table'],
-  ReturnType = TableColumnType<DreamInstance['schema'], JoinedTable, RealColumnName>,
-> = ReturnType
-type NamespacedColumnTypes<ColumnNames, Q extends Query<any, any>, DreamInstance extends Dream> =
-  ColumnNames extends Readonly<[infer First, ...infer Rest]>
-    ? [
-        NamespacedColumnType<First, Q, DreamInstance>,
-        ...NamespacedColumnTypes<Readonly<Rest>, Q, DreamInstance>,
-      ]
-    : []
-
-export type BaseModelColumnTypes<ColumnNames, DreamInstance extends Dream> =
-  ColumnNames extends Readonly<[infer First, ...infer Rest]>
-    ? [
-        TableColumnType<DreamInstance['schema'], DreamInstance['table'], First>,
-        ...BaseModelColumnTypes<Readonly<Rest>, DreamInstance>,
-      ]
-    : []
-
-export type NamespacedOrBaseModelColumnTypes<
-  ColumnNames,
-  Q extends Query<any, any>,
-  DreamInstance extends Dream,
-> = Q['queryTypeOpts']['joinedAssociations']['length'] extends 0
-  ? BaseModelColumnTypes<ColumnNames, DreamInstance>
-  : NamespacedColumnTypes<ColumnNames, Q, DreamInstance>
-
-export type QueryToKyselyTableNamesType<
-  Q extends Query<any, any>,
-  DreamInstance = Q['dreamInstance'],
-  QueryTypeOpts = Q['queryTypeOpts'],
-  HasJoinedAssociations = QueryTypeOpts['joinedAssociations']['length'] extends 0 ? false : true,
-  JoinedAssociationTables = HasJoinedAssociations extends true
-    ? QueryTypeOpts['joinedAssociations'][number]['table']
-    : null,
-  JoinedAssociationAliases = HasJoinedAssociations extends true
-    ? QueryTypeOpts['joinedAssociations'][number]['alias']
-    : null,
-  TableNames = HasJoinedAssociations extends true
-    ? DreamInstance['table'] | JoinedAssociationTables | JoinedAssociationAliases
-    : DreamInstance['table'],
-> = TableNames
-
-export type QueryToKyselyDBType<
-  Q extends Query<any, any>,
-  DreamInstance = Q['dreamInstance'],
-  AliasToDbMaps = QueryToKyselyAliasMap<Q>,
-  DbType = AliasToDbMaps extends null ? DreamInstance['DB'] : DreamInstance['DB'] & AliasToDbMaps,
-> = DbType
-
-export type QueryToKyselyAliasMap<
-  Q extends Query<any, any>,
-  DreamInstance = Q['dreamInstance'],
-  QueryTypeOpts = Q['queryTypeOpts'],
-  HasJoinedAssociations = QueryTypeOpts['joinedAssociations']['length'] extends 0 ? false : true,
-  AliasToDbMaps = HasJoinedAssociations extends true
-    ? {
-        [Key in QueryTypeOpts['joinedAssociations'][number]['alias']]: Nullable<
-          DreamInstance['DB'][Extract<QueryTypeOpts['joinedAssociations'][number], { alias: Key }>['table']]
-        >
-      }
-    : null,
-> = AliasToDbMaps
+export type JoinTypes = 'inner' | 'left';
+export type ExtendQueryType<OriginalOpts extends Readonly<QueryTypeOptions>, Opts extends Readonly<Partial<QueryTypeOptions>>> = Readonly<{
+    joinedAssociations: Opts['joinedAssociations'] extends Readonly<JoinedAssociation[]> ? Readonly<[...OriginalOpts['joinedAssociations'], ...Opts['joinedAssociations']]> : OriginalOpts['joinedAssociations'];
+    rootTableName: OriginalOpts['rootTableName'];
+    rootTableAlias: OriginalOpts['rootTableAlias'];
+    allowPreload: Opts['allowPreload'] extends false ? false : OriginalOpts['allowPreload'];
+    allowLeftJoinPreload: Opts['allowLeftJoinPreload'] extends false ? false : OriginalOpts['allowLeftJoinPreload'];
+}>;
+export type NamespacedColumnType<ColumnName, Q extends Query<any, any>, DreamInstance extends Dream, JoinedAssociationsArr = Q['queryTypeOpts']['joinedAssociations'], AssociationName = ColumnName extends `${infer Name extends string}.${string}` ? Name : never, RealColumnName = ColumnName extends `${string}.${infer Col extends string}` ? Col : never, JoinedAssociation extends FindInterfaceWithValue<JoinedAssociationsArr, 'alias', AssociationName> = FindInterfaceWithValue<JoinedAssociationsArr, 'alias', AssociationName>, JoinedTable = JoinedAssociation['table'] extends never ? DreamInstance['table'] : JoinedAssociation['table'], ReturnType = TableColumnType<DreamInstance['schema'], JoinedTable, RealColumnName>> = ReturnType;
+type NamespacedColumnTypes<ColumnNames, Q extends Query<any, any>, DreamInstance extends Dream> = ColumnNames extends Readonly<[infer First, ...infer Rest]> ? [
+    NamespacedColumnType<First, Q, DreamInstance>,
+    ...NamespacedColumnTypes<Readonly<Rest>, Q, DreamInstance>
+] : [];
+export type BaseModelColumnTypes<ColumnNames, DreamInstance extends Dream> = ColumnNames extends Readonly<[infer First, ...infer Rest]> ? [
+    TableColumnType<DreamInstance['schema'], DreamInstance['table'], First>,
+    ...BaseModelColumnTypes<Readonly<Rest>, DreamInstance>
+] : [];
+export type NamespacedOrBaseModelColumnTypes<ColumnNames, Q extends Query<any, any>, DreamInstance extends Dream> = Q['queryTypeOpts']['joinedAssociations']['length'] extends 0 ? BaseModelColumnTypes<ColumnNames, DreamInstance> : NamespacedColumnTypes<ColumnNames, Q, DreamInstance>;
+export type QueryToKyselyTableNamesType<Q extends Query<any, any>, DreamInstance extends Dream = Q['dreamInstance'], QueryTypeOpts extends Readonly<QueryTypeOptions> = Q['queryTypeOpts'], HasJoinedAssociations = QueryTypeOpts['joinedAssociations']['length'] extends 0 ? false : true, JoinedAssociationTables = HasJoinedAssociations extends true ? QueryTypeOpts['joinedAssociations'][number]['table'] : null, JoinedAssociationAliases = HasJoinedAssociations extends true ? QueryTypeOpts['joinedAssociations'][number]['alias'] : null, TableNames = HasJoinedAssociations extends true ? DreamInstance['table'] | JoinedAssociationTables | JoinedAssociationAliases : DreamInstance['table']> = TableNames;
+export type QueryToKyselyDBType<Q extends Query<any, any>, DreamInstance extends Dream = Q['dreamInstance'], AliasToDbMaps = QueryToKyselyAliasMap<Q>, DbType = AliasToDbMaps extends null ? DreamInstance['DB'] : DreamInstance['DB'] & AliasToDbMaps> = DbType;
+export type QueryToKyselyAliasMap<Q extends Query<any, any>, DreamInstance extends Dream = Q['dreamInstance'], QueryTypeOpts extends Readonly<QueryTypeOptions> = Q['queryTypeOpts'], HasJoinedAssociations = QueryTypeOpts['joinedAssociations']['length'] extends 0 ? false : true, AliasToDbMaps = HasJoinedAssociations extends true ? {
+    [Key in QueryTypeOpts['joinedAssociations'][number]['alias']]: Nullable<DreamInstance['DB'][Extract<QueryTypeOpts['joinedAssociations'][number], {
+        alias: Key;
+    }>['table']]>;
+} : null> = AliasToDbMaps;
+export {};

package/dist/types/src/types/query.ts

@@ -0,0 +1,165 @@
+import { Nullable } from 'kysely'
+import Dream from '../Dream.js'
+import Query from '../dream/Query.js'
+import { IdType, TableColumnType } from './dream.js'
+import { FindInterfaceWithValue } from './utils.js'
+import { JoinedAssociation, QueryTypeOptions } from './variadic.js'
+
+export type QueryWithJoinedAssociationsType<
+  Q extends Query<any, any>,
+  JoinedAssociations extends Readonly<JoinedAssociation[]>,
+> = Query<
+  Q['dreamInstance'],
+  ExtendQueryType<
+    Q['queryTypeOpts'],
+    Readonly<{
+      joinedAssociations: JoinedAssociations
+    }>
+  >
+>
+
+export type QueryWithJoinedAssociationsTypeAndNoPreload<
+  Q extends Query<any, any>,
+  JoinedAssociations extends Readonly<JoinedAssociation[]> = Readonly<JoinedAssociation[]>,
+> = Query<
+  Q['dreamInstance'],
+  ExtendQueryType<
+    Q['queryTypeOpts'],
+    Readonly<{
+      joinedAssociations: JoinedAssociations
+      allowPreload: false
+    }>
+  >
+>
+
+export type QueryWithJoinedAssociationsTypeAndNoLeftJoinPreload<
+  Q extends Query<any, any>,
+  JoinedAssociations extends Readonly<JoinedAssociation[]> = Readonly<JoinedAssociation[]>,
+> = Query<
+  Q['dreamInstance'],
+  ExtendQueryType<
+    Q['queryTypeOpts'],
+    Readonly<{
+      joinedAssociations: JoinedAssociations
+      allowLeftJoinPreload: false
+    }>
+  >
+>
+
+export type DefaultQueryTypeOptions<
+  TableNameSource extends Dream,
+  TableAliasSource extends Dream | string = TableNameSource,
+> = Readonly<{
+  joinedAssociations: Readonly<[]>
+  rootTableName: TableNameSource['table']
+  rootTableAlias: TableAliasSource extends Dream ? TableAliasSource['table'] : TableAliasSource
+  allowPreload: true
+  allowLeftJoinPreload: true
+}>
+
+export interface PreloadedDreamsAndWhatTheyPointTo {
+  dream: Dream
+  pointsToPrimaryKey: IdType
+}
+
+export interface FindEachOpts {
+  batchSize?: number
+}
+export type JoinTypes = 'inner' | 'left'
+
+export type ExtendQueryType<
+  OriginalOpts extends Readonly<QueryTypeOptions>,
+  Opts extends Readonly<Partial<QueryTypeOptions>>,
+> = Readonly<{
+  joinedAssociations: Opts['joinedAssociations'] extends Readonly<JoinedAssociation[]>
+    ? Readonly<[...OriginalOpts['joinedAssociations'], ...Opts['joinedAssociations']]>
+    : OriginalOpts['joinedAssociations']
+
+  rootTableName: OriginalOpts['rootTableName']
+  rootTableAlias: OriginalOpts['rootTableAlias']
+
+  allowPreload: Opts['allowPreload'] extends false ? false : OriginalOpts['allowPreload']
+  allowLeftJoinPreload: Opts['allowLeftJoinPreload'] extends false
+    ? false
+    : OriginalOpts['allowLeftJoinPreload']
+}>
+
+export type NamespacedColumnType<
+  ColumnName,
+  Q extends Query<any, any>,
+  DreamInstance extends Dream,
+  //
+  // begin: inferred types
+  JoinedAssociationsArr = Q['queryTypeOpts']['joinedAssociations'],
+  AssociationName = ColumnName extends `${infer Name extends string}.${string}` ? Name : never,
+  RealColumnName = ColumnName extends `${string}.${infer Col extends string}` ? Col : never,
+  JoinedAssociation extends FindInterfaceWithValue<
+    JoinedAssociationsArr,
+    'alias',
+    AssociationName
+  > = FindInterfaceWithValue<JoinedAssociationsArr, 'alias', AssociationName>,
+  JoinedTable = JoinedAssociation['table'] extends never
+    ? DreamInstance['table']
+    : JoinedAssociation['table'],
+  ReturnType = TableColumnType<DreamInstance['schema'], JoinedTable, RealColumnName>,
+> = ReturnType
+type NamespacedColumnTypes<ColumnNames, Q extends Query<any, any>, DreamInstance extends Dream> =
+  ColumnNames extends Readonly<[infer First, ...infer Rest]>
+    ? [
+        NamespacedColumnType<First, Q, DreamInstance>,
+        ...NamespacedColumnTypes<Readonly<Rest>, Q, DreamInstance>,
+      ]
+    : []
+
+export type BaseModelColumnTypes<ColumnNames, DreamInstance extends Dream> =
+  ColumnNames extends Readonly<[infer First, ...infer Rest]>
+    ? [
+        TableColumnType<DreamInstance['schema'], DreamInstance['table'], First>,
+        ...BaseModelColumnTypes<Readonly<Rest>, DreamInstance>,
+      ]
+    : []
+
+export type NamespacedOrBaseModelColumnTypes<
+  ColumnNames,
+  Q extends Query<any, any>,
+  DreamInstance extends Dream,
+> = Q['queryTypeOpts']['joinedAssociations']['length'] extends 0
+  ? BaseModelColumnTypes<ColumnNames, DreamInstance>
+  : NamespacedColumnTypes<ColumnNames, Q, DreamInstance>
+
+export type QueryToKyselyTableNamesType<
+  Q extends Query<any, any>,
+  DreamInstance extends Dream = Q['dreamInstance'],
+  QueryTypeOpts extends Readonly<QueryTypeOptions> = Q['queryTypeOpts'],
+  HasJoinedAssociations = QueryTypeOpts['joinedAssociations']['length'] extends 0 ? false : true,
+  JoinedAssociationTables = HasJoinedAssociations extends true
+    ? QueryTypeOpts['joinedAssociations'][number]['table']
+    : null,
+  JoinedAssociationAliases = HasJoinedAssociations extends true
+    ? QueryTypeOpts['joinedAssociations'][number]['alias']
+    : null,
+  TableNames = HasJoinedAssociations extends true
+    ? DreamInstance['table'] | JoinedAssociationTables | JoinedAssociationAliases
+    : DreamInstance['table'],
+> = TableNames
+
+export type QueryToKyselyDBType<
+  Q extends Query<any, any>,
+  DreamInstance extends Dream = Q['dreamInstance'],
+  AliasToDbMaps = QueryToKyselyAliasMap<Q>,
+  DbType = AliasToDbMaps extends null ? DreamInstance['DB'] : DreamInstance['DB'] & AliasToDbMaps,
+> = DbType
+
+export type QueryToKyselyAliasMap<
+  Q extends Query<any, any>,
+  DreamInstance extends Dream = Q['dreamInstance'],
+  QueryTypeOpts extends Readonly<QueryTypeOptions> = Q['queryTypeOpts'],
+  HasJoinedAssociations = QueryTypeOpts['joinedAssociations']['length'] extends 0 ? false : true,
+  AliasToDbMaps = HasJoinedAssociations extends true
+    ? {
+        [Key in QueryTypeOpts['joinedAssociations'][number]['alias']]: Nullable<
+          DreamInstance['DB'][Extract<QueryTypeOpts['joinedAssociations'][number], { alias: Key }>['table']]
+        >
+      }
+    : null,
+> = AliasToDbMaps