Generic type for Supabase Functions proposal

[Nicolas8aa]

export type Functions<
  PublicTableNameOrOptions extends
    | keyof (PublicSchema["Functions"])
    | { schema: keyof Database },
  TableName extends PublicTableNameOrOptions extends { schema: keyof Database }
    ? keyof (Database[PublicTableNameOrOptions["schema"]]["Functions"])
    : never = never,
> = PublicTableNameOrOptions extends { schema: keyof Database }
  ? (Database[PublicTableNameOrOptions["schema"]]["Functions"])[TableName] extends {
      Returns: infer R
    }
    ? R
    : never
  : PublicTableNameOrOptions extends keyof (PublicSchema["Functions"])
    ? (PublicSchema["Functions"] )[PublicTableNameOrOptions] extends {
      Returns: infer R
      }
      ? R
      : never
    : never