(* Options:
Date: 2026-09-21 22:52:10
Version: 8.52
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: http://clouddemo.pickeos.com:1337

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

namespace GoToLightAPI

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

    type MissionState =
        | New = 0
        | PickingStarted = 1
        | PickingFinished = 2
        | PickingManuallyValidated = 3
        | RamasseFinished = 4
        | PackingFinished = 5

    [<Route("/MissionUpdateState/{MissionName}/{State}")>]
    [<AllowNullLiteral>]
    type MissionUpdateState() = 
        ///<summary>
        ///Mission name
        ///</summary>
        [<ApiMember(Description="Mission name", IsRequired=true)>]
        member val MissionName:String = null with get,set

        ///<summary>
        ///Mission state
        ///</summary>
        [<ApiMember(Description="Mission state", IsRequired=true)>]
        member val State:MissionState = new MissionState() with get,set