/* !!! This is code generated by Prisma. Do not edit directly. !!! */
/* eslint-disable */
// biome-ignore-all lint: generated file
// @ts-nocheck 
/*
 * This file exports the `UserProgress` model and its related types.
 *
 * 🟢 You can import this file directly.
 */
import type * as runtime from "@prisma/client/runtime/client"
import type * as $Enums from "../enums"
import type * as Prisma from "../internal/prismaNamespace"

/**
 * Model UserProgress
 * 
 */
export type UserProgressModel = runtime.Types.Result.DefaultSelection<Prisma.$UserProgressPayload>

export type AggregateUserProgress = {
  _count: UserProgressCountAggregateOutputType | null
  _min: UserProgressMinAggregateOutputType | null
  _max: UserProgressMaxAggregateOutputType | null
}

export type UserProgressMinAggregateOutputType = {
  id: string | null
  userId: string | null
  lessonId: string | null
  isCompleted: boolean | null
  createdAt: Date | null
  updatedAt: Date | null
}

export type UserProgressMaxAggregateOutputType = {
  id: string | null
  userId: string | null
  lessonId: string | null
  isCompleted: boolean | null
  createdAt: Date | null
  updatedAt: Date | null
}

export type UserProgressCountAggregateOutputType = {
  id: number
  userId: number
  lessonId: number
  isCompleted: number
  createdAt: number
  updatedAt: number
  _all: number
}


export type UserProgressMinAggregateInputType = {
  id?: true
  userId?: true
  lessonId?: true
  isCompleted?: true
  createdAt?: true
  updatedAt?: true
}

export type UserProgressMaxAggregateInputType = {
  id?: true
  userId?: true
  lessonId?: true
  isCompleted?: true
  createdAt?: true
  updatedAt?: true
}

export type UserProgressCountAggregateInputType = {
  id?: true
  userId?: true
  lessonId?: true
  isCompleted?: true
  createdAt?: true
  updatedAt?: true
  _all?: true
}

export type UserProgressAggregateArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Filter which UserProgress to aggregate.
   */
  where?: Prisma.UserProgressWhereInput
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/sorting Sorting Docs}
   * 
   * Determine the order of UserProgresses to fetch.
   */
  orderBy?: Prisma.UserProgressOrderByWithRelationInput | Prisma.UserProgressOrderByWithRelationInput[]
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination#cursor-based-pagination Cursor Docs}
   * 
   * Sets the start position
   */
  cursor?: Prisma.UserProgressWhereUniqueInput
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
   * 
   * Take `±n` UserProgresses from the position of the cursor.
   */
  take?: number
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
   * 
   * Skip the first `n` UserProgresses.
   */
  skip?: number
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/aggregations Aggregation Docs}
   * 
   * Count returned UserProgresses
  **/
  _count?: true | UserProgressCountAggregateInputType
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/aggregations Aggregation Docs}
   * 
   * Select which fields to find the minimum value
  **/
  _min?: UserProgressMinAggregateInputType
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/aggregations Aggregation Docs}
   * 
   * Select which fields to find the maximum value
  **/
  _max?: UserProgressMaxAggregateInputType
}

export type GetUserProgressAggregateType<T extends UserProgressAggregateArgs> = {
      [P in keyof T & keyof AggregateUserProgress]: P extends '_count' | 'count'
    ? T[P] extends true
      ? number
      : Prisma.GetScalarType<T[P], AggregateUserProgress[P]>
    : Prisma.GetScalarType<T[P], AggregateUserProgress[P]>
}




export type UserProgressGroupByArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  where?: Prisma.UserProgressWhereInput
  orderBy?: Prisma.UserProgressOrderByWithAggregationInput | Prisma.UserProgressOrderByWithAggregationInput[]
  by: Prisma.UserProgressScalarFieldEnum[] | Prisma.UserProgressScalarFieldEnum
  having?: Prisma.UserProgressScalarWhereWithAggregatesInput
  take?: number
  skip?: number
  _count?: UserProgressCountAggregateInputType | true
  _min?: UserProgressMinAggregateInputType
  _max?: UserProgressMaxAggregateInputType
}

export type UserProgressGroupByOutputType = {
  id: string
  userId: string
  lessonId: string
  isCompleted: boolean
  createdAt: Date
  updatedAt: Date
  _count: UserProgressCountAggregateOutputType | null
  _min: UserProgressMinAggregateOutputType | null
  _max: UserProgressMaxAggregateOutputType | null
}

type GetUserProgressGroupByPayload<T extends UserProgressGroupByArgs> = Prisma.PrismaPromise<
  Array<
    Prisma.PickEnumerable<UserProgressGroupByOutputType, T['by']> &
      {
        [P in ((keyof T) & (keyof UserProgressGroupByOutputType))]: P extends '_count'
          ? T[P] extends boolean
            ? number
            : Prisma.GetScalarType<T[P], UserProgressGroupByOutputType[P]>
          : Prisma.GetScalarType<T[P], UserProgressGroupByOutputType[P]>
      }
    >
  >



export type UserProgressWhereInput = {
  AND?: Prisma.UserProgressWhereInput | Prisma.UserProgressWhereInput[]
  OR?: Prisma.UserProgressWhereInput[]
  NOT?: Prisma.UserProgressWhereInput | Prisma.UserProgressWhereInput[]
  id?: Prisma.StringFilter<"UserProgress"> | string
  userId?: Prisma.StringFilter<"UserProgress"> | string
  lessonId?: Prisma.StringFilter<"UserProgress"> | string
  isCompleted?: Prisma.BoolFilter<"UserProgress"> | boolean
  createdAt?: Prisma.DateTimeFilter<"UserProgress"> | Date | string
  updatedAt?: Prisma.DateTimeFilter<"UserProgress"> | Date | string
  lesson?: Prisma.XOR<Prisma.LessonScalarRelationFilter, Prisma.LessonWhereInput>
  user?: Prisma.XOR<Prisma.UserScalarRelationFilter, Prisma.UserWhereInput>
}

export type UserProgressOrderByWithRelationInput = {
  id?: Prisma.SortOrder
  userId?: Prisma.SortOrder
  lessonId?: Prisma.SortOrder
  isCompleted?: Prisma.SortOrder
  createdAt?: Prisma.SortOrder
  updatedAt?: Prisma.SortOrder
  lesson?: Prisma.LessonOrderByWithRelationInput
  user?: Prisma.UserOrderByWithRelationInput
  _relevance?: Prisma.UserProgressOrderByRelevanceInput
}

export type UserProgressWhereUniqueInput = Prisma.AtLeast<{
  id?: string
  userId_lessonId?: Prisma.UserProgressUserIdLessonIdCompoundUniqueInput
  AND?: Prisma.UserProgressWhereInput | Prisma.UserProgressWhereInput[]
  OR?: Prisma.UserProgressWhereInput[]
  NOT?: Prisma.UserProgressWhereInput | Prisma.UserProgressWhereInput[]
  userId?: Prisma.StringFilter<"UserProgress"> | string
  lessonId?: Prisma.StringFilter<"UserProgress"> | string
  isCompleted?: Prisma.BoolFilter<"UserProgress"> | boolean
  createdAt?: Prisma.DateTimeFilter<"UserProgress"> | Date | string
  updatedAt?: Prisma.DateTimeFilter<"UserProgress"> | Date | string
  lesson?: Prisma.XOR<Prisma.LessonScalarRelationFilter, Prisma.LessonWhereInput>
  user?: Prisma.XOR<Prisma.UserScalarRelationFilter, Prisma.UserWhereInput>
}, "id" | "userId_lessonId">

