Module Values.ChildWorkflowExecutionCanceledEventAttributesSource

Provide details of the ChildWorkflowExecutionCanceled event.

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

    The child workflow execution that was canceled.

    *)
  2. workflowType : WorkflowType.t option;
    (*

    The type of the child workflow execution.

    *)
  3. details : Data.t option;
    (*

    Details of the cancellation (if provided).

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

    The ID of the StartChildWorkflowExecutionInitiated event corresponding to the StartChildWorkflowExecution Decision to start this child workflow execution. This information can be useful for diagnosing problems by tracing back the chain of events leading up to this event.

    *)
  5. startedEventId : EventId.t option;
    (*

    The ID of the ChildWorkflowExecutionStarted event recorded when this child workflow execution was started. This information can be useful for diagnosing problems by tracing back the chain of events leading up to this event.

    *)
}
Sourceval make : ?workflowExecution:??? -> ?workflowType:??? -> ?details:??? -> ?initiatedEventId:??? -> ?startedEventId:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Long of EventId.t | `String of Data.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