returns

Требования к платформе и версии: JVM (1.0), JS (1.0), Native (1.0)

abstract fun returns(): Returns

Описывает ситуацию, когда функция возвращает нормальное значение без возникновения исключений.

Для описания условного эффекта, происходящего в таком случае, используйте функцию SimpleEffect.implies.

Требования к платформе и версии: JVM (1.0), JS (1.0), Native (1.0)

abstract fun returns(value: Any?): Returns

Описывает ситуацию, когда функция возвращает нормальное значение со значением возврата value.

Возможные значения value ограничены true, false или null.

Для описания условного эффекта, происходящего в таком случае, используйте функцию SimpleEffect.implies.