export type UserProgressOrderByWithAggregationInput = {
  id?: Prisma.SortOrder
  userId?: Prisma.SortOrder
  lessonId?: Prisma.SortOrder
  isCompleted?: Prisma.SortOrder
  createdAt?: Prisma.SortOrder
  updatedAt?: Prisma.SortOrder
  _count?: Prisma.UserProgressCountOrderByAggregateInput
  _max?: Prisma.UserProgressMaxOrderByAggregateInput
  _min?: Prisma.UserProgressMinOrderByAggregateInput
}

export type UserProgressScalarWhereWithAggregatesInput = {
  AND?: Prisma.UserProgressScalarWhereWithAggregatesInput | Prisma.UserProgressScalarWhereWithAggregatesInput[]
  OR?: Prisma.UserProgressScalarWhereWithAggregatesInput[]
  NOT?: Prisma.UserProgressScalarWhereWithAggregatesInput | Prisma.UserProgressScalarWhereWithAggregatesInput[]
  id?: Prisma.StringWithAggregatesFilter<"UserProgress"> | string
  userId?: Prisma.StringWithAggregatesFilter<"UserProgress"> | string
  lessonId?: Prisma.StringWithAggregatesFilter<"UserProgress"> | string
  isCompleted?: Prisma.BoolWithAggregatesFilter<"UserProgress"> | boolean
  createdAt?: Prisma.DateTimeWithAggregatesFilter<"UserProgress"> | Date | string
  updatedAt?: Prisma.DateTimeWithAggregatesFilter<"UserProgress"> | Date | string
}

export type UserProgressCreateInput = {
  id?: string
  isCompleted?: boolean
  createdAt?: Date | string
  updatedAt?: Date | string
  lesson: Prisma.LessonCreateNestedOneWithoutUserProgressInput
  user: Prisma.UserCreateNestedOneWithoutProgressInput
}

export type UserProgressUncheckedCreateInput = {
  id?: string
  userId: string
  lessonId: string
  isCompleted?: boolean
  createdAt?: Date | string
  updatedAt?: Date | string
}

export type UserProgressUpdateInput = {
  id?: Prisma.StringFieldUpdateOperationsInput | string
  isCompleted?: Prisma.BoolFieldUpdateOperationsInput | boolean
  createdAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  updatedAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  lesson?: Prisma.LessonUpdateOneRequiredWithoutUserProgressNestedInput
  user?: Prisma.UserUpdateOneRequiredWithoutProgressNestedInput
}

export type UserProgressUncheckedUpdateInput = {
  id?: Prisma.StringFieldUpdateOperationsInput | string
  userId?: Prisma.StringFieldUpdateOperationsInput | string
  lessonId?: Prisma.StringFieldUpdateOperationsInput | string
  isCompleted?: Prisma.BoolFieldUpdateOperationsInput | boolean
  createdAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  updatedAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
}

export type UserProgressCreateManyInput = {
  id?: string
  userId: string
  lessonId: string
  isCompleted?: boolean
  createdAt?: Date | string
  updatedAt?: Date | string
}

export type UserProgressUpdateManyMutationInput = {
  id?: Prisma.StringFieldUpdateOperationsInput | string
  isCompleted?: Prisma.BoolFieldUpdateOperationsInput | boolean
  createdAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  updatedAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
}

export type UserProgressUncheckedUpdateManyInput = {
  id?: Prisma.StringFieldUpdateOperationsInput | string
  userId?: Prisma.StringFieldUpdateOperationsInput | string
  lessonId?: Prisma.StringFieldUpdateOperationsInput | string
  isCompleted?: Prisma.BoolFieldUpdateOperationsInput | boolean
  createdAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  updatedAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
}

export type UserProgressListRelationFilter = {
  every?: Prisma.UserProgressWhereInput
  some?: Prisma.UserProgressWhereInput
  none?: Prisma.UserProgressWhereInput
}

export type UserProgressOrderByRelationAggregateInput = {
  _count?: Prisma.SortOrder
}

export type UserProgressOrderByRelevanceInput = {
  fields: Prisma.UserProgressOrderByRelevanceFieldEnum | Prisma.UserProgressOrderByRelevanceFieldEnum[]
  sort: Prisma.SortOrder
  search: string
}

export type UserProgressUserIdLessonIdCompoundUniqueInput = {
  userId: string
  lessonId: string
}

export type UserProgressCountOrderByAggregateInput = {
  id?: Prisma.SortOrder
  userId?: Prisma.SortOrder
  lessonId?: Prisma.SortOrder
  isCompleted?: Prisma.SortOrder
  createdAt?: Prisma.SortOrder
  updatedAt?: Prisma.SortOrder
}

export type UserProgressMaxOrderByAggregateInput = {
  id?: Prisma.SortOrder
  userId?: Prisma.SortOrder
  lessonId?: Prisma.SortOrder
  isCompleted?: Prisma.SortOrder
  createdAt?: Prisma.SortOrder
  updatedAt?: Prisma.SortOrder
}

export type UserProgressMinOrderByAggregateInput = {
  id?: Prisma.SortOrder
  userId?: Prisma.SortOrder
  lessonId?: Prisma.SortOrder
  isCompleted?: Prisma.SortOrder
  createdAt?: Prisma.SortOrder
  updatedAt?: Prisma.SortOrder
}

export type UserProgressCreateNestedManyWithoutUserInput = {
  create?: Prisma.XOR<Prisma.UserProgressCreateWithoutUserInput, Prisma.UserProgressUncheckedCreateWithoutUserInput> | Prisma.UserProgressCreateWithoutUserInput[] | Prisma.UserProgressUncheckedCreateWithoutUserInput[]
  connectOrCreate?: Prisma.UserProgressCreateOrConnectWithoutUserInput | Prisma.UserProgressCreateOrConnectWithoutUserInput[]
  createMany?: Prisma.UserProgressCreateManyUserInputEnvelope
  connect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
}

export type UserProgressUncheckedCreateNestedManyWithoutUserInput = {
  create?: Prisma.XOR<Prisma.UserProgressCreateWithoutUserInput, Prisma.UserProgressUncheckedCreateWithoutUserInput> | Prisma.UserProgressCreateWithoutUserInput[] | Prisma.UserProgressUncheckedCreateWithoutUserInput[]
  connectOrCreate?: Prisma.UserProgressCreateOrConnectWithoutUserInput | Prisma.UserProgressCreateOrConnectWithoutUserInput[]
  createMany?: Prisma.UserProgressCreateManyUserInputEnvelope
  connect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
}

