ConditionalEffect
Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)
@ExperimentalContracts interface ConditionalEffect : Effect
Эффект, указывающий на то, что некоторое условие истинно после наблюдения за другим эффектом функции.
Этот эффект задаётся в блоке contract { } путём присоединения логического выражения к другому эффекту SimpleEffect с помощью функции SimpleEffect.implies.
© 2010–2020 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
