(* Options:
Date: 2024-12-29 02:06:46
Version: 8.22
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://data.regent-college.edu

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

namespace regis.ClassLibrary.Requests

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

    [<AllowNullLiteral>]
    type StudentStatusResponse() = 
        member val is_active:Boolean = new Boolean() with get,set
        member val is_authenticated:Boolean = new Boolean() with get,set
        member val is_admitted:Boolean = new Boolean() with get,set

    [<Route("/StaffStatus", "POST")>]
    [<AllowNullLiteral>]
    type StaffStatusRequest() = 
        interface IReturn<StudentStatusResponse>
        member val staff_login:String = null with get,set
        member val password:String = null with get,set