Module Values.ExternalWorkflowExecutionCancelRequestedEventAttributesSource

Provides the details of the ExternalWorkflowExecutionCancelRequested event.

Sourcetype nonrec t = {
  1. workflowExecution : WorkflowExecution.t option;
    (*

    The external workflow execution to which the cancellation request was delivered.

    *)
  2. initiatedEventId : EventId.t option;
    (*

    The ID of the RequestCancelExternalWorkflowExecutionInitiated event corresponding to the RequestCancelExternalWorkflowExecution decision to cancel this external workflow execution. This information can be useful for diagnosing problems by tracing back the chain of events leading up to this event.

    *)
}
Sourceval make : ?workflowExecution:??? -> ?initiatedEventId:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Long of EventId.t | `Structure of (string * [> `String of WorkflowId.t ]) list ]) list ]
Sourceval to_query : t -> Awso.Client.Query.t
Sourceval of_xml : Awso.Xml.t -> t
Sourceval of_string : string -> t
Sourceval of_json : Yojson.Safe.t -> t
Sourceval to_json : t -> Yojson.Safe.t