SimpleEffect
An effect that can be observed after a function invocation.
See Also
Functions
implies
Specifies that this effect, when observed, guarantees booleanExpression to be true.
abstract infix fun implies(
booleanExpression: Boolean
): ConditionalEffect
Inheritors
Returns
Describes a situation when a function returns normally with a given return value.
interface Returns : SimpleEffect
ReturnsNotNull
Describes a situation when a function returns normally with any non-null return value.
interface ReturnsNotNull : SimpleEffect