export type FieldType<T extends {}, F extends keyof T> = T[F]
export type KeysOf<T extends {}, K extends keyof T = keyof T> = K | readonly K[]
/**
 * Retrieves the type(s) of the specified {PrimaryKeyField}
 *
 * @template {object} T, {DexieTablePrimaryKeyField<T>} PrimaryKeyField
 *
 */
export type DexieTablePrimaryKeyType<
  T extends {},
  PrimaryKeyField extends KeysOf<T>
> = PrimaryKeyField extends [...infer Fields]
  ? {
      [I in keyof Fields]: Fields[I] extends keyof T
        ? FieldType<T, Fields[I]>
        : never
    }
  : PrimaryKeyField extends keyof T
  ? T[PrimaryKeyField]
  : never
/**
 * Key(s) of the type T
 *
 * @template {object} T
 */
export type DexieTablePrimaryKeyField<T extends {}> = KeysOf<T>