SimpleEffect

Common

JVM

Native

1.3

@ExperimentalContracts interface SimpleEffect : Effect

An effect that can be observed after a function invocation.

See Also

ContractBuilder.returns

Common

JVM

Native

1.0

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

abstract infix fun implies(
    booleanExpression: Boolean
): ConditionalEffect

Common

JVM

Native

1.3

Describes a situation when a function returns normally with a given return value.

interface Returns : SimpleEffect

Common

JVM

Native

1.3

Describes a situation when a function returns normally with any non-null return value.

interface ReturnsNotNull : SimpleEffect