(* Options:
Date: 2024-05-09 09:05:51
Version: 6.111
Tip: To override a DTO option, remove "//" prefix before updating
BaseUrl: https://todoworld.servicestack.net

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

namespace TodoWorld.ServiceModel

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

    [<DataContract>]
    [<AllowNullLiteral>]
    type Todo() = 
        [<DataMember(Order=1)>]
        member val Id:Int64 = new Int64() with get,set

        [<DataMember(Order=2)>]
        member val Title:String = null with get,set

        [<DataMember(Order=3)>]
        member val Order:Int32 = new Int32() with get,set

        [<DataMember(Order=4)>]
        member val Completed:Boolean = new Boolean() with get,set

    [<DataContract>]
    [<AllowNullLiteral>]
    type CreateTodoResponse() = 
        [<DataMember(Order=1)>]
        member val Result:Todo = null with get,set

        [<DataMember(Order=2)>]
        member val ResponseStatus:ResponseStatus = null with get,set

    [<Route("/todos", "POST")>]
    [<DataContract>]
    [<AllowNullLiteral>]
    type CreateTodo() = 
        interface IReturn<CreateTodoResponse>
        [<DataMember(Order=1)>]
        member val Title:String = null with get,set

        [<DataMember(Order=2)>]
        member val Order:Int32 = new Int32() with get,set