export type UserProgressUpdateManyWithoutUserNestedInput = {
  create?: Prisma.XOR<Prisma.UserProgressCreateWithoutUserInput, Prisma.UserProgressUncheckedCreateWithoutUserInput> | Prisma.UserProgressCreateWithoutUserInput[] | Prisma.UserProgressUncheckedCreateWithoutUserInput[]
  connectOrCreate?: Prisma.UserProgressCreateOrConnectWithoutUserInput | Prisma.UserProgressCreateOrConnectWithoutUserInput[]
  upsert?: Prisma.UserProgressUpsertWithWhereUniqueWithoutUserInput | Prisma.UserProgressUpsertWithWhereUniqueWithoutUserInput[]
  createMany?: Prisma.UserProgressCreateManyUserInputEnvelope
  set?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  disconnect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  delete?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  connect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  update?: Prisma.UserProgressUpdateWithWhereUniqueWithoutUserInput | Prisma.UserProgressUpdateWithWhereUniqueWithoutUserInput[]
  updateMany?: Prisma.UserProgressUpdateManyWithWhereWithoutUserInput | Prisma.UserProgressUpdateManyWithWhereWithoutUserInput[]
  deleteMany?: Prisma.UserProgressScalarWhereInput | Prisma.UserProgressScalarWhereInput[]
}

export type UserProgressUncheckedUpdateManyWithoutUserNestedInput = {
  create?: Prisma.XOR<Prisma.UserProgressCreateWithoutUserInput, Prisma.UserProgressUncheckedCreateWithoutUserInput> | Prisma.UserProgressCreateWithoutUserInput[] | Prisma.UserProgressUncheckedCreateWithoutUserInput[]
  connectOrCreate?: Prisma.UserProgressCreateOrConnectWithoutUserInput | Prisma.UserProgressCreateOrConnectWithoutUserInput[]
  upsert?: Prisma.UserProgressUpsertWithWhereUniqueWithoutUserInput | Prisma.UserProgressUpsertWithWhereUniqueWithoutUserInput[]
  createMany?: Prisma.UserProgressCreateManyUserInputEnvelope
  set?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  disconnect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  delete?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  connect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  update?: Prisma.UserProgressUpdateWithWhereUniqueWithoutUserInput | Prisma.UserProgressUpdateWithWhereUniqueWithoutUserInput[]
  updateMany?: Prisma.UserProgressUpdateManyWithWhereWithoutUserInput | Prisma.UserProgressUpdateManyWithWhereWithoutUserInput[]
  deleteMany?: Prisma.UserProgressScalarWhereInput | Prisma.UserProgressScalarWhereInput[]
}

export type UserProgressCreateNestedManyWithoutLessonInput = {
  create?: Prisma.XOR<Prisma.UserProgressCreateWithoutLessonInput, Prisma.UserProgressUncheckedCreateWithoutLessonInput> | Prisma.UserProgressCreateWithoutLessonInput[] | Prisma.UserProgressUncheckedCreateWithoutLessonInput[]
  connectOrCreate?: Prisma.UserProgressCreateOrConnectWithoutLessonInput | Prisma.UserProgressCreateOrConnectWithoutLessonInput[]
  createMany?: Prisma.UserProgressCreateManyLessonInputEnvelope
  connect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
}

export type UserProgressUncheckedCreateNestedManyWithoutLessonInput = {
  create?: Prisma.XOR<Prisma.UserProgressCreateWithoutLessonInput, Prisma.UserProgressUncheckedCreateWithoutLessonInput> | Prisma.UserProgressCreateWithoutLessonInput[] | Prisma.UserProgressUncheckedCreateWithoutLessonInput[]
  connectOrCreate?: Prisma.UserProgressCreateOrConnectWithoutLessonInput | Prisma.UserProgressCreateOrConnectWithoutLessonInput[]
  createMany?: Prisma.UserProgressCreateManyLessonInputEnvelope
  connect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
}

export type UserProgressUpdateManyWithoutLessonNestedInput = {
  create?: Prisma.XOR<Prisma.UserProgressCreateWithoutLessonInput, Prisma.UserProgressUncheckedCreateWithoutLessonInput> | Prisma.UserProgressCreateWithoutLessonInput[] | Prisma.UserProgressUncheckedCreateWithoutLessonInput[]
  connectOrCreate?: Prisma.UserProgressCreateOrConnectWithoutLessonInput | Prisma.UserProgressCreateOrConnectWithoutLessonInput[]
  upsert?: Prisma.UserProgressUpsertWithWhereUniqueWithoutLessonInput | Prisma.UserProgressUpsertWithWhereUniqueWithoutLessonInput[]
  createMany?: Prisma.UserProgressCreateManyLessonInputEnvelope
  set?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  disconnect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  delete?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  connect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  update?: Prisma.UserProgressUpdateWithWhereUniqueWithoutLessonInput | Prisma.UserProgressUpdateWithWhereUniqueWithoutLessonInput[]
  updateMany?: Prisma.UserProgressUpdateManyWithWhereWithoutLessonInput | Prisma.UserProgressUpdateManyWithWhereWithoutLessonInput[]
  deleteMany?: Prisma.UserProgressScalarWhereInput | Prisma.UserProgressScalarWhereInput[]
}

export type UserProgressUncheckedUpdateManyWithoutLessonNestedInput = {
  create?: Prisma.XOR<Prisma.UserProgressCreateWithoutLessonInput, Prisma.UserProgressUncheckedCreateWithoutLessonInput> | Prisma.UserProgressCreateWithoutLessonInput[] | Prisma.UserProgressUncheckedCreateWithoutLessonInput[]
  connectOrCreate?: Prisma.UserProgressCreateOrConnectWithoutLessonInput | Prisma.UserProgressCreateOrConnectWithoutLessonInput[]
  upsert?: Prisma.UserProgressUpsertWithWhereUniqueWithoutLessonInput | Prisma.UserProgressUpsertWithWhereUniqueWithoutLessonInput[]
  createMany?: Prisma.UserProgressCreateManyLessonInputEnvelope
  set?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  disconnect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  delete?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  connect?: Prisma.UserProgressWhereUniqueInput | Prisma.UserProgressWhereUniqueInput[]
  update?: Prisma.UserProgressUpdateWithWhereUniqueWithoutLessonInput | Prisma.UserProgressUpdateWithWhereUniqueWithoutLessonInput[]
  updateMany?: Prisma.UserProgressUpdateManyWithWhereWithoutLessonInput | Prisma.UserProgressUpdateManyWithWhereWithoutLessonInput[]
  deleteMany?: Prisma.UserProgressScalarWhereInput | Prisma.UserProgressScalarWhereInput[]
}

export type UserProgressCreateWithoutUserInput = {
  id?: string
  isCompleted?: boolean
  createdAt?: Date | string
  updatedAt?: Date | string
  lesson: Prisma.LessonCreateNestedOneWithoutUserProgressInput
}

export type UserProgressUncheckedCreateWithoutUserInput = {
  id?: string
  lessonId: string
  isCompleted?: boolean
  createdAt?: Date | string
  updatedAt?: Date | string
}

export type UserProgressCreateOrConnectWithoutUserInput = {
  where: Prisma.UserProgressWhereUniqueInput
  create: Prisma.XOR<Prisma.UserProgressCreateWithoutUserInput, Prisma.UserProgressUncheckedCreateWithoutUserInput>
}

