Условныйэффект

kotlin-stdlib/kotlin.contracts/ConditionalEffect

Начиная с Kotlin: 1.3


@ExperimentalContracts
interface ConditionalEffect : Effect

Эффект, заключающийся в том, что некоторое условие становится истинным после наблюдения другого эффекта функции.

Этот эффект задаётся в блоке contract { } путём связывания логического выражения с другим эффектом SimpleEffect с помощью функции SimpleEffect.implies.

© 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/-conditional-effect/index.html