Files
2026-02-08 11:20:43 -10:00

27 lines
591 B
Kotlin
Vendored

import org.jetbrains.kotlinx.dataframe.*
import org.jetbrains.kotlinx.dataframe.annotations.*
import org.jetbrains.kotlinx.dataframe.api.*
import org.jetbrains.kotlinx.dataframe.io.*
@DataSchema
interface Schema {
val a: Int
}
fun box(): String {
val res = dataFrameOf("a")(1)
.cast<Schema>()
.add("wwffffwwehirbwerffwffwffwfffffwfffwfwfwfaw") { 42 }
res.wwffffwwehirbwerffwffwffwfffffwfffwfwfwfaw.print()
res.a.print()
val b = res.convert { a }.with { it.toString() }
b.a
// val res1 = res.conv
//res.filter { it }
return "OK"
}