W3cubDocs

/Kotlin

ConditionalEffect

Platform and version requirements: JVM (1.3), JS (1.3), Native (1.3)
@ExperimentalContracts interface ConditionalEffect : Effect

An effect of some condition being true after observing another effect of a function.

This effect is specified in the contract { } block by attaching a boolean expression to another SimpleEffect effect with the function SimpleEffect.implies.

© 2010–2019 JetBrains s.r.o.
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.contracts/-conditional-effect.html