← Docs
kotlin-stdlib / kotlin.contracts / ConditionalEffect

ConditionalEffect

Common
JVM
JS
Native
1.3
@ExperimentalContracts interface ConditionalEffect : Effect
(source)

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 .

Stay in touch:
  • Contributing to Kotlin
  • Releases
  • Press Kit
  • Security
  • Blog
  • Issue Tracker
  • Brand assets
  • Careers
Supported and developed by JetBrains .
Kotlin™ is protected under the Kotlin Foundation
and licensed under the Apache 2 license .