(* Options:
Date: 2025-12-06 06:41:08
Version: 8.80
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://business-api.brovs.com

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

namespace BusinessApi

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

    type Parking =
        | StreetParking = 0
        | ParkingGarageNearby = 1

    [<AllowNullLiteral>]
    type ParkingDto() = 
        member val Label:String = null with get,set
        member val Slug:Parking = new Parking() with get,set

    [<AllowNullLiteral>]
    type GetAllParkingResponse() = 
        member val Parking:ResizeArray<ParkingDto> = new ResizeArray<ParkingDto>() with get,set

    [<Route("/parking/get_all", "GET")>]
    [<AllowNullLiteral>]
    type GetAllParkingRequest() = 
        interface IReturn<GetAllParkingResponse>
        interface IGet