@seqyuan/annodex 0.1.11 → 0.1.12

package/.next/types/app/api/harness/route.ts

@@ -1,351 +0,0 @@
-// File: /home/runner/work/annodex/annodex/app/api/harness/route.ts
-import * as entry from '../../../../../app/api/harness/route.js'
-import type { NextRequest } from 'next/server.js'
-
-import type { InstantConfigForTypeCheckInternal } from 'next/dist/build/segment-config/app/app-segment-config.js'
-
-type TEntry = typeof import('../../../../../app/api/harness/route.js')
-
-type SegmentParams<T extends Object = any> = T extends Record<string, any>
-  ? { [K in keyof T]: T[K] extends string ? string | string[] | undefined : never }
-  : T
-
-// Check that the entry is a valid entry
-checkFields<Diff<{
-  GET?: Function
-  HEAD?: Function
-  OPTIONS?: Function
-  POST?: Function
-  PUT?: Function
-  DELETE?: Function
-  PATCH?: Function
-  config?: {}
-  generateStaticParams?: Function
-  unstable_instant?: InstantConfigForTypeCheckInternal
-  unstable_dynamicStaleTime?: number
-  revalidate?: RevalidateRange<TEntry> | false
-  dynamic?: 'auto' | 'force-dynamic' | 'error' | 'force-static'
-  dynamicParams?: boolean
-  fetchCache?: 'auto' | 'force-no-store' | 'only-no-store' | 'default-no-store' | 'default-cache' | 'only-cache' | 'force-cache'
-  preferredRegion?: 'auto' | 'global' | 'home' | string | string[]
-  runtime?: 'nodejs' | 'experimental-edge' | 'edge'
-  maxDuration?: number
-  
-}, TEntry, ''>>()
-
-type RouteContext = { params: Promise<SegmentParams> }
-// Check the prop type of the entry function
-if ('GET' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'GET'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'GET'>>
-      },
-      'GET'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'GET'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'GET'>>
-      },
-      'GET'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'GET',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'GET',
-        __return_type__: ReturnType<MaybeField<TEntry, 'GET'>>
-      },
-      'GET'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('HEAD' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'HEAD'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'HEAD'>>
-      },
-      'HEAD'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'HEAD'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'HEAD'>>
-      },
-      'HEAD'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'HEAD',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'HEAD',
-        __return_type__: ReturnType<MaybeField<TEntry, 'HEAD'>>
-      },
-      'HEAD'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('OPTIONS' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'OPTIONS'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'OPTIONS'>>
-      },
-      'OPTIONS'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'OPTIONS'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'OPTIONS'>>
-      },
-      'OPTIONS'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'OPTIONS',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'OPTIONS',
-        __return_type__: ReturnType<MaybeField<TEntry, 'OPTIONS'>>
-      },
-      'OPTIONS'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('POST' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'POST'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'POST'>>
-      },
-      'POST'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'POST'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'POST'>>
-      },
-      'POST'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'POST',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'POST',
-        __return_type__: ReturnType<MaybeField<TEntry, 'POST'>>
-      },
-      'POST'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('PUT' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'PUT'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'PUT'>>
-      },
-      'PUT'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'PUT'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'PUT'>>
-      },
-      'PUT'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'PUT',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'PUT',
-        __return_type__: ReturnType<MaybeField<TEntry, 'PUT'>>
-      },
-      'PUT'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('DELETE' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'DELETE'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'DELETE'>>
-      },
-      'DELETE'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'DELETE'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'DELETE'>>
-      },
-      'DELETE'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'DELETE',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'DELETE',
-        __return_type__: ReturnType<MaybeField<TEntry, 'DELETE'>>
-      },
-      'DELETE'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('PATCH' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'PATCH'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'PATCH'>>
-      },
-      'PATCH'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'PATCH'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'PATCH'>>
-      },
-      'PATCH'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'PATCH',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'PATCH',
-        __return_type__: ReturnType<MaybeField<TEntry, 'PATCH'>>
-      },
-      'PATCH'
-    >
-  >()
-}
-
-// Check the arguments and return type of the generateStaticParams function
-if ('generateStaticParams' in entry) {
-  checkFields<Diff<{ params: SegmentParams }, FirstArg<MaybeField<TEntry, 'generateStaticParams'>>, 'generateStaticParams'>>()
-  checkFields<Diff<{ __tag__: 'generateStaticParams', __return_type__: any[] | Promise<any[]> }, { __tag__: 'generateStaticParams', __return_type__: ReturnType<MaybeField<TEntry, 'generateStaticParams'>> }>>()
-}
-
-export interface PageProps {
-  params?: Promise<SegmentParams>
-  searchParams?: Promise<any>
-}
-export interface LayoutProps {
-  children?: React.ReactNode
-
-  params?: Promise<SegmentParams>
-}
-
-// =============
-// Utility types
-type RevalidateRange<T> = T extends { revalidate: any } ? NonNegative<T['revalidate']> : never
-
-// If T is unknown or any, it will be an empty {} type. Otherwise, it will be the same as Omit<T, keyof Base>.
-type OmitWithTag<T, K extends keyof any, _M> = Omit<T, K>
-type Diff<Base, T extends Base, Message extends string = ''> = 0 extends (1 & T) ? {} : OmitWithTag<T, keyof Base, Message>
-
-type FirstArg<T extends Function> = T extends (...args: [infer T, any]) => any ? unknown extends T ? any : T : never
-type SecondArg<T extends Function> = T extends (...args: [any, infer T]) => any ? unknown extends T ? any : T : never
-type MaybeField<T, K extends string> = T extends { [k in K]: infer G } ? G extends Function ? G : never : never
-
-type ParamCheck<T> = {
-  __tag__: string
-  __param_position__: string
-  __param_type__: T
-}
-
-function checkFields<_ extends { [k in keyof any]: never }>() {}
-
-// https://github.com/sindresorhus/type-fest
-type Numeric = number | bigint
-type Zero = 0 | 0n
-type Negative<T extends Numeric> = T extends Zero ? never : `${T}` extends `-${string}` ? T : never
-type NonNegative<T extends Numeric> = T extends Zero ? T : Negative<T> extends never ? T : '__invalid_negative_number__'