export type UserProgressCreateManyUserInputEnvelope = {
  data: Prisma.UserProgressCreateManyUserInput | Prisma.UserProgressCreateManyUserInput[]
  skipDuplicates?: boolean
}

export type UserProgressUpsertWithWhereUniqueWithoutUserInput = {
  where: Prisma.UserProgressWhereUniqueInput
  update: Prisma.XOR<Prisma.UserProgressUpdateWithoutUserInput, Prisma.UserProgressUncheckedUpdateWithoutUserInput>
  create: Prisma.XOR<Prisma.UserProgressCreateWithoutUserInput, Prisma.UserProgressUncheckedCreateWithoutUserInput>
}

export type UserProgressUpdateWithWhereUniqueWithoutUserInput = {
  where: Prisma.UserProgressWhereUniqueInput
  data: Prisma.XOR<Prisma.UserProgressUpdateWithoutUserInput, Prisma.UserProgressUncheckedUpdateWithoutUserInput>
}

export type UserProgressUpdateManyWithWhereWithoutUserInput = {
  where: Prisma.UserProgressScalarWhereInput
  data: Prisma.XOR<Prisma.UserProgressUpdateManyMutationInput, Prisma.UserProgressUncheckedUpdateManyWithoutUserInput>
}

export type UserProgressScalarWhereInput = {
  AND?: Prisma.UserProgressScalarWhereInput | Prisma.UserProgressScalarWhereInput[]
  OR?: Prisma.UserProgressScalarWhereInput[]
  NOT?: Prisma.UserProgressScalarWhereInput | Prisma.UserProgressScalarWhereInput[]
  id?: Prisma.StringFilter<"UserProgress"> | string
  userId?: Prisma.StringFilter<"UserProgress"> | string
  lessonId?: Prisma.StringFilter<"UserProgress"> | string
  isCompleted?: Prisma.BoolFilter<"UserProgress"> | boolean
  createdAt?: Prisma.DateTimeFilter<"UserProgress"> | Date | string
  updatedAt?: Prisma.DateTimeFilter<"UserProgress"> | Date | string
}

export type UserProgressCreateWithoutLessonInput = {
  id?: string
  isCompleted?: boolean
  createdAt?: Date | string
  updatedAt?: Date | string
  user: Prisma.UserCreateNestedOneWithoutProgressInput
}

export type UserProgressUncheckedCreateWithoutLessonInput = {
  id?: string
  userId: string
  isCompleted?: boolean
  createdAt?: Date | string
  updatedAt?: Date | string
}

export type UserProgressCreateOrConnectWithoutLessonInput = {
  where: Prisma.UserProgressWhereUniqueInput
  create: Prisma.XOR<Prisma.UserProgressCreateWithoutLessonInput, Prisma.UserProgressUncheckedCreateWithoutLessonInput>
}

export type UserProgressCreateManyLessonInputEnvelope = {
  data: Prisma.UserProgressCreateManyLessonInput | Prisma.UserProgressCreateManyLessonInput[]
  skipDuplicates?: boolean
}

export type UserProgressUpsertWithWhereUniqueWithoutLessonInput = {
  where: Prisma.UserProgressWhereUniqueInput
  update: Prisma.XOR<Prisma.UserProgressUpdateWithoutLessonInput, Prisma.UserProgressUncheckedUpdateWithoutLessonInput>
  create: Prisma.XOR<Prisma.UserProgressCreateWithoutLessonInput, Prisma.UserProgressUncheckedCreateWithoutLessonInput>
}

export type UserProgressUpdateWithWhereUniqueWithoutLessonInput = {
  where: Prisma.UserProgressWhereUniqueInput
  data: Prisma.XOR<Prisma.UserProgressUpdateWithoutLessonInput, Prisma.UserProgressUncheckedUpdateWithoutLessonInput>
}

export type UserProgressUpdateManyWithWhereWithoutLessonInput = {
  where: Prisma.UserProgressScalarWhereInput
  data: Prisma.XOR<Prisma.UserProgressUpdateManyMutationInput, Prisma.UserProgressUncheckedUpdateManyWithoutLessonInput>
}

export type UserProgressCreateManyUserInput = {
  id?: string
  lessonId: string
  isCompleted?: boolean
  createdAt?: Date | string
  updatedAt?: Date | string
}

export type UserProgressUpdateWithoutUserInput = {
  id?: Prisma.StringFieldUpdateOperationsInput | string
  isCompleted?: Prisma.BoolFieldUpdateOperationsInput | boolean
  createdAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  updatedAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  lesson?: Prisma.LessonUpdateOneRequiredWithoutUserProgressNestedInput
}

export type UserProgressUncheckedUpdateWithoutUserInput = {
  id?: Prisma.StringFieldUpdateOperationsInput | string
  lessonId?: Prisma.StringFieldUpdateOperationsInput | string
  isCompleted?: Prisma.BoolFieldUpdateOperationsInput | boolean
  createdAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  updatedAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
}

export type UserProgressUncheckedUpdateManyWithoutUserInput = {
  id?: Prisma.StringFieldUpdateOperationsInput | string
  lessonId?: Prisma.StringFieldUpdateOperationsInput | string
  isCompleted?: Prisma.BoolFieldUpdateOperationsInput | boolean
  createdAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  updatedAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
}

export type UserProgressCreateManyLessonInput = {
  id?: string
  userId: string
  isCompleted?: boolean
  createdAt?: Date | string
  updatedAt?: Date | string
}

export type UserProgressUpdateWithoutLessonInput = {
  id?: Prisma.StringFieldUpdateOperationsInput | string
  isCompleted?: Prisma.BoolFieldUpdateOperationsInput | boolean
  createdAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  updatedAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  user?: Prisma.UserUpdateOneRequiredWithoutProgressNestedInput
}

export type UserProgressUncheckedUpdateWithoutLessonInput = {
  id?: Prisma.StringFieldUpdateOperationsInput | string
  userId?: Prisma.StringFieldUpdateOperationsInput | string
  isCompleted?: Prisma.BoolFieldUpdateOperationsInput | boolean
  createdAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  updatedAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
}

export type UserProgressUncheckedUpdateManyWithoutLessonInput = {
  id?: Prisma.StringFieldUpdateOperationsInput | string
  userId?: Prisma.StringFieldUpdateOperationsInput | string
  isCompleted?: Prisma.BoolFieldUpdateOperationsInput | boolean
  createdAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
  updatedAt?: Prisma.DateTimeFieldUpdateOperationsInput | Date | string
}



export type UserProgressSelect<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = runtime.Types.Extensions.GetSelect<{
  id?: boolean
  userId?: boolean
  lessonId?: boolean
  isCompleted?: boolean
  createdAt?: boolean
  updatedAt?: boolean
  lesson?: boolean | Prisma.LessonDefaultArgs<ExtArgs>
  user?: boolean | Prisma.UserDefaultArgs<ExtArgs>
}, ExtArgs["result"]["userProgress"]>



export type UserProgressSelectScalar = {
  id?: boolean
  userId?: boolean
  lessonId?: boolean
  isCompleted?: boolean
  createdAt?: boolean
  updatedAt?: boolean
}

