namespace PureGym open System open System.Threading open System.Threading.Tasks open System.IO open System.Net open System.Net.Http open RestEase [] [] type IPureGymApi = [] abstract GetGyms : ?ct : CancellationToken -> Task [] abstract GetGymAttendance : [] gymId : int * ?ct : CancellationToken -> Task [] abstract GetGymAttendance' : [] gymId : int * ?ct : CancellationToken -> Task [] abstract GetMember : ?ct : CancellationToken -> Member Task [] abstract GetGym : [] gym : int * ?ct : CancellationToken -> Task [] abstract GetMemberActivity : ?ct : CancellationToken -> Task [] abstract GetUrl : ?ct : CancellationToken -> Task [] abstract PostStringToString : [] foo : Map option * ?ct : CancellationToken -> Task option> // We'll use this one to check handling of absolute URIs too [] abstract GetSessions : [] fromDate : DateOnly * [] toDate : DateOnly * ?ct : CancellationToken -> Task [] abstract GetSessionsWithQuery : [] fromDate : DateOnly * [] toDate : DateOnly * ?ct : CancellationToken -> Task // An example from RestEase's own docs [] abstract CreateUserString : [] user : string * ?ct : CancellationToken -> Task [] abstract CreateUserStream : [] user : System.IO.Stream * ?ct : CancellationToken -> Task [] abstract CreateUserByteArr : [] user : byte[] * ?ct : CancellationToken -> Task [] abstract CreateUserByteArr' : [] user : array * ?ct : CancellationToken -> Task [] abstract CreateUserByteArr'' : [] user : byte array * ?ct : CancellationToken -> Task [] abstract CreateUserSerialisedBody : [] user : PureGym.Member * ?ct : CancellationToken -> Task [] abstract CreateUserSerialisedUrlBody : [] user : Uri * ?ct : CancellationToken -> Task [] abstract CreateUserSerialisedIntBody : [] user : int * ?ct : CancellationToken -> Task [] abstract CreateUserHttpContent : [] user : System.Net.Http.HttpContent * ?ct : CancellationToken -> Task [] abstract GetPathParam : [] parameter : string * ?ct : CancellationToken -> Task [] abstract GetStream : ?ct : CancellationToken -> Task [] abstract GetStream' : ?ct : CancellationToken -> Task [] abstract GetStream'' : ?ct : CancellationToken -> Task [] abstract GetResponseMessage : ?ct : CancellationToken -> Task [] abstract GetResponseMessage' : ?ct : CancellationToken -> Task [] abstract GetResponseMessage'' : ?ct : CancellationToken -> Task [] abstract GetResponseMessage''' : ?ct : CancellationToken -> Task [] abstract GetResponse : ?ct : CancellationToken -> Task> [] abstract GetResponse' : ?ct : CancellationToken -> Task> [] abstract GetResponse'' : ?ct : CancellationToken -> Task [] abstract GetResponse''' : ?ct : CancellationToken -> Task [] [] abstract GetWithAnyReturnCode : ?ct : CancellationToken -> Task [] abstract GetWithoutAnyReturnCode : ?ct : CancellationToken -> Task [] type internal IApiWithoutBaseAddress = [] abstract GetPathParam : [] parameter : string * ?ct : CancellationToken -> Task [] [] type IApiWithBasePath = // Example where we use the bundled attributes rather than RestEase's [] abstract GetPathParam : [] parameter : string * ?cancellationToken : CancellationToken -> Task [] [] [] type IApiWithBasePathAndAddress = [] abstract GetPathParam : [] parameter : string * ?ct : CancellationToken -> Task [] [] type IApiWithAbsoluteBasePath = // Example where we use the bundled attributes rather than RestEase's [] abstract GetPathParam : [] parameter : string * ?cancellationToken : CancellationToken -> Task [] [] [] type IApiWithAbsoluteBasePathAndAddress = [] abstract GetPathParam : [] parameter : string * ?ct : CancellationToken -> Task [] [] type IApiWithBasePathAndAbsoluteEndpoint = // Example where we use the bundled attributes rather than RestEase's [] abstract GetPathParam : [] parameter : string * ?cancellationToken : CancellationToken -> Task [] [] [] type IApiWithBasePathAndAddressAndAbsoluteEndpoint = [] abstract GetPathParam : [] parameter : string * ?ct : CancellationToken -> Task [] [] type IApiWithAbsoluteBasePathAndAbsoluteEndpoint = // Example where we use the bundled attributes rather than RestEase's [] abstract GetPathParam : [] parameter : string * ?cancellationToken : CancellationToken -> Task [] [] [] type IApiWithAbsoluteBasePathAndAddressAndAbsoluteEndpoint = [] abstract GetPathParam : [] parameter : string * ?ct : CancellationToken -> Task [] [] type IApiWithHeaders = [

] abstract SomeHeader : string [

] abstract SomeOtherHeader : int [] [] abstract GetPathParam : [] parameter : string * ?ct : CancellationToken -> Task [] [] type IApiWithHeaders2 = [] abstract SomeHeader : string [] abstract SomeOtherHeader : int [] abstract GetPathParam : [] parameter : string * ?ct : CancellationToken -> Task [] type IClientWithJsonBody = // As a POST request of a JSON-serialised body, we automatically set Content-Type: application/json. [] abstract GetPathParam : [] parameter : string * [] mem : PureGym.Member * ?ct : CancellationToken -> Task [] type IClientWithJsonBodyOverridden = // As a POST request of a JSON-serialised body, we *would* automatically set Content-Type: application/json, // but this method has overridden it. [] [] abstract GetPathParam : [] parameter : string * [] mem : PureGym.Member * ?ct : CancellationToken -> Task [] type IClientWithStringBody = // As a POST request of a bare string body, we don't override the Content-Type. [] abstract GetPathParam : [] parameter : string * [] mem : string * ?ct : CancellationToken -> Task