Compukters Core/kotlin.contracts

Package-level declarations

Types

interface CallsInPlace : Effect

ConditionalEffect

interface ConditionalEffect : Effect

ContractBuilder

interface ContractBuilder

Declaration-only DSL interpreted by K2, with no runtime builder.

interface Effect

Compile-time effects; these interfaces are not instantiated by a contract declaration.

ExperimentalContracts

annotation class ExperimentalContracts

Opt-in marker for compile-time function contract declarations.

enum InvocationKind : Enum<InvocationKind>

Number of in-place calls during the owning function invocation.

interface Returns : SimpleEffect

interface ReturnsNotNull : SimpleEffect

interface SimpleEffect : Effect

Functions

inline fun contract(builder: ContractBuilder.() -> Unit)

Describe effects at the beginning of a function body. The block is never executed.