Loops

val step1 = WIO.pure(MyState(1)).autoNamed
val step2 = WIO.pure(MyState(1)).autoNamed

val loop: WIO[MyState, Nothing, MyState] = WIO
  .repeat(step1)
  .untilSome(state => Some(state))
  .onRestart(step2)
  .named(
    conditionName = "Is everything done?",
    releaseBranchName = "Yes!",
    restartBranchName = "No",
  )
  .done

Flowchart

BPMN

Model

{
  "base" : {
    "meta" : {
      "name" : "Step1",
      "error" : null
    },
    "_type" : "Pure"
  },
  "onRestart" : {
    "meta" : {
      "name" : "Step2",
      "error" : null
    },
    "_type" : "Pure"
  },
  "meta" : {
    "conditionName" : "Is everything done?",
    "exitBranchName" : "Yes!",
    "restartBranchName" : "No"
  },
  "_type" : "Loop"
}