export type UserProgressOmit<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = runtime.Types.Extensions.GetOmit<"id" | "userId" | "lessonId" | "isCompleted" | "createdAt" | "updatedAt", ExtArgs["result"]["userProgress"]>
export type UserProgressInclude<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  lesson?: boolean | Prisma.LessonDefaultArgs<ExtArgs>
  user?: boolean | Prisma.UserDefaultArgs<ExtArgs>
}

export type $UserProgressPayload<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  name: "UserProgress"
  objects: {
    lesson: Prisma.$LessonPayload<ExtArgs>
    user: Prisma.$UserPayload<ExtArgs>
  }
  scalars: runtime.Types.Extensions.GetPayloadResult<{
    id: string
    userId: string
    lessonId: string
    isCompleted: boolean
    createdAt: Date
    updatedAt: Date
  }, ExtArgs["result"]["userProgress"]>
  composites: {}
}

export type UserProgressGetPayload<S extends boolean | null | undefined | UserProgressDefaultArgs> = runtime.Types.Result.GetResult<Prisma.$UserProgressPayload, S>

export type UserProgressCountArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> =
  Omit<UserProgressFindManyArgs, 'select' | 'include' | 'distinct' | 'omit'> & {
    select?: UserProgressCountAggregateInputType | true
  }

export interface UserProgressDelegate<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs, GlobalOmitOptions = {}> {
  [K: symbol]: { types: Prisma.TypeMap<ExtArgs>['model']['UserProgress'], meta: { name: 'UserProgress' } }
  /**
   * Find zero or one UserProgress that matches the filter.
   * @param {UserProgressFindUniqueArgs} args - Arguments to find a UserProgress
   * @example
   * // Get one UserProgress
   * const userProgress = await prisma.userProgress.findUnique({
   *   where: {
   *     // ... provide filter here
   *   }
   * })
   */
  findUnique<T extends UserProgressFindUniqueArgs>(args: Prisma.SelectSubset<T, UserProgressFindUniqueArgs<ExtArgs>>): Prisma.Prisma__UserProgressClient<runtime.Types.Result.GetResult<Prisma.$UserProgressPayload<ExtArgs>, T, "findUnique", GlobalOmitOptions> | null, null, ExtArgs, GlobalOmitOptions>

  /**
   * Find one UserProgress that matches the filter or throw an error with `error.code='P2025'`
   * if no matches were found.
   * @param {UserProgressFindUniqueOrThrowArgs} args - Arguments to find a UserProgress
   * @example
   * // Get one UserProgress
   * const userProgress = await prisma.userProgress.findUniqueOrThrow({
   *   where: {
   *     // ... provide filter here
   *   }
   * })
   */
  findUniqueOrThrow<T extends UserProgressFindUniqueOrThrowArgs>(args: Prisma.SelectSubset<T, UserProgressFindUniqueOrThrowArgs<ExtArgs>>): Prisma.Prisma__UserProgressClient<runtime.Types.Result.GetResult<Prisma.$UserProgressPayload<ExtArgs>, T, "findUniqueOrThrow", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>

  /**
   * Find the first UserProgress that matches the filter.
   * Note, that providing `undefined` is treated as the value not being there.
   * Read more here: https://pris.ly/d/null-undefined
   * @param {UserProgressFindFirstArgs} args - Arguments to find a UserProgress
   * @example
   * // Get one UserProgress
   * const userProgress = await prisma.userProgress.findFirst({
   *   where: {
   *     // ... provide filter here
   *   }
   * })
   */
  findFirst<T extends UserProgressFindFirstArgs>(args?: Prisma.SelectSubset<T, UserProgressFindFirstArgs<ExtArgs>>): Prisma.Prisma__UserProgressClient<runtime.Types.Result.GetResult<Prisma.$UserProgressPayload<ExtArgs>, T, "findFirst", GlobalOmitOptions> | null, null, ExtArgs, GlobalOmitOptions>

  /**
   * Find the first UserProgress that matches the filter or
   * throw `PrismaKnownClientError` with `P2025` code if no matches were found.
   * Note, that providing `undefined` is treated as the value not being there.
   * Read more here: https://pris.ly/d/null-undefined
   * @param {UserProgressFindFirstOrThrowArgs} args - Arguments to find a UserProgress
   * @example
   * // Get one UserProgress
   * const userProgress = await prisma.userProgress.findFirstOrThrow({
   *   where: {
   *     // ... provide filter here
   *   }
   * })
   */
  findFirstOrThrow<T extends UserProgressFindFirstOrThrowArgs>(args?: Prisma.SelectSubset<T, UserProgressFindFirstOrThrowArgs<ExtArgs>>): Prisma.Prisma__UserProgressClient<runtime.Types.Result.GetResult<Prisma.$UserProgressPayload<ExtArgs>, T, "findFirstOrThrow", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>

  /**
   * Find zero or more UserProgresses that matches the filter.
   * Note, that providing `undefined` is treated as the value not being there.
   * Read more here: https://pris.ly/d/null-undefined
   * @param {UserProgressFindManyArgs} args - Arguments to filter and select certain fields only.
   * @example
   * // Get all UserProgresses
   * const userProgresses = await prisma.userProgress.findMany()
   * 
   * // Get first 10 UserProgresses
   * const userProgresses = await prisma.userProgress.findMany({ take: 10 })
   * 
   * // Only select the `id`
   * const userProgressWithIdOnly = await prisma.userProgress.findMany({ select: { id: true } })
   * 
   */
  findMany<T extends UserProgressFindManyArgs>(args?: Prisma.SelectSubset<T, UserProgressFindManyArgs<ExtArgs>>): Prisma.PrismaPromise<runtime.Types.Result.GetResult<Prisma.$UserProgressPayload<ExtArgs>, T, "findMany", GlobalOmitOptions>>

  /**
   * Create a UserProgress.
   * @param {UserProgressCreateArgs} args - Arguments to create a UserProgress.
   * @example
   * // Create one UserProgress
   * const UserProgress = await prisma.userProgress.create({
   *   data: {
   *     // ... data to create a UserProgress
   *   }
   * })
   * 
   */
  create<T extends UserProgressCreateArgs>(args: Prisma.SelectSubset<T, UserProgressCreateArgs<ExtArgs>>): Prisma.Prisma__UserProgressClient<runtime.Types.Result.GetResult<Prisma.$UserProgressPayload<ExtArgs>, T, "create", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>

  /**
   * Create many UserProgresses.
   * @param {UserProgressCreateManyArgs} args - Arguments to create many UserProgresses.
   * @example
   * // Create many UserProgresses
   * const userProgress = await prisma.userProgress.createMany({
   *   data: [
   *     // ... provide data here
   *   ]
   * })
   *     
   */
  createMany<T extends UserProgressCreateManyArgs>(args?: Prisma.SelectSubset<T, UserProgressCreateManyArgs<ExtArgs>>): Prisma.PrismaPromise<Prisma.BatchPayload>

  /**
   * Delete a UserProgress.
   * @param {UserProgressDeleteArgs} args - Arguments to delete one UserProgress.
   * @example
   * // Delete one UserProgress
   * const UserProgress = await prisma.userProgress.delete({
   *   where: {
   *     // ... filter to delete one UserProgress
   *   }
   * })
   * 
   */
  delete<T extends UserProgressDeleteArgs>(args: Prisma.SelectSubset<T, UserProgressDeleteArgs<ExtArgs>>): Prisma.Prisma__UserProgressClient<runtime.Types.Result.GetResult<Prisma.$UserProgressPayload<ExtArgs>, T, "delete", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>

