add overload for Path

Path claims it has better platform independence, unicode support and better performance, so people might have reason to choose it over File

Author: koperagen

core/src/main/kotlin/org/jetbrains/kotlinx/dataframe/io/html.kt

@@ -26,8 +26,10 @@ import java.awt.Desktop
 import java.io.File
 import java.io.InputStreamReader
 import java.net.URL
+import java.nio.file.Path
 import java.util.LinkedList
 import java.util.Random
+import kotlin.io.path.writeText
 
 internal val tooltipLimit = 1000
 
@@ -244,6 +246,10 @@ public data class DataFrameHtmlData(val style: String = "", val body: String = "
         destination.writeText(toString())
     }
 
+    public fun writeHTML(destination: Path) {
+        destination.writeText(toString())
+    }
+
     public fun openInBrowser() {
         val file = File.createTempFile("df_rendering", ".html")
         writeHTML(file)

core/src/test/kotlin/org/jetbrains/kotlinx/dataframe/samples/api/Render.kt

@@ -1,6 +1,7 @@
 package org.jetbrains.kotlinx.dataframe.samples.api
 
 import java.io.File
+import kotlin.io.path.Path
 import org.jetbrains.kotlinx.dataframe.api.reorderColumnsByName
 import org.jetbrains.kotlinx.dataframe.api.sortBy
 import org.jetbrains.kotlinx.dataframe.api.sortByDesc
@@ -18,6 +19,7 @@ class Render : TestBase() {
         // SampleStart
         df.toStandaloneHTML(DisplayConfiguration(rowsLimit = null)).openInBrowser()
         df.toStandaloneHTML(DisplayConfiguration(rowsLimit = null)).writeHTML(File("/path/to/file"))
+        df.toStandaloneHTML(DisplayConfiguration(rowsLimit = null)).writeHTML(Path("/path/to/file"))
         // SampleEnd
     }
 

docs/StardustDocs/topics/toHTML.md

@@ -19,6 +19,7 @@ Following function produces HTML that includes JS and CSS definitions. It can be
 ```kotlin
 df.toStandaloneHTML(DisplayConfiguration(rowsLimit = null)).openInBrowser()
 df.toStandaloneHTML(DisplayConfiguration(rowsLimit = null)).writeHTML(File("/path/to/file"))
+df.toStandaloneHTML(DisplayConfiguration(rowsLimit = null)).writeHTML(Path("/path/to/file"))
 ```
 
 <!---END-->