Package io.verik.kotlin

Declarations from the Kotlin standard library that are supported by Verik.

Types

Link copied to clipboard
abstract class Any

The root of the Verik class hierarchy. Every Verik class has Any as a superclass.

Link copied to clipboard
class ArrayList<E> : Iterable<E>

Resizable array of elements of type E.

Link copied to clipboard
class Boolean

Represents a value which is either true or false.

Link copied to clipboard
interface Comparable<in T>

Classes which inherit from this interface have a defined total ordering between their instances.

Link copied to clipboard
class Double

Represents a double-precision floating point number.

Link copied to clipboard
abstract class Enum<E : Enum<E>> : Comparable<E>

The common base class of all enum classes. Enums are declared with the enum keyword.

Link copied to clipboard
class Int

Represents a 32-bit signed integer.

Link copied to clipboard
class IntRange

A range of values of type Int.

Link copied to clipboard
interface Iterable<out T>

Classes that inherit from this interface can be represented as a sequence of elements that can be iterated over.

Link copied to clipboard
interface Iterator<out T>

An iterator over a collection or another entity that can be represented as a sequence of elements. Allows to sequentially access the elements.

Link copied to clipboard
class Nothing

Nothing has no instances. You can use Nothing to represent "a value that never exists": for example, if a function has the return type of Nothing, it means that it never returns.

Link copied to clipboard
class String

The String class represents character strings.

Link copied to clipboard
class Unit

The type with only one value: the Unit object.

Functions

Link copied to clipboard
fun assert(value: Boolean)

Asserts that value is true. Raises an error otherwise.

fun assert(value: Boolean, action: () -> Any)

Asserts that value is true. Executes action otherwise.

Link copied to clipboard
fun <T> Iterable<T>.forEach(action: (T) -> Unit)

Performs the given action on each element.

Link copied to clipboard
fun print(message: Any?)
fun print(message: Boolean)
fun print(message: Double)
fun print(message: Int)

Prints the given message to the standard output stream.

Link copied to clipboard
fun println()

Prints the line separator to the standard output stream.

fun println(message: Any?)
fun println(message: Boolean)
fun println(message: Double)
fun println(message: Int)

Prints the given message and the line separator to the standard output stream.

Link copied to clipboard
fun repeat(times: Int, action: (Int) -> Unit)

Executes the given function action specified number of times. A zero-based index of current iteration is passed as a parameter to action.

Link copied to clipboard
fun String.trimIndent(): String

Detects a common minimal indent of all the input lines, removes it from every line and also removes the first and the last lines if they are blank.

Link copied to clipboard
infix fun Int.until(to: Int): IntRange

Returns a range from this value up to but excluding the specified to value.