global.d.ts

export type Nullable<T> = T | null;

export type Json =
  | string
  | number
  | boolean
  | null
  | { [key: string]: Json | undefined }
  | Json[];

export type Database = {
  public: {
    Tables: {
      books: {
        Row: {
          acc_num: number;
          author: string | null;
          edition: string | null;
          genre: string | null;
          name: string;
          publisher: string | null;
          vol: string | null;
          year: string | null;
        };
        Insert: {
          acc_num?: number;
          author?: string | null;
          edition?: string | null;
          genre?: string | null;
          name: string;
          publisher?: string | null;
          vol?: string | null;
          year?: string | null;
        };
        Update: {
          acc_num?: number;
          author?: string | null;
          edition?: string | null;
          genre?: string | null;
          name?: string;
          publisher?: string | null;
          vol?: string | null;
          year?: string | null;
        };
        Relationships: [];
      };
      orders: {
        Row: {
          book_num: number;
          created_at: string;
          duration: number;
          id: string;
          pickup_date: string | null;
          purpose: string;
          status: string | null;
          user_id: string;
        };
        Insert: {
          book_num: number;
          created_at?: string;
          duration: number;
          id?: string;
          pickup_date?: string | null;
          purpose: string;
          status?: string | null;
          user_id: string;
        };
        Update: {
          book_num?: number;
          created_at?: string;
          duration?: number;
          id?: string;
          pickup_date?: string | null;
          purpose?: string;
          status?: string | null;
          user_id?: string;
        };
        Relationships: [];
      };
      sections: {
        Row: {
          grade: number;
          sectionName: string;
        };
        Insert: {
          grade: number;
          sectionName: string;
        };
        Update: {
          grade?: number;
          sectionName?: string;
        };
        Relationships: [];
      };
      users: {
        Row: {
          address: string;
          created_at: string;
          first_name: string;
          grade: number | null;
          id: string;
          last_name: string;
          lrn: string;
          middle_name: string;
          number: string;
          occupation: string;
          section: string | null;
        };
        Insert: {
          address: string;
          created_at?: string;
          first_name: string;
          grade?: number | null;
          id: string;
          last_name: string;
          lrn: string;
          middle_name: string;
          number: string;
          occupation: string;
          section?: string | null;
        };
        Update: {
          address?: string;
          created_at?: string;
          first_name?: string;
          grade?: number | null;
          id?: string;
          last_name?: string;
          lrn?: string;
          middle_name?: string;
          number?: string;
          occupation?: string;
          section?: string | null;
        };
        Relationships: [];
      };
    };
    Views: {
      [_ in never]: never;
    };
    Functions: {
      [_ in never]: never;
    };
    Enums: {
      [_ in never]: never;
    };
    CompositeTypes: {
      [_ in never]: never;
    };
  };
};

type PublicSchema = Database[Extract<keyof Database, "public">];

export type Tables<
  PublicTableNameOrOptions extends
    | keyof (PublicSchema["Tables"] & PublicSchema["Views"])
    | { schema: keyof Database },
  TableName extends PublicTableNameOrOptions extends { schema: keyof Database }
    ? keyof (Database[PublicTableNameOrOptions["schema"]]["Tables"] &
        Database[PublicTableNameOrOptions["schema"]]["Views"])
    : never = never
> = PublicTableNameOrOptions extends { schema: keyof Database }
  ? (Database[PublicTableNameOrOptions["schema"]]["Tables"] &
      Database[PublicTableNameOrOptions["schema"]]["Views"])[TableName] extends {
      Row: infer R;
    }
    ? R
    : never
  : PublicTableNameOrOptions extends keyof (PublicSchema["Tables"] &
      PublicSchema["Views"])
  ? (PublicSchema["Tables"] &
      PublicSchema["Views"])[PublicTableNameOrOptions] extends {
      Row: infer R;
    }
    ? R
    : never
  : never;

export type TablesInsert<
  PublicTableNameOrOptions extends
    | keyof PublicSchema["Tables"]
    | { schema: keyof Database },
  TableName extends PublicTableNameOrOptions extends { schema: keyof Database }
    ? keyof Database[PublicTableNameOrOptions["schema"]]["Tables"]
    : never = never
> = PublicTableNameOrOptions extends { schema: keyof Database }
  ? Database[PublicTableNameOrOptions["schema"]]["Tables"][TableName] extends {
      Insert: infer I;
    }
    ? I
    : never
  : PublicTableNameOrOptions extends keyof PublicSchema["Tables"]
  ? PublicSchema["Tables"][PublicTableNameOrOptions] extends {
      Insert: infer I;
    }
    ? I
    : never
  : never;

export type TablesUpdate<
  PublicTableNameOrOptions extends
    | keyof PublicSchema["Tables"]
    | { schema: keyof Database },
  TableName extends PublicTableNameOrOptions extends { schema: keyof Database }
    ? keyof Database[PublicTableNameOrOptions["schema"]]["Tables"]
    : never = never
> = PublicTableNameOrOptions extends { schema: keyof Database }
  ? Database[PublicTableNameOrOptions["schema"]]["Tables"][TableName] extends {
      Update: infer U;
    }
    ? U
    : never
  : PublicTableNameOrOptions extends keyof PublicSchema["Tables"]
  ? PublicSchema["Tables"][PublicTableNameOrOptions] extends {
      Update: infer U;
    }
    ? U
    : never
  : never;

export type Enums<
  PublicEnumNameOrOptions extends
    | keyof PublicSchema["Enums"]
    | { schema: keyof Database },
  EnumName extends PublicEnumNameOrOptions extends { schema: keyof Database }
    ? keyof Database[PublicEnumNameOrOptions["schema"]]["Enums"]
    : never = never
> = PublicEnumNameOrOptions extends { schema: keyof Database }
  ? Database[PublicEnumNameOrOptions["schema"]]["Enums"][EnumName]
  : PublicEnumNameOrOptions extends keyof PublicSchema["Enums"]
  ? PublicSchema["Enums"][PublicEnumNameOrOptions]
  : never;