  /**
   * Update one UserProgress.
   * @param {UserProgressUpdateArgs} args - Arguments to update one UserProgress.
   * @example
   * // Update one UserProgress
   * const userProgress = await prisma.userProgress.update({
   *   where: {
   *     // ... provide filter here
   *   },
   *   data: {
   *     // ... provide data here
   *   }
   * })
   * 
   */
  update<T extends UserProgressUpdateArgs>(args: Prisma.SelectSubset<T, UserProgressUpdateArgs<ExtArgs>>): Prisma.Prisma__UserProgressClient<runtime.Types.Result.GetResult<Prisma.$UserProgressPayload<ExtArgs>, T, "update", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>

  /**
   * Delete zero or more UserProgresses.
   * @param {UserProgressDeleteManyArgs} args - Arguments to filter UserProgresses to delete.
   * @example
   * // Delete a few UserProgresses
   * const { count } = await prisma.userProgress.deleteMany({
   *   where: {
   *     // ... provide filter here
   *   }
   * })
   * 
   */
  deleteMany<T extends UserProgressDeleteManyArgs>(args?: Prisma.SelectSubset<T, UserProgressDeleteManyArgs<ExtArgs>>): Prisma.PrismaPromise<Prisma.BatchPayload>

  /**
   * Update zero or more UserProgresses.
   * Note, that providing `undefined` is treated as the value not being there.
   * Read more here: https://pris.ly/d/null-undefined
   * @param {UserProgressUpdateManyArgs} args - Arguments to update one or more rows.
   * @example
   * // Update many UserProgresses
   * const userProgress = await prisma.userProgress.updateMany({
   *   where: {
   *     // ... provide filter here
   *   },
   *   data: {
   *     // ... provide data here
   *   }
   * })
   * 
   */
  updateMany<T extends UserProgressUpdateManyArgs>(args: Prisma.SelectSubset<T, UserProgressUpdateManyArgs<ExtArgs>>): Prisma.PrismaPromise<Prisma.BatchPayload>

  /**
   * Create or update one UserProgress.
   * @param {UserProgressUpsertArgs} args - Arguments to update or create a UserProgress.
   * @example
   * // Update or create a UserProgress
   * const userProgress = await prisma.userProgress.upsert({
   *   create: {
   *     // ... data to create a UserProgress
   *   },
   *   update: {
   *     // ... in case it already exists, update
   *   },
   *   where: {
   *     // ... the filter for the UserProgress we want to update
   *   }
   * })
   */
  upsert<T extends UserProgressUpsertArgs>(args: Prisma.SelectSubset<T, UserProgressUpsertArgs<ExtArgs>>): Prisma.Prisma__UserProgressClient<runtime.Types.Result.GetResult<Prisma.$UserProgressPayload<ExtArgs>, T, "upsert", GlobalOmitOptions>, never, ExtArgs, GlobalOmitOptions>


  /**
   * Count the number of UserProgresses.
   * Note, that providing `undefined` is treated as the value not being there.
   * Read more here: https://pris.ly/d/null-undefined
   * @param {UserProgressCountArgs} args - Arguments to filter UserProgresses to count.
   * @example
   * // Count the number of UserProgresses
   * const count = await prisma.userProgress.count({
   *   where: {
   *     // ... the filter for the UserProgresses we want to count
   *   }
   * })
  **/
  count<T extends UserProgressCountArgs>(
    args?: Prisma.Subset<T, UserProgressCountArgs>,
  ): Prisma.PrismaPromise<
    T extends runtime.Types.Utils.Record<'select', any>
      ? T['select'] extends true
        ? number
        : Prisma.GetScalarType<T['select'], UserProgressCountAggregateOutputType>
      : number
  >

  /**
   * Allows you to perform aggregations operations on a UserProgress.
   * Note, that providing `undefined` is treated as the value not being there.
   * Read more here: https://pris.ly/d/null-undefined
   * @param {UserProgressAggregateArgs} args - Select which aggregations you would like to apply and on what fields.
   * @example
   * // Ordered by age ascending
   * // Where email contains prisma.io
   * // Limited to the 10 users
   * const aggregations = await prisma.user.aggregate({
   *   _avg: {
   *     age: true,
   *   },
   *   where: {
   *     email: {
   *       contains: "prisma.io",
   *     },
   *   },
   *   orderBy: {
   *     age: "asc",
   *   },
   *   take: 10,
   * })
  **/
  aggregate<T extends UserProgressAggregateArgs>(args: Prisma.Subset<T, UserProgressAggregateArgs>): Prisma.PrismaPromise<GetUserProgressAggregateType<T>>

  /**
   * Group by UserProgress.
   * Note, that providing `undefined` is treated as the value not being there.
   * Read more here: https://pris.ly/d/null-undefined
   * @param {UserProgressGroupByArgs} args - Group by arguments.
   * @example
   * // Group by city, order by createdAt, get count
   * const result = await prisma.user.groupBy({
   *   by: ['city', 'createdAt'],
   *   orderBy: {
   *     createdAt: true
   *   },
   *   _count: {
   *     _all: true
   *   },
   * })
   * 
  **/
  groupBy<
    T extends UserProgressGroupByArgs,
    HasSelectOrTake extends Prisma.Or<
      Prisma.Extends<'skip', Prisma.Keys<T>>,
      Prisma.Extends<'take', Prisma.Keys<T>>
    >,
    OrderByArg extends Prisma.True extends HasSelectOrTake
      ? { orderBy: UserProgressGroupByArgs['orderBy'] }
      : { orderBy?: UserProgressGroupByArgs['orderBy'] },
    OrderFields extends Prisma.ExcludeUnderscoreKeys<Prisma.Keys<Prisma.MaybeTupleToUnion<T['orderBy']>>>,
    ByFields extends Prisma.MaybeTupleToUnion<T['by']>,
    ByValid extends Prisma.Has<ByFields, OrderFields>,
    HavingFields extends Prisma.GetHavingFields<T['having']>,
    HavingValid extends Prisma.Has<ByFields, HavingFields>,
    ByEmpty extends T['by'] extends never[] ? Prisma.True : Prisma.False,
    InputErrors extends ByEmpty extends Prisma.True
    ? `Error: "by" must not be empty.`
    : HavingValid extends Prisma.False
    ? {
        [P in HavingFields]: P extends ByFields
          ? never
          : P extends string
          ? `Error: Field "${P}" used in "having" needs to be provided in "by".`
          : [
              Error,
              'Field ',
              P,
              ` in "having" needs to be provided in "by"`,
            ]
      }[HavingFields]
    : 'take' extends Prisma.Keys<T>
    ? 'orderBy' extends Prisma.Keys<T>
      ? ByValid extends Prisma.True
        ? {}
        : {
            [P in OrderFields]: P extends ByFields
              ? never
              : `Error: Field "${P}" in "orderBy" needs to be provided in "by"`
          }[OrderFields]
      : 'Error: If you provide "take", you also need to provide "orderBy"'
    : 'skip' extends Prisma.Keys<T>
    ? 'orderBy' extends Prisma.Keys<T>
      ? ByValid extends Prisma.True
        ? {}
        : {
            [P in OrderFields]: P extends ByFields
              ? never
              : `Error: Field "${P}" in "orderBy" needs to be provided in "by"`
          }[OrderFields]
      : 'Error: If you provide "skip", you also need to provide "orderBy"'
    : ByValid extends Prisma.True
    ? {}
    : {
        [P in OrderFields]: P extends ByFields
          ? never
          : `Error: Field "${P}" in "orderBy" needs to be provided in "by"`
      }[OrderFields]
  >(args: Prisma.SubsetIntersection<T, UserProgressGroupByArgs, OrderByArg> & InputErrors): {} extends InputErrors ? GetUserProgressGroupByPayload<T> : Prisma.PrismaPromise<InputErrors>
/**
 * Fields of the UserProgress model
 */
readonly fields: UserProgressFieldRefs;
}

