Skip to content
IrisIris

Package dev.gecode.iris.kotlin

Dokka 2.2.0 generates this reference during each site build from the Kotlin sources. The guide shows the extensions in use, the Java API reference covers the types they extend, and the spec builder's reference covers dev.gecode.iris.kotlin.build.

Functions

fun Data.asSequence(): Sequence<Data.Entry>

Returns the entries of this data, in definition order.

fun Value.asSequence(): Sequence<Value>

Returns the elements of this array, which are made as the sequence reaches them.

operator fun Value.get(vararg path: Int): Value

Follows indices into this value, as in data["grid"][1, 2].

fun Value.leaves(): Sequence<Value>

Returns the single values of this value in row order, at any depth: this value itself if it is single.

fun Value.toDoubleArray(): DoubleArray

Returns a new array of the numbers of this one-dimensional array.

fun Value.toIntArray(): IntArray

Returns a new array of the integers of this one-dimensional array.

fun Value.toLongArray(): LongArray

Returns a new array of the integers of this one-dimensional array.

fun Map<String, String>.toParams(): Params

Makes parameters from this map, in its iteration order, which for mapOf(...) is the order written.