kotlin-stdlib / kotlin.contracts / Effect

Effect

Common
JVM
JS
Native
1.3
@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

ConditionalEffect

SimpleEffect

CallsInPlace

Inheritors

Common
JVM
JS
Native
1.3

CallsInPlace

An effect of calling a functional parameter in place.

interface CallsInPlace : Effect
Common
JVM
JS
Native
1.3

ConditionalEffect

An effect of some condition being true after observing another effect of a function.

interface ConditionalEffect : Effect
Common
JVM
JS
Native
1.3

SimpleEffect

An effect that can be observed after a function invocation.

interface SimpleEffect : Effect