SimpleEffect

Начиная с Kotlin: 1.3


@ExperimentalContracts
interface SimpleEffect : Effect

Эффект, который можно наблюдать после вызова функции.

Функции

Начиная с Kotlin: 1.3



@ExperimentalContracts


@IgnorableReturnValue

abstract infix fun implies(booleanExpression: Boolean): ConditionalEffect

Указывает, что при наблюдении этого эффекта гарантируется истинность booleanExpression.

© 2010–2026 JetBrains s.r.o. and Kotlin Programming Language contributors
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/api/core/kotlin-stdlib/kotlin.contracts/-simple-effect/index.html