judge4c/src/types/prisma.ts

import prisma from "@/lib/prisma";

type ThenArg<T> = T extends PromiseLike<infer U> ? U : T;

export async function getAllProblems() {
  return await prisma.problem.findMany({
    include: {
      templates: true,
      testcases: {
        include: {
          data: true,
        },
      },
    },
  });
}

export type ProblemWithDetails = ThenArg<
  ReturnType<typeof getAllProblems>
>[number];

export async function getAllProblemsWithTestcases() {
  return await prisma.problem.findMany({
    include: {
      testcases: {
        include: {
          data: true,
        },
      },
    },
  });
}

export type ProblemWithTestcases = ThenArg<
  ReturnType<typeof getAllProblemsWithTestcases>
>[number];

export async function getAllTestcases() {
  return await prisma.testcase.findMany({
    include: {
      data: true,
    },
  });
}

export type TestcaseWithDetails = ThenArg<
  ReturnType<typeof getAllTestcases>
>;

export async function getAllSubmissionsWithTestcaseResults() {
  return await prisma.submission.findMany({
    include: {
      testcaseResults: {
        include: {
          testcase: {
            include: {
              data: true,
            }
          }
        }
      }
    }
  })
}

export type SubmissionWithTestcaseResult = ThenArg<
  ReturnType<typeof getAllSubmissionsWithTestcaseResults>
>[number];

export async function getAllTestcaseResultWithTestcase() {
  return await prisma.testcaseResult.findMany({
    include:{
      testcase:{
        include:{
          data:true
        }
      }
    }
  })
}

export type TestcaseResultWithTestcase=ThenArg<
  ReturnType<typeof getAllTestcaseResultWithTestcase>
>[number];