(* Options:
Date: 2026-04-24 04:07:31
Version: 6.110
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://qlcn-api.vsmlab.vn

//GlobalNamespace: 
//MakeDataContractsExtensible: False
//AddReturnMarker: True
//AddDescriptionAsComments: True
//AddDataContractAttributes: False
//AddIndexesToDataMembers: False
//AddGeneratedCodeAttributes: False
//AddResponseStatus: False
//AddImplicitVersion: 
//ExportValueTypes: False
IncludeTypes: GetWorkflowDeleteRequest.*
//ExcludeTypes: 
//InitializeCollections: True
//AddNamespaces: 
*)

namespace tvpl.api.ServiceModel

open System
open System.Collections
open System.Collections.Generic
open System.Runtime.Serialization
open ServiceStack
open ServiceStack.DataAnnotations
open ServiceStack.Web
open System.IO

    type WorkflowDeleteRequestStatus =
        | Pending = 0
        | Approved = 1
        | Rejected = 2
        | Cancelled = 3

    [<AllowNullLiteral>]
    type WorkflowDeleteRequestDetail() = 
        member val Id:Int32 = new Int32() with get,set
        member val WorkflowId:Int32 = new Int32() with get,set
        member val RequestedBy:Int32 = new Int32() with get,set
        member val RequestedByName:String = null with get,set
        member val ApproverId:Int32 = new Int32() with get,set
        member val ApproverName:String = null with get,set
        member val Status:WorkflowDeleteRequestStatus = new WorkflowDeleteRequestStatus() with get,set
        member val Reason:String = null with get,set
        member val Comment:String = null with get,set
        member val CreatedAt:DateTime = new DateTime() with get,set
        member val ActionAt:Nullable<DateTime> = new Nullable<DateTime>() with get,set

    [<Route("/workflow/{WorkflowId}/delete-request", "GET")>]
    [<AllowNullLiteral>]
    type GetWorkflowDeleteRequest() = 
        interface IReturn<WorkflowDeleteRequestDetail>
        member val WorkflowId:Int32 = new Int32() with get,set