(* Options:
Date: 2024-04-28 21:04:26
Version: 8.13
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://techstacks.io

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

namespace TechStacks.ServiceModel

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

    type FlagType =
        | Violation = 0
        | Spam = 1
        | Abusive = 2
        | Confidential = 3
        | OffTopic = 4
        | Other = 5

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

    [<Route("/posts/{Id}/report", "PUT")>]
    [<AllowNullLiteral>]
    type UserPostReport() = 
        interface IReturn<UserPostReportResponse>
        interface IPut
        member val Id:Int64 = new Int64() with get,set
        member val FlagType:FlagType = new FlagType() with get,set
        member val ReportNotes:String = null with get,set