/**
 * The delegate class that acts as a "Promise-like" for UserProgress.
 * Why is this prefixed with `Prisma__`?
 * Because we want to prevent naming conflicts as mentioned in
 * https://github.com/prisma/prisma-client-js/issues/707
 */
export interface Prisma__UserProgressClient<T, Null = never, ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs, GlobalOmitOptions = {}> extends Prisma.PrismaPromise<T> {
  readonly [Symbol.toStringTag]: "PrismaPromise"
  lesson<T extends Prisma.LessonDefaultArgs<ExtArgs> = {}>(args?: Prisma.Subset<T, Prisma.LessonDefaultArgs<ExtArgs>>): Prisma.Prisma__LessonClient<runtime.Types.Result.GetResult<Prisma.$LessonPayload<ExtArgs>, T, "findUniqueOrThrow", GlobalOmitOptions> | Null, Null, ExtArgs, GlobalOmitOptions>
  user<T extends Prisma.UserDefaultArgs<ExtArgs> = {}>(args?: Prisma.Subset<T, Prisma.UserDefaultArgs<ExtArgs>>): Prisma.Prisma__UserClient<runtime.Types.Result.GetResult<Prisma.$UserPayload<ExtArgs>, T, "findUniqueOrThrow", GlobalOmitOptions> | Null, Null, ExtArgs, GlobalOmitOptions>
  /**
   * Attaches callbacks for the resolution and/or rejection of the Promise.
   * @param onfulfilled The callback to execute when the Promise is resolved.
   * @param onrejected The callback to execute when the Promise is rejected.
   * @returns A Promise for the completion of which ever callback is executed.
   */
  then<TResult1 = T, TResult2 = never>(onfulfilled?: ((value: T) => TResult1 | PromiseLike<TResult1>) | undefined | null, onrejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | undefined | null): runtime.Types.Utils.JsPromise<TResult1 | TResult2>
  /**
   * Attaches a callback for only the rejection of the Promise.
   * @param onrejected The callback to execute when the Promise is rejected.
   * @returns A Promise for the completion of the callback.
   */
  catch<TResult = never>(onrejected?: ((reason: any) => TResult | PromiseLike<TResult>) | undefined | null): runtime.Types.Utils.JsPromise<T | TResult>
  /**
   * Attaches a callback that is invoked when the Promise is settled (fulfilled or rejected). The
   * resolved value cannot be modified from the callback.
   * @param onfinally The callback to execute when the Promise is settled (fulfilled or rejected).
   * @returns A Promise for the completion of the callback.
   */
  finally(onfinally?: (() => void) | undefined | null): runtime.Types.Utils.JsPromise<T>
}




/**
 * Fields of the UserProgress model
 */
export interface UserProgressFieldRefs {
  readonly id: Prisma.FieldRef<"UserProgress", 'String'>
  readonly userId: Prisma.FieldRef<"UserProgress", 'String'>
  readonly lessonId: Prisma.FieldRef<"UserProgress", 'String'>
  readonly isCompleted: Prisma.FieldRef<"UserProgress", 'Boolean'>
  readonly createdAt: Prisma.FieldRef<"UserProgress", 'DateTime'>
  readonly updatedAt: Prisma.FieldRef<"UserProgress", 'DateTime'>
}
    

// Custom InputTypes
/**
 * UserProgress findUnique
 */
export type UserProgressFindUniqueArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Select specific fields to fetch from the UserProgress
   */
  select?: Prisma.UserProgressSelect<ExtArgs> | null
  /**
   * Omit specific fields from the UserProgress
   */
  omit?: Prisma.UserProgressOmit<ExtArgs> | null
  /**
   * Choose, which related nodes to fetch as well
   */
  include?: Prisma.UserProgressInclude<ExtArgs> | null
  /**
   * Filter, which UserProgress to fetch.
   */
  where: Prisma.UserProgressWhereUniqueInput
}

/**
 * UserProgress findUniqueOrThrow
 */
export type UserProgressFindUniqueOrThrowArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Select specific fields to fetch from the UserProgress
   */
  select?: Prisma.UserProgressSelect<ExtArgs> | null
  /**
   * Omit specific fields from the UserProgress
   */
  omit?: Prisma.UserProgressOmit<ExtArgs> | null
  /**
   * Choose, which related nodes to fetch as well
   */
  include?: Prisma.UserProgressInclude<ExtArgs> | null
  /**
   * Filter, which UserProgress to fetch.
   */
  where: Prisma.UserProgressWhereUniqueInput
}

/**
 * UserProgress findFirst
 */
export type UserProgressFindFirstArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Select specific fields to fetch from the UserProgress
   */
  select?: Prisma.UserProgressSelect<ExtArgs> | null
  /**
   * Omit specific fields from the UserProgress
   */
  omit?: Prisma.UserProgressOmit<ExtArgs> | null
  /**
   * Choose, which related nodes to fetch as well
   */
  include?: Prisma.UserProgressInclude<ExtArgs> | null
  /**
   * Filter, which UserProgress to fetch.
   */
  where?: Prisma.UserProgressWhereInput
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/sorting Sorting Docs}
   * 
   * Determine the order of UserProgresses to fetch.
   */
  orderBy?: Prisma.UserProgressOrderByWithRelationInput | Prisma.UserProgressOrderByWithRelationInput[]
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination#cursor-based-pagination Cursor Docs}
   * 
   * Sets the position for searching for UserProgresses.
   */
  cursor?: Prisma.UserProgressWhereUniqueInput
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
   * 
   * Take `±n` UserProgresses from the position of the cursor.
   */
  take?: number
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
   * 
   * Skip the first `n` UserProgresses.
   */
  skip?: number
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/distinct Distinct Docs}
   * 
   * Filter by unique combinations of UserProgresses.
   */
  distinct?: Prisma.UserProgressScalarFieldEnum | Prisma.UserProgressScalarFieldEnum[]
}

/**
 * UserProgress findFirstOrThrow
 */
export type UserProgressFindFirstOrThrowArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Select specific fields to fetch from the UserProgress
   */
  select?: Prisma.UserProgressSelect<ExtArgs> | null
  /**
   * Omit specific fields from the UserProgress
   */
  omit?: Prisma.UserProgressOmit<ExtArgs> | null
  /**
   * Choose, which related nodes to fetch as well
   */
  include?: Prisma.UserProgressInclude<ExtArgs> | null
  /**
   * Filter, which UserProgress to fetch.
   */
  where?: Prisma.UserProgressWhereInput
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/sorting Sorting Docs}
   * 
   * Determine the order of UserProgresses to fetch.
   */
  orderBy?: Prisma.UserProgressOrderByWithRelationInput | Prisma.UserProgressOrderByWithRelationInput[]
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination#cursor-based-pagination Cursor Docs}
   * 
   * Sets the position for searching for UserProgresses.
   */
  cursor?: Prisma.UserProgressWhereUniqueInput
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
   * 
   * Take `±n` UserProgresses from the position of the cursor.
   */
  take?: number
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
   * 
   * Skip the first `n` UserProgresses.
   */
  skip?: number
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/distinct Distinct Docs}
   * 
   * Filter by unique combinations of UserProgresses.
   */
  distinct?: Prisma.UserProgressScalarFieldEnum | Prisma.UserProgressScalarFieldEnum[]
}

/**
 * UserProgress findMany
 */
export type UserProgressFindManyArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Select specific fields to fetch from the UserProgress
   */
  select?: Prisma.UserProgressSelect<ExtArgs> | null
  /**
   * Omit specific fields from the UserProgress
   */
  omit?: Prisma.UserProgressOmit<ExtArgs> | null
  /**
   * Choose, which related nodes to fetch as well
   */
  include?: Prisma.UserProgressInclude<ExtArgs> | null
  /**
   * Filter, which UserProgresses to fetch.
   */
  where?: Prisma.UserProgressWhereInput
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/sorting Sorting Docs}
   * 
   * Determine the order of UserProgresses to fetch.
   */
  orderBy?: Prisma.UserProgressOrderByWithRelationInput | Prisma.UserProgressOrderByWithRelationInput[]
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination#cursor-based-pagination Cursor Docs}
   * 
   * Sets the position for listing UserProgresses.
   */
  cursor?: Prisma.UserProgressWhereUniqueInput
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
   * 
   * Take `±n` UserProgresses from the position of the cursor.
   */
  take?: number
  /**
   * {@link https://www.prisma.io/docs/concepts/components/prisma-client/pagination Pagination Docs}
   * 
   * Skip the first `n` UserProgresses.
   */
  skip?: number
  distinct?: Prisma.UserProgressScalarFieldEnum | Prisma.UserProgressScalarFieldEnum[]
}

/**
 * UserProgress create
 */
export type UserProgressCreateArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Select specific fields to fetch from the UserProgress
   */
  select?: Prisma.UserProgressSelect<ExtArgs> | null
  /**
   * Omit specific fields from the UserProgress
   */
  omit?: Prisma.UserProgressOmit<ExtArgs> | null
  /**
   * Choose, which related nodes to fetch as well
   */
  include?: Prisma.UserProgressInclude<ExtArgs> | null
  /**
   * The data needed to create a UserProgress.
   */
  data: Prisma.XOR<Prisma.UserProgressCreateInput, Prisma.UserProgressUncheckedCreateInput>
}

/**
 * UserProgress createMany
 */
export type UserProgressCreateManyArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * The data used to create many UserProgresses.
   */
  data: Prisma.UserProgressCreateManyInput | Prisma.UserProgressCreateManyInput[]
  skipDuplicates?: boolean
}

/**
 * UserProgress update
 */
export type UserProgressUpdateArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Select specific fields to fetch from the UserProgress
   */
  select?: Prisma.UserProgressSelect<ExtArgs> | null
  /**
   * Omit specific fields from the UserProgress
   */
  omit?: Prisma.UserProgressOmit<ExtArgs> | null
  /**
   * Choose, which related nodes to fetch as well
   */
  include?: Prisma.UserProgressInclude<ExtArgs> | null
  /**
   * The data needed to update a UserProgress.
   */
  data: Prisma.XOR<Prisma.UserProgressUpdateInput, Prisma.UserProgressUncheckedUpdateInput>
  /**
   * Choose, which UserProgress to update.
   */
  where: Prisma.UserProgressWhereUniqueInput
}

/**
 * UserProgress updateMany
 */
export type UserProgressUpdateManyArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * The data used to update UserProgresses.
   */
  data: Prisma.XOR<Prisma.UserProgressUpdateManyMutationInput, Prisma.UserProgressUncheckedUpdateManyInput>
  /**
   * Filter which UserProgresses to update
   */
  where?: Prisma.UserProgressWhereInput
  /**
   * Limit how many UserProgresses to update.
   */
  limit?: number
}

/**
 * UserProgress upsert
 */
export type UserProgressUpsertArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Select specific fields to fetch from the UserProgress
   */
  select?: Prisma.UserProgressSelect<ExtArgs> | null
  /**
   * Omit specific fields from the UserProgress
   */
  omit?: Prisma.UserProgressOmit<ExtArgs> | null
  /**
   * Choose, which related nodes to fetch as well
   */
  include?: Prisma.UserProgressInclude<ExtArgs> | null
  /**
   * The filter to search for the UserProgress to update in case it exists.
   */
  where: Prisma.UserProgressWhereUniqueInput
  /**
   * In case the UserProgress found by the `where` argument doesn't exist, create a new UserProgress with this data.
   */
  create: Prisma.XOR<Prisma.UserProgressCreateInput, Prisma.UserProgressUncheckedCreateInput>
  /**
   * In case the UserProgress was found with the provided `where` argument, update it with this data.
   */
  update: Prisma.XOR<Prisma.UserProgressUpdateInput, Prisma.UserProgressUncheckedUpdateInput>
}

/**
 * UserProgress delete
 */
export type UserProgressDeleteArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Select specific fields to fetch from the UserProgress
   */
  select?: Prisma.UserProgressSelect<ExtArgs> | null
  /**
   * Omit specific fields from the UserProgress
   */
  omit?: Prisma.UserProgressOmit<ExtArgs> | null
  /**
   * Choose, which related nodes to fetch as well
   */
  include?: Prisma.UserProgressInclude<ExtArgs> | null
  /**
   * Filter which UserProgress to delete.
   */
  where: Prisma.UserProgressWhereUniqueInput
}

/**
 * UserProgress deleteMany
 */
export type UserProgressDeleteManyArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Filter which UserProgresses to delete
   */
  where?: Prisma.UserProgressWhereInput
  /**
   * Limit how many UserProgresses to delete.
   */
  limit?: number
}

/**
 * UserProgress without action
 */
export type UserProgressDefaultArgs<ExtArgs extends runtime.Types.Extensions.InternalArgs = runtime.Types.Extensions.DefaultArgs> = {
  /**
   * Select specific fields to fetch from the UserProgress
   */
  select?: Prisma.UserProgressSelect<ExtArgs> | null
  /**
   * Omit specific fields from the UserProgress
   */
  omit?: Prisma.UserProgressOmit<ExtArgs> | null
  /**
   * Choose, which related nodes to fetch as well
   */
  include?: Prisma.UserProgressInclude<ExtArgs> | null
}