@ExperimentalContracts interface Effect
Represents an effect of a function invocation, either directly observable, such as the function returning normally, or a side-effect, such as the function's lambda parameter being called in place.
The inheritors are used in ContractBuilder to describe the contract of a function.
See Also
An effect of calling a functional parameter in place.
interface CallsInPlace : Effect
An effect of some condition being true after observing another effect of a function.
interface ConditionalEffect : Effect
An effect that can be observed after a function invocation.
interface SimpleEffect : Effect
© 2010–2019 JetBrains s.r.o.
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.contracts/-effect.html