effect

Side effects described by the pure Stage protocol.

Types

Effect

An outbound action for a runtime shell to interpret.

pub type Effect(event) {
  SendEvents(
    subscription_id: subscription_id.SubscriptionId,
    events: List(event),
  )
  NotifyCancelled(
    subscription_id: subscription_id.SubscriptionId,
  )
}

Constructors

SendEvents(
  subscription_id: subscription_id.SubscriptionId,
  events: List(event),
)

NotifyCancelled(subscription_id: subscription_id.SubscriptionId)