(* Options:
Date: 2025-08-04 04:11:47
Version: 6.110
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://szallitoiportal-be.veolia.hu

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

namespace Portal.Common

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

    type TenderUserStatus =
        | FirstRound = 0
        | SecondRound = 1
        | ThirdRound = 2
        | Successful = 3
        | UnSuccessful = 4

    [<AllowNullLiteral>]
    type ResponseBase() = 
        member val ResponseStatus:ResponseStatus = null with get,set

    [<AllowNullLiteral>]
    type ModifyEntityResponse() = 
        inherit ResponseBase()
        member val Id:Int32 = new Int32() with get,set

    [<Route("/tender/{tenderid}/user/{userid}", "PUT")>]
    [<AllowNullLiteral>]
    type EditTenderUser() = 
        interface IReturn<ModifyEntityResponse>
        interface IPut
        member val TenderId:Int32 = new Int32() with get,set
        member val UserId:Int32 = new Int32() with get,set
        member val Status:TenderUserStatus = new TenderUserStatus() with get,set