(* Options:
Date: 2025-06-24 22:05:20
Version: 6.90
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: http://webservices.mbukdatabase.co.uk/AddressLookup

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

namespace PostcodeLookupService.ServiceModel.Types

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

    [<DataContract(Name="LookupResult", Namespace="http://schemas.datacontract.org/2004/07/PostcodeLookupService")>]
    [<AllowNullLiteral>]
    type LookupResult() = 
        [<DataMember>]
        member val Addresses:Address[] = [||] with get,set

        [<DataMember>]
        member val errormsg:String = null with get,set

    [<Route("/2.0/address/{Postcode}", "GET")>]
    [<Route("/2.0/address/{Postcode}/{HouseNo}", "GET")>]
    [<AllowNullLiteral>]
    type AddressRequest() = 
        interface IReturn<LookupResult>
        member val Version:Int32 = new Int32() with get,set
        ///<summary>
        ///Using a Postcode to return addresses.
        ///</summary>
        [<ApiMember(DataType="string", Description="Using a Postcode to return addresses.", IsRequired=true, Name="Postcode", ParameterType="path")>]
        member val Postcode:String = null with get,set

        ///<summary>
        ///Optional input value to limit the return data to a specific address.
        ///</summary>
        [<ApiMember(DataType="string", Description="Optional input value to limit the return data to a specific address.", Name="House Name or Number", ParameterType="path")>]
        member val HouseNo:String = null with get,set