package/.next/types/app/api/home/route.ts

@@ -1,351 +0,0 @@
-// File: /home/runner/work/annodex/annodex/app/api/home/route.ts
-import * as entry from '../../../../../app/api/home/route.js'
-import type { NextRequest } from 'next/server.js'
-
-import type { InstantConfigForTypeCheckInternal } from 'next/dist/build/segment-config/app/app-segment-config.js'
-
-type TEntry = typeof import('../../../../../app/api/home/route.js')
-
-type SegmentParams<T extends Object = any> = T extends Record<string, any>
-  ? { [K in keyof T]: T[K] extends string ? string | string[] | undefined : never }
-  : T
-
-// Check that the entry is a valid entry
-checkFields<Diff<{
-  GET?: Function
-  HEAD?: Function
-  OPTIONS?: Function
-  POST?: Function
-  PUT?: Function
-  DELETE?: Function
-  PATCH?: Function
-  config?: {}
-  generateStaticParams?: Function
-  unstable_instant?: InstantConfigForTypeCheckInternal
-  unstable_dynamicStaleTime?: number
-  revalidate?: RevalidateRange<TEntry> | false
-  dynamic?: 'auto' | 'force-dynamic' | 'error' | 'force-static'
-  dynamicParams?: boolean
-  fetchCache?: 'auto' | 'force-no-store' | 'only-no-store' | 'default-no-store' | 'default-cache' | 'only-cache' | 'force-cache'
-  preferredRegion?: 'auto' | 'global' | 'home' | string | string[]
-  runtime?: 'nodejs' | 'experimental-edge' | 'edge'
-  maxDuration?: number
-  
-}, TEntry, ''>>()
-
-type RouteContext = { params: Promise<SegmentParams> }
-// Check the prop type of the entry function
-if ('GET' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'GET'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'GET'>>
-      },
-      'GET'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'GET'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'GET'>>
-      },
-      'GET'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'GET',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'GET',
-        __return_type__: ReturnType<MaybeField<TEntry, 'GET'>>
-      },
-      'GET'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('HEAD' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'HEAD'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'HEAD'>>
-      },
-      'HEAD'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'HEAD'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'HEAD'>>
-      },
-      'HEAD'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'HEAD',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'HEAD',
-        __return_type__: ReturnType<MaybeField<TEntry, 'HEAD'>>
-      },
-      'HEAD'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('OPTIONS' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'OPTIONS'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'OPTIONS'>>
-      },
-      'OPTIONS'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'OPTIONS'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'OPTIONS'>>
-      },
-      'OPTIONS'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'OPTIONS',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'OPTIONS',
-        __return_type__: ReturnType<MaybeField<TEntry, 'OPTIONS'>>
-      },
-      'OPTIONS'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('POST' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'POST'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'POST'>>
-      },
-      'POST'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'POST'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'POST'>>
-      },
-      'POST'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'POST',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'POST',
-        __return_type__: ReturnType<MaybeField<TEntry, 'POST'>>
-      },
-      'POST'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('PUT' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'PUT'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'PUT'>>
-      },
-      'PUT'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'PUT'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'PUT'>>
-      },
-      'PUT'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'PUT',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'PUT',
-        __return_type__: ReturnType<MaybeField<TEntry, 'PUT'>>
-      },
-      'PUT'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('DELETE' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'DELETE'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'DELETE'>>
-      },
-      'DELETE'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'DELETE'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'DELETE'>>
-      },
-      'DELETE'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'DELETE',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'DELETE',
-        __return_type__: ReturnType<MaybeField<TEntry, 'DELETE'>>
-      },
-      'DELETE'
-    >
-  >()
-}
-// Check the prop type of the entry function
-if ('PATCH' in entry) {
-  checkFields<
-    Diff<
-      ParamCheck<Request | NextRequest>,
-      {
-        __tag__: 'PATCH'
-        __param_position__: 'first'
-        __param_type__: FirstArg<MaybeField<TEntry, 'PATCH'>>
-      },
-      'PATCH'
-    >
-  >()
-  checkFields<
-    Diff<
-      ParamCheck<RouteContext>,
-      {
-        __tag__: 'PATCH'
-        __param_position__: 'second'
-        __param_type__: SecondArg<MaybeField<TEntry, 'PATCH'>>
-      },
-      'PATCH'
-    >
-  >()
-  
-  checkFields<
-    Diff<
-      {
-        __tag__: 'PATCH',
-        __return_type__: Response | void | never | Promise<Response | void | never>
-      },
-      {
-        __tag__: 'PATCH',
-        __return_type__: ReturnType<MaybeField<TEntry, 'PATCH'>>
-      },
-      'PATCH'
-    >
-  >()
-}
-
-// Check the arguments and return type of the generateStaticParams function
-if ('generateStaticParams' in entry) {
-  checkFields<Diff<{ params: SegmentParams }, FirstArg<MaybeField<TEntry, 'generateStaticParams'>>, 'generateStaticParams'>>()
-  checkFields<Diff<{ __tag__: 'generateStaticParams', __return_type__: any[] | Promise<any[]> }, { __tag__: 'generateStaticParams', __return_type__: ReturnType<MaybeField<TEntry, 'generateStaticParams'>> }>>()
-}
-
-export interface PageProps {
-  params?: Promise<SegmentParams>
-  searchParams?: Promise<any>
-}
-export interface LayoutProps {
-  children?: React.ReactNode
-
-  params?: Promise<SegmentParams>
-}
-
-// =============
-// Utility types
-type RevalidateRange<T> = T extends { revalidate: any } ? NonNegative<T['revalidate']> : never
-
-// If T is unknown or any, it will be an empty {} type. Otherwise, it will be the same as Omit<T, keyof Base>.
-type OmitWithTag<T, K extends keyof any, _M> = Omit<T, K>
-type Diff<Base, T extends Base, Message extends string = ''> = 0 extends (1 & T) ? {} : OmitWithTag<T, keyof Base, Message>
-
-type FirstArg<T extends Function> = T extends (...args: [infer T, any]) => any ? unknown extends T ? any : T : never
-type SecondArg<T extends Function> = T extends (...args: [any, infer T]) => any ? unknown extends T ? any : T : never
-type MaybeField<T, K extends string> = T extends { [k in K]: infer G } ? G extends Function ? G : never : never
-
-type ParamCheck<T> = {
-  __tag__: string
-  __param_position__: string
-  __param_type__: T
-}
-
-function checkFields<_ extends { [k in keyof any]: never }>() {}
-
-// https://github.com/sindresorhus/type-fest
-type Numeric = number | bigint
-type Zero = 0 | 0n
-type Negative<T extends Numeric> = T extends Zero ? never : `${T}` extends `-${string}` ? T : never
-type NonNegative<T extends Numeric> = T extends Zero ? T : Negative<T> extends never ? T : '__invalid_negative_number__'