kotlin-stdlib/kotlin.contracts/SimpleEffect

SimpleEffect

@ExperimentalContracts
interface SimpleEffect : Effect
Content copied to clipboard

An effect that can be observed after a function invocation.

Since Kotlin

1.3

See also

Functions

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

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

Inheritors

Returns
Link copied to clipboard
ReturnsNotNull
Link copied to clipboard