(* Options:
Date: 2025-12-23 15:29:40
Version: 10.04
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://vue-spa.web-templates.io

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

namespace MyApp.ServiceModel

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

    ///<summary>
    ///Booking Details
    ///</summary>
    [<AllowNullLiteral>]
    type Booking() = 
        inherit AuditBase()
        member val Id:Int32 = new Int32() with get,set
        member val Name:String = null with get,set
        member val RoomType:RoomType = new RoomType() with get,set
        member val RoomNumber:Int32 = new Int32() with get,set
        member val BookingStartDate:DateTime = new DateTime() with get,set
        member val BookingEndDate:Nullable<DateTime> = new Nullable<DateTime>() with get,set
        member val Cost:Decimal = new Decimal() with get,set
        member val Notes:String = null with get,set
        member val Cancelled:Nullable<Boolean> = new Nullable<Boolean>() with get,set
        member val Employee:User = null with get,set

    [<ValidateRequest(Validator="HasRole(`Manager`)")>]
    [<ValidateRequest(Validator="HasRole(`Employee`)")>]
    [<AllowNullLiteral>]
    type DeleteBooking() = 
        interface IReturnVoid
        member val Id:Nullable<Int32> = new Nullable<Int32>() with get,set
        member val Ids:ResizeArray<Int32> = null with get,set