(* Options:
Date: 2026-02-04 07:59:32
Version: 8.10
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: http://webservices.mbukdatabase.co.uk/MBFSAutoEnrol

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

namespace MBMMFAutoEnrol.ServiceInterface.Services.GetDetails

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

    [<AllowNullLiteral>]
    type ValidateDetailsResponse() = 
        member val BPID:Int32 = new Int32() with get,set
        member val IsValid:Boolean = new Boolean() with get,set
        member val IsLocked:Boolean = new Boolean() with get,set
        member val AttemptsRemaining:Int32 = new Int32() with get,set
        member val Error:String = null with get,set

    [<Route("/ValidateDetails/", "POST")>]
    [<AllowNullLiteral>]
    type ValidateDetailsRequest() = 
        interface IReturn<ValidateDetailsResponse>
        member val GUID:Guid = new Guid() with get,set
        member val Postcode:String = null with get,set
        member val Number4:String = null with get,set
        member val Email:String = null with get,set
        member val EmailConfirm:String = null with get,set