(* Options:
Date: 2025-05-05 20:24:36
Version: 8.61
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://prod-api-auth-mb-dhc.rapp-customers.co.uk

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

namespace Mercedes.SS.Plugins.HealthCheck.ServiceModel

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

    type HealthStatus =
        | Unhealthy = 0
        | Degraded = 1
        | Healthy = 2

    [<AllowNullLiteral>]
    type HealthCheckReportEntry() = 
        member val Key:String = null with get,set
        member val Description:String = null with get,set
        member val Duration:TimeSpan = new TimeSpan() with get,set
        member val Status:HealthStatus = new HealthStatus() with get,set
        member val Error:String = null with get,set

    [<AllowNullLiteral>]
    type HealthCheckReport() = 
        member val Status:HealthStatus = new HealthStatus() with get,set
        member val Duration:TimeSpan = new TimeSpan() with get,set
        member val Version:String = null with get,set
        member val BuildDate:String = null with get,set
        member val Entries:ICollection<HealthCheckReportEntry> = null with get,set

    [<AllowNullLiteral>]
    type HealthResponse() = 
        member val Result:HealthCheckReport = null with get,set

    [<Route("/status", "GET")>]
    [<AllowNullLiteral>]
    type HealthRequest() = 
        interface IReturn<HealthResponse>
        interface IGet