rx/lifecycle

Types

pub type Action {
  InstallTeardown
  Notify(protocol.Kind)
  Cancel
}

</>

pub type Command {
  Deliver
  RunStoredTeardown
  RunIncomingTeardown
  ReportProtocolError(protocol.ProtocolError)
  ReportDuplicateTeardown
}

ReportProtocolError(protocol.ProtocolError)

</>

pub type State {
  Active(phase: protocol.Phase, teardown_ready: Bool)
  Closed
}

Active(phase: protocol.Phase, teardown_ready: Bool)

</>

pub fn initial() -> State

</>

pub fn transition(
  state: State,
  action: Action,
) -> #(State, List(Command))