kotlin-stdlib/kotlin.contracts/SimpleEffect

SimpleEffect

@ExperimentalContracts
interface SimpleEffect : Effect(source)

An effect that can be observed after a function invocation.

Since Kotlin

1.3

See also

Inheritors

Functions

Link copied to clipboard
@ExperimentalContracts
abstract infix fun implies(booleanExpression: Boolean): ConditionalEffect

Specifies that this effect, when observed, guarantees booleanExpression to be true.

Since Kotlin 1.3