ConditionalEffect
Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)
@ExperimentalContracts interface ConditionalEffect : Effect
Эффект выполнения некоторого условия после наблюдения за другим эффектом функции.
Этот эффект задаётся в блоке contract { } путём присоединения булевого выражения к другому эффекту SimpleEffect с использованием функции SimpleEffect.implies.
© 2010–2022 JetBrains s.r.o. and Kotlin Programming Language contributors
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.contracts/-conditional-effect.html
