(* Options:
Date: 2025-12-15 02:43:07
Version: 8.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: PostcodeLookupRequest.*
//ExcludeTypes:
//InitializeCollections: False
//AddNamespaces:
*)
namespace PostcodeLookupService.ServiceModel.Types
open System
open System.IO
open System.Collections
open System.Collections.Generic
open System.Runtime.Serialization
open ServiceStack
open ServiceStack.DataAnnotations
///
///This RESTful API returns UK Address data in both POST and GET. Input=Postcode(Mandatory), HouseNameorNumber=(Optional). You must provide valid authentication to make a request.
///
[]
[]
[]
[]
[]
[]
[]
[]
[]
type PostcodeLookupRequest() =
///
///Using a Postcode to return addresses.
///
[]
member val Postcode:String = null with get,set
///
///Optional input value to limit the return data to a specific address.
///
[]
member val HouseNo:String = null with get,set