Module Values.WorkflowExecutionTerminatedEventAttributesSource

Provides the details of the WorkflowExecutionTerminated event.

Sourcetype nonrec t = {
  1. reason : TerminateReason.t option;
    (*

    The reason provided for the termination.

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

    The details provided for the termination.

    *)
  3. childPolicy : ChildPolicy.t option;
    (*

    The policy used for the child workflow executions of this workflow execution. The supported child policies are: TERMINATE – The child executions are terminated. REQUEST_CANCEL – A request to cancel is attempted for each child execution by recording a WorkflowExecutionCancelRequested event in its history. It is up to the decider to take appropriate actions when it receives an execution history with this event. ABANDON – No action is taken. The child executions continue to run.

    *)
  4. cause : WorkflowExecutionTerminatedCause.t option;
    (*

    If set, indicates that the workflow execution was automatically terminated, and specifies the cause. This happens if the parent workflow execution times out or is terminated and the child policy is set to terminate child executions.

    *)
}
Sourceval make : ?reason:??? -> ?details:??? -> ?childPolicy:??? -> ?cause:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Enum of string | `String of TerminateReason.t ]) 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