Эффект
Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)
@ExperimentalContracts interface Effect
Представляет эффект вызова функции, либо непосредственно наблюдаемый, например, нормальное возвращение функции, либо побочный эффект, например, вызов лямбда-параметра функции.
Наследники используются в ContractBuilder для описания контракта функции.
См. также
Наследники
Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)
CallsInPlace
Эффект вызова функционального параметра на месте.
interface CallsInPlace : Effect
Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)
ConditionalEffect
Эффект, когда некоторое условие истинно после наблюдения за другим эффектом функции.
interface ConditionalEffect : Effect
Требования к платформе и версии: JVM (1.3), JS (1.3), Native (1.3)
SimpleEffect
Эффект, который может быть наблюдаем после вызова функции.
interface SimpleEffect : Effect
© 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/-effect.html
