(* Options:
Date: 2025-05-03 06:46:28
Version: 8.51
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://blazor-gallery.servicestack.net

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

namespace MyApp.ServiceModel

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

    [<AllowNullLiteral>]
    type Todo() = 
        member val Id:Int64 = new Int64() with get,set
        member val Text:String = null with get,set
        member val IsFinished:Boolean = new Boolean() with get,set

    [<Route("/todos/{Id}", "PUT")>]
    [<AllowNullLiteral>]
    type UpdateTodo() = 
        interface IReturn<Todo>
        interface IPut
        member val Id:Int64 = new Int64() with get,set
        [<Validate(Validator="NotEmpty")>]
        member val Text:String = null with get,set

        member val IsFinished:Boolean = new Boolean() with get,set