arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check.model/ControlFlowFn

ControlFlowFn

data class ControlFlowFn(target: Expression?, body: Expression, argumentName: String, returnBehavior: ControlFlowFn.ReturnBehavior)
Content copied to clipboard

Describes the characteristics of a call to special control flow functions namely also, apply, let, run, with https://kotlinlang.org/docs/scope-functions.html#function-selection

Constructors

ControlFlowFn
Link copied to clipboard
fun ControlFlowFn(target: Expression?, body: Expression, argumentName: String, returnBehavior: ControlFlowFn.ReturnBehavior)
Content copied to clipboard

Types

ReturnBehavior
Link copied to clipboard
enum ReturnBehavior : Enum<ControlFlowFn.ReturnBehavior>
Content copied to clipboard

Describes whether functions return their argument or whatever is done in a block

Properties

argumentName
Link copied to clipboard
val argumentName: String
Content copied to clipboard
body
Link copied to clipboard
val body: Expression
Content copied to clipboard
returnBehavior
Link copied to clipboard
val returnBehavior: ControlFlowFn.ReturnBehavior
Content copied to clipboard
target
Link copied to clipboard
val target: Expression?
Content copied to clipboard