loafle/openapi-generator
3
0
Fork 0
forked from loafle/openapi-generator-original
Code Pull Requests Activity

add sponsor message in F# giraffe generator (#9247)

Browse Source
This commit is contained in:
William Cheng 2021-04-13 13:50:41 +08:00 committed by GitHub
parent 53e5986800
commit 1f227061c6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
15 changed files with 109 additions and 82 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
modules/openapi-generator/src/main/java/org/openapitools/codegen/languages/FsharpGiraffeServerCodegen.java
View File

@ -280,4 +280,17 @@ public class FsharpGiraffeServerCodegen extends AbstractFSharpCodegen {
public String toRegularExpression(String pattern) { public String toRegularExpression(String pattern) {
return escapeText(pattern); return escapeText(pattern);
} }
}
@Override
public void postProcess() {
System.out.println("################################################################################");
System.out.println("# Thanks for using OpenAPI Generator. #");
System.out.println("# Please consider donation to help us maintain this project \uD83D\uDE4F #");
System.out.println("# https://opencollective.com/openapi_generator/donate #");
System.out.println("# #");
System.out.println("# This generator's contributed by Nick Fisher (https://github.com/nmfisher) #");
System.out.println("# Please support his work directly via https://paypal.me/nickfisher1984 \uD83D\uDE4F #");
System.out.println("################################################################################");
}
}

2
samples/server/petstore/fsharp-giraffe/.openapi-generator/VERSION
View File

@ -1 +1 @@
4.1.3-SNAPSHOT 5.1.1-SNAPSHOT

2
samples/server/petstore/fsharp-giraffe/OpenAPI/README.md
View File

@ -10,8 +10,6 @@ The following models have been auto-generated from the provided OpenAPI schema:
- model/TagModel.fs - model/TagModel.fs
- model/CategoryModel.fs - model/CategoryModel.fs
- model/OrderModel.fs - model/OrderModel.fs
- model/InlineObject1Model.fs
- model/InlineObjectModel.fs
- model/PetModel.fs - model/PetModel.fs
- model/ApiResponseModel.fs - model/ApiResponseModel.fs

2
samples/server/petstore/fsharp-giraffe/OpenAPI/src/OpenAPI.fsproj
View File

@ -25,8 +25,6 @@
<Compile Include="model/Tag.fs" /> <Compile Include="model/Tag.fs" />
<Compile Include="model/Category.fs" /> <Compile Include="model/Category.fs" />
<Compile Include="model/Order.fs" /> <Compile Include="model/Order.fs" />
<Compile Include="model/InlineObject1.fs" />
<Compile Include="model/InlineObject.fs" />
<Compile Include="model/Pet.fs" /> <Compile Include="model/Pet.fs" />
<Compile Include="model/ApiResponse.fs" /> <Compile Include="model/ApiResponse.fs" />
<Compile Include="api/PetApiHandlerParams.fs" /> <Compile Include="api/PetApiHandlerParams.fs" />

40
samples/server/petstore/fsharp-giraffe/OpenAPI/src/api/PetApiHandler.fs
View File

@ -29,8 +29,10 @@ module PetApiHandler =
let serviceArgs = { bodyParams=bodyParams } : AddPetArgs let serviceArgs = { bodyParams=bodyParams } : AddPetArgs
let result = PetApiService.AddPet ctx serviceArgs let result = PetApiService.AddPet ctx serviceArgs
return! (match result with return! (match result with
| AddPetStatusCode200 resolved ->
setStatusCode 200 >=> json resolved.content
| AddPetStatusCode405 resolved -> | AddPetStatusCode405 resolved ->
setStatusCode 405 >=> text resolved.content setStatusCode 405 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -50,7 +52,7 @@ module PetApiHandler =
let result = PetApiService.DeletePet ctx serviceArgs let result = PetApiService.DeletePet ctx serviceArgs
return! (match result with return! (match result with
| DeletePetStatusCode400 resolved -> | DeletePetStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -67,10 +69,10 @@ module PetApiHandler =
let serviceArgs = { queryParams=queryParams; } : FindPetsByStatusArgs let serviceArgs = { queryParams=queryParams; } : FindPetsByStatusArgs
let result = PetApiService.FindPetsByStatus ctx serviceArgs let result = PetApiService.FindPetsByStatus ctx serviceArgs
return! (match result with return! (match result with
| FindPetsByStatusDefaultStatusCode resolved -> | FindPetsByStatusStatusCode200 resolved ->
setStatusCode 200 >=> json resolved.content setStatusCode 200 >=> json resolved.content
| FindPetsByStatusStatusCode400 resolved -> | FindPetsByStatusStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -87,10 +89,10 @@ module PetApiHandler =
let serviceArgs = { queryParams=queryParams; } : FindPetsByTagsArgs let serviceArgs = { queryParams=queryParams; } : FindPetsByTagsArgs
let result = PetApiService.FindPetsByTags ctx serviceArgs let result = PetApiService.FindPetsByTags ctx serviceArgs
return! (match result with return! (match result with
| FindPetsByTagsDefaultStatusCode resolved -> | FindPetsByTagsStatusCode200 resolved ->
setStatusCode 200 >=> json resolved.content setStatusCode 200 >=> json resolved.content
| FindPetsByTagsStatusCode400 resolved -> | FindPetsByTagsStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -106,12 +108,12 @@ module PetApiHandler =
let serviceArgs = { pathParams=pathParams; } : GetPetByIdArgs let serviceArgs = { pathParams=pathParams; } : GetPetByIdArgs
let result = PetApiService.GetPetById ctx serviceArgs let result = PetApiService.GetPetById ctx serviceArgs
return! (match result with return! (match result with
| GetPetByIdDefaultStatusCode resolved -> | GetPetByIdStatusCode200 resolved ->
setStatusCode 200 >=> json resolved.content setStatusCode 200 >=> json resolved.content
| GetPetByIdStatusCode400 resolved -> | GetPetByIdStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
| GetPetByIdStatusCode404 resolved -> | GetPetByIdStatusCode404 resolved ->
setStatusCode 404 >=> text resolved.content setStatusCode 404 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -129,12 +131,14 @@ module PetApiHandler =
let serviceArgs = { bodyParams=bodyParams } : UpdatePetArgs let serviceArgs = { bodyParams=bodyParams } : UpdatePetArgs
let result = PetApiService.UpdatePet ctx serviceArgs let result = PetApiService.UpdatePet ctx serviceArgs
return! (match result with return! (match result with
| UpdatePetStatusCode200 resolved ->
setStatusCode 200 >=> json resolved.content
| UpdatePetStatusCode400 resolved -> | UpdatePetStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
| UpdatePetStatusCode404 resolved -> | UpdatePetStatusCode404 resolved ->
setStatusCode 404 >=> text resolved.content setStatusCode 404 >=> text resolved.content
| UpdatePetStatusCode405 resolved -> | UpdatePetStatusCode405 resolved ->
setStatusCode 405 >=> text resolved.content setStatusCode 405 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -152,7 +156,7 @@ module PetApiHandler =
let result = PetApiService.UpdatePetWithForm ctx serviceArgs let result = PetApiService.UpdatePetWithForm ctx serviceArgs
return! (match result with return! (match result with
| UpdatePetWithFormStatusCode405 resolved -> | UpdatePetWithFormStatusCode405 resolved ->
setStatusCode 405 >=> text resolved.content setStatusCode 405 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -169,8 +173,8 @@ module PetApiHandler =
let serviceArgs = { formParams=formParams; pathParams=pathParams; } : UploadFileArgs let serviceArgs = { formParams=formParams; pathParams=pathParams; } : UploadFileArgs
let result = PetApiService.UploadFile ctx serviceArgs let result = PetApiService.UploadFile ctx serviceArgs
return! (match result with return! (match result with
| UploadFileDefaultStatusCode resolved -> | UploadFileStatusCode200 resolved ->
setStatusCode 200 >=> json resolved.content setStatusCode 200 >=> json resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion

30
samples/server/petstore/fsharp-giraffe/OpenAPI/src/api/PetApiHandlerParams.fs
View File

@ -14,11 +14,16 @@ module PetApiHandlerParams =
//#endregion //#endregion
type AddPetStatusCode200Response = {
content:Pet;
}
type AddPetStatusCode405Response = { type AddPetStatusCode405Response = {
content:string; content:string;
} }
type AddPetResult = AddPetStatusCode405 of AddPetStatusCode405Response type AddPetResult = AddPetStatusCode200 of AddPetStatusCode200Response|AddPetStatusCode405 of AddPetStatusCode405Response
type AddPetArgs = { type AddPetArgs = {
bodyParams:AddPetBodyParams bodyParams:AddPetBodyParams
@ -58,7 +63,7 @@ module PetApiHandlerParams =
//#endregion //#endregion
type FindPetsByStatusDefaultStatusCodeResponse = { type FindPetsByStatusStatusCode200Response = {
content:Pet[]; content:Pet[];
} }
@ -67,7 +72,7 @@ module PetApiHandlerParams =
content:string; content:string;
} }
type FindPetsByStatusResult = FindPetsByStatusDefaultStatusCode of FindPetsByStatusDefaultStatusCodeResponse|FindPetsByStatusStatusCode400 of FindPetsByStatusStatusCode400Response type FindPetsByStatusResult = FindPetsByStatusStatusCode200 of FindPetsByStatusStatusCode200Response|FindPetsByStatusStatusCode400 of FindPetsByStatusStatusCode400Response
type FindPetsByStatusArgs = { type FindPetsByStatusArgs = {
queryParams:Result<FindPetsByStatusQueryParams,string>; queryParams:Result<FindPetsByStatusQueryParams,string>;
@ -82,7 +87,7 @@ module PetApiHandlerParams =
//#endregion //#endregion
type FindPetsByTagsDefaultStatusCodeResponse = { type FindPetsByTagsStatusCode200Response = {
content:Pet[]; content:Pet[];
} }
@ -91,7 +96,7 @@ module PetApiHandlerParams =
content:string; content:string;
} }
type FindPetsByTagsResult = FindPetsByTagsDefaultStatusCode of FindPetsByTagsDefaultStatusCodeResponse|FindPetsByTagsStatusCode400 of FindPetsByTagsStatusCode400Response type FindPetsByTagsResult = FindPetsByTagsStatusCode200 of FindPetsByTagsStatusCode200Response|FindPetsByTagsStatusCode400 of FindPetsByTagsStatusCode400Response
type FindPetsByTagsArgs = { type FindPetsByTagsArgs = {
queryParams:Result<FindPetsByTagsQueryParams,string>; queryParams:Result<FindPetsByTagsQueryParams,string>;
@ -104,7 +109,7 @@ module PetApiHandlerParams =
//#endregion //#endregion
type GetPetByIdDefaultStatusCodeResponse = { type GetPetByIdStatusCode200Response = {
content:Pet; content:Pet;
} }
@ -118,7 +123,7 @@ module PetApiHandlerParams =
content:string; content:string;
} }
type GetPetByIdResult = GetPetByIdDefaultStatusCode of GetPetByIdDefaultStatusCodeResponse|GetPetByIdStatusCode400 of GetPetByIdStatusCode400Response|GetPetByIdStatusCode404 of GetPetByIdStatusCode404Response type GetPetByIdResult = GetPetByIdStatusCode200 of GetPetByIdStatusCode200Response|GetPetByIdStatusCode400 of GetPetByIdStatusCode400Response|GetPetByIdStatusCode404 of GetPetByIdStatusCode404Response
type GetPetByIdArgs = { type GetPetByIdArgs = {
pathParams:GetPetByIdPathParams; pathParams:GetPetByIdPathParams;
@ -130,6 +135,11 @@ module PetApiHandlerParams =
//#endregion //#endregion
type UpdatePetStatusCode200Response = {
content:Pet;
}
type UpdatePetStatusCode400Response = { type UpdatePetStatusCode400Response = {
content:string; content:string;
@ -144,7 +154,7 @@ module PetApiHandlerParams =
content:string; content:string;
} }
type UpdatePetResult = UpdatePetStatusCode400 of UpdatePetStatusCode400Response|UpdatePetStatusCode404 of UpdatePetStatusCode404Response|UpdatePetStatusCode405 of UpdatePetStatusCode405Response type UpdatePetResult = UpdatePetStatusCode200 of UpdatePetStatusCode200Response|UpdatePetStatusCode400 of UpdatePetStatusCode400Response|UpdatePetStatusCode404 of UpdatePetStatusCode404Response|UpdatePetStatusCode405 of UpdatePetStatusCode405Response
type UpdatePetArgs = { type UpdatePetArgs = {
bodyParams:UpdatePetBodyParams bodyParams:UpdatePetBodyParams
@ -197,11 +207,11 @@ module PetApiHandlerParams =
//#endregion //#endregion
type UploadFileDefaultStatusCodeResponse = { type UploadFileStatusCode200Response = {
content:ApiResponse; content:ApiResponse;
} }
type UploadFileResult = UploadFileDefaultStatusCode of UploadFileDefaultStatusCodeResponse type UploadFileResult = UploadFileStatusCode200 of UploadFileStatusCode200Response
type UploadFileArgs = { type UploadFileArgs = {
pathParams:UploadFilePathParams; pathParams:UploadFilePathParams;

22
samples/server/petstore/fsharp-giraffe/OpenAPI/src/api/StoreApiHandler.fs
View File

@ -28,9 +28,9 @@ module StoreApiHandler =
let result = StoreApiService.DeleteOrder ctx serviceArgs let result = StoreApiService.DeleteOrder ctx serviceArgs
return! (match result with return! (match result with
| DeleteOrderStatusCode400 resolved -> | DeleteOrderStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
| DeleteOrderStatusCode404 resolved -> | DeleteOrderStatusCode404 resolved ->
setStatusCode 404 >=> text resolved.content setStatusCode 404 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -45,8 +45,8 @@ module StoreApiHandler =
task { task {
let result = StoreApiService.GetInventory ctx let result = StoreApiService.GetInventory ctx
return! (match result with return! (match result with
| GetInventoryDefaultStatusCode resolved -> | GetInventoryStatusCode200 resolved ->
setStatusCode 200 >=> json resolved.content setStatusCode 200 >=> json resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -62,12 +62,12 @@ module StoreApiHandler =
let serviceArgs = { pathParams=pathParams; } : GetOrderByIdArgs let serviceArgs = { pathParams=pathParams; } : GetOrderByIdArgs
let result = StoreApiService.GetOrderById ctx serviceArgs let result = StoreApiService.GetOrderById ctx serviceArgs
return! (match result with return! (match result with
| GetOrderByIdDefaultStatusCode resolved -> | GetOrderByIdStatusCode200 resolved ->
setStatusCode 200 >=> json resolved.content setStatusCode 200 >=> json resolved.content
| GetOrderByIdStatusCode400 resolved -> | GetOrderByIdStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
| GetOrderByIdStatusCode404 resolved -> | GetOrderByIdStatusCode404 resolved ->
setStatusCode 404 >=> text resolved.content setStatusCode 404 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -85,10 +85,10 @@ module StoreApiHandler =
let serviceArgs = { bodyParams=bodyParams } : PlaceOrderArgs let serviceArgs = { bodyParams=bodyParams } : PlaceOrderArgs
let result = StoreApiService.PlaceOrder ctx serviceArgs let result = StoreApiService.PlaceOrder ctx serviceArgs
return! (match result with return! (match result with
| PlaceOrderDefaultStatusCode resolved -> | PlaceOrderStatusCode200 resolved ->
setStatusCode 200 >=> json resolved.content setStatusCode 200 >=> json resolved.content
| PlaceOrderStatusCode400 resolved -> | PlaceOrderStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion

12
samples/server/petstore/fsharp-giraffe/OpenAPI/src/api/StoreApiHandlerParams.fs
View File

@ -31,11 +31,11 @@ module StoreApiHandlerParams =
} }
type GetInventoryDefaultStatusCodeResponse = { type GetInventoryStatusCode200Response = {
content:IDictionary<string, int>; content:IDictionary<string, int>;
} }
type GetInventoryResult = GetInventoryDefaultStatusCode of GetInventoryDefaultStatusCodeResponse type GetInventoryResult = GetInventoryStatusCode200 of GetInventoryStatusCode200Response
//#region Path parameters //#region Path parameters
[<CLIMutable>] [<CLIMutable>]
@ -45,7 +45,7 @@ module StoreApiHandlerParams =
//#endregion //#endregion
type GetOrderByIdDefaultStatusCodeResponse = { type GetOrderByIdStatusCode200Response = {
content:Order; content:Order;
} }
@ -59,7 +59,7 @@ module StoreApiHandlerParams =
content:string; content:string;
} }
type GetOrderByIdResult = GetOrderByIdDefaultStatusCode of GetOrderByIdDefaultStatusCodeResponse|GetOrderByIdStatusCode400 of GetOrderByIdStatusCode400Response|GetOrderByIdStatusCode404 of GetOrderByIdStatusCode404Response type GetOrderByIdResult = GetOrderByIdStatusCode200 of GetOrderByIdStatusCode200Response|GetOrderByIdStatusCode400 of GetOrderByIdStatusCode400Response|GetOrderByIdStatusCode404 of GetOrderByIdStatusCode404Response
type GetOrderByIdArgs = { type GetOrderByIdArgs = {
pathParams:GetOrderByIdPathParams; pathParams:GetOrderByIdPathParams;
@ -71,7 +71,7 @@ module StoreApiHandlerParams =
//#endregion //#endregion
type PlaceOrderDefaultStatusCodeResponse = { type PlaceOrderStatusCode200Response = {
content:Order; content:Order;
} }
@ -80,7 +80,7 @@ module StoreApiHandlerParams =
content:string; content:string;
} }
type PlaceOrderResult = PlaceOrderDefaultStatusCode of PlaceOrderDefaultStatusCodeResponse|PlaceOrderStatusCode400 of PlaceOrderStatusCode400Response type PlaceOrderResult = PlaceOrderStatusCode200 of PlaceOrderStatusCode200Response|PlaceOrderStatusCode400 of PlaceOrderStatusCode400Response
type PlaceOrderArgs = { type PlaceOrderArgs = {
bodyParams:PlaceOrderBodyParams bodyParams:PlaceOrderBodyParams

30
samples/server/petstore/fsharp-giraffe/OpenAPI/src/api/UserApiHandler.fs
View File

@ -29,7 +29,7 @@ module UserApiHandler =
let result = UserApiService.CreateUser ctx serviceArgs let result = UserApiService.CreateUser ctx serviceArgs
return! (match result with return! (match result with
| CreateUserDefaultStatusCode resolved -> | CreateUserDefaultStatusCode resolved ->
setStatusCode 0 >=> text resolved.content setStatusCode 0 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -48,7 +48,7 @@ module UserApiHandler =
let result = UserApiService.CreateUsersWithArrayInput ctx serviceArgs let result = UserApiService.CreateUsersWithArrayInput ctx serviceArgs
return! (match result with return! (match result with
| CreateUsersWithArrayInputDefaultStatusCode resolved -> | CreateUsersWithArrayInputDefaultStatusCode resolved ->
setStatusCode 0 >=> text resolved.content setStatusCode 0 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -67,7 +67,7 @@ module UserApiHandler =
let result = UserApiService.CreateUsersWithListInput ctx serviceArgs let result = UserApiService.CreateUsersWithListInput ctx serviceArgs
return! (match result with return! (match result with
| CreateUsersWithListInputDefaultStatusCode resolved -> | CreateUsersWithListInputDefaultStatusCode resolved ->
setStatusCode 0 >=> text resolved.content setStatusCode 0 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -84,9 +84,9 @@ module UserApiHandler =
let result = UserApiService.DeleteUser ctx serviceArgs let result = UserApiService.DeleteUser ctx serviceArgs
return! (match result with return! (match result with
| DeleteUserStatusCode400 resolved -> | DeleteUserStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
| DeleteUserStatusCode404 resolved -> | DeleteUserStatusCode404 resolved ->
setStatusCode 404 >=> text resolved.content setStatusCode 404 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -102,12 +102,12 @@ module UserApiHandler =
let serviceArgs = { pathParams=pathParams; } : GetUserByNameArgs let serviceArgs = { pathParams=pathParams; } : GetUserByNameArgs
let result = UserApiService.GetUserByName ctx serviceArgs let result = UserApiService.GetUserByName ctx serviceArgs
return! (match result with return! (match result with
| GetUserByNameDefaultStatusCode resolved -> | GetUserByNameStatusCode200 resolved ->
setStatusCode 200 >=> json resolved.content setStatusCode 200 >=> json resolved.content
| GetUserByNameStatusCode400 resolved -> | GetUserByNameStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
| GetUserByNameStatusCode404 resolved -> | GetUserByNameStatusCode404 resolved ->
setStatusCode 404 >=> text resolved.content setStatusCode 404 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -124,10 +124,10 @@ module UserApiHandler =
let serviceArgs = { queryParams=queryParams; } : LoginUserArgs let serviceArgs = { queryParams=queryParams; } : LoginUserArgs
let result = UserApiService.LoginUser ctx serviceArgs let result = UserApiService.LoginUser ctx serviceArgs
return! (match result with return! (match result with
| LoginUserDefaultStatusCode resolved -> | LoginUserStatusCode200 resolved ->
setStatusCode 200 >=> text resolved.content setStatusCode 200 >=> text resolved.content
| LoginUserStatusCode400 resolved -> | LoginUserStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -143,7 +143,7 @@ module UserApiHandler =
let result = UserApiService.LogoutUser ctx let result = UserApiService.LogoutUser ctx
return! (match result with return! (match result with
| LogoutUserDefaultStatusCode resolved -> | LogoutUserDefaultStatusCode resolved ->
setStatusCode 0 >=> text resolved.content setStatusCode 0 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion
@ -162,9 +162,9 @@ module UserApiHandler =
let result = UserApiService.UpdateUser ctx serviceArgs let result = UserApiService.UpdateUser ctx serviceArgs
return! (match result with return! (match result with
| UpdateUserStatusCode400 resolved -> | UpdateUserStatusCode400 resolved ->
setStatusCode 400 >=> text resolved.content setStatusCode 400 >=> text resolved.content
| UpdateUserStatusCode404 resolved -> | UpdateUserStatusCode404 resolved ->
setStatusCode 404 >=> text resolved.content setStatusCode 404 >=> text resolved.content
) next ctx ) next ctx
} }
//#endregion //#endregion

8
samples/server/petstore/fsharp-giraffe/OpenAPI/src/api/UserApiHandlerParams.fs
View File

@ -84,7 +84,7 @@ module UserApiHandlerParams =
//#endregion //#endregion
type GetUserByNameDefaultStatusCodeResponse = { type GetUserByNameStatusCode200Response = {
content:User; content:User;
} }
@ -98,7 +98,7 @@ module UserApiHandlerParams =
content:string; content:string;
} }
type GetUserByNameResult = GetUserByNameDefaultStatusCode of GetUserByNameDefaultStatusCodeResponse|GetUserByNameStatusCode400 of GetUserByNameStatusCode400Response|GetUserByNameStatusCode404 of GetUserByNameStatusCode404Response type GetUserByNameResult = GetUserByNameStatusCode200 of GetUserByNameStatusCode200Response|GetUserByNameStatusCode400 of GetUserByNameStatusCode400Response|GetUserByNameStatusCode404 of GetUserByNameStatusCode404Response
type GetUserByNameArgs = { type GetUserByNameArgs = {
pathParams:GetUserByNamePathParams; pathParams:GetUserByNamePathParams;
@ -116,7 +116,7 @@ module UserApiHandlerParams =
//#endregion //#endregion
type LoginUserDefaultStatusCodeResponse = { type LoginUserStatusCode200Response = {
content:string; content:string;
} }
@ -125,7 +125,7 @@ module UserApiHandlerParams =
content:string; content:string;
} }
type LoginUserResult = LoginUserDefaultStatusCode of LoginUserDefaultStatusCodeResponse|LoginUserStatusCode400 of LoginUserStatusCode400Response type LoginUserResult = LoginUserStatusCode200 of LoginUserStatusCode200Response|LoginUserStatusCode400 of LoginUserStatusCode400Response
type LoginUserArgs = { type LoginUserArgs = {
queryParams:Result<LoginUserQueryParams,string>; queryParams:Result<LoginUserQueryParams,string>;

1
samples/server/petstore/fsharp-giraffe/OpenAPI/src/auth/AuthSchemes.fs
View File

@ -60,7 +60,6 @@ module AuthSchemes =
let configureApiKeyAuth (settings:IConfiguration) services = let configureApiKeyAuth (settings:IConfiguration) services =
buildApiKeyAuth "api_key" services buildApiKeyAuth "api_key" services
raise (NotImplementedException("API key security scheme outside of header has not yet been implemented"))
let configureCookie (builder:AuthenticationBuilder) = let configureCookie (builder:AuthenticationBuilder) =

2
samples/server/petstore/fsharp-giraffe/OpenAPI/src/impl/CustomHandlers.fs
View File

@ -79,7 +79,6 @@ module CustomHandlers =
body [] [ body [] [
h1 [] [ str "Welcome" ] h1 [] [ str "Welcome" ]
a [_href "/login-with-api_key"] [ str "Login with api_key" ] a [_href "/login-with-api_key"] [ str "Login with api_key" ]
a [_href "/login-with-auth_cookie"] [ str "Login with auth_cookie" ]
a [_href "/login-with-petstore_auth"] [ str "Login with petstore_auth" ] a [_href "/login-with-petstore_auth"] [ str "Login with petstore_auth" ]
] ]
] ]
@ -93,7 +92,6 @@ module CustomHandlers =
choose [ choose [
route "/login" >=> redirectToLogin route "/login" >=> redirectToLogin
route "/login-with-api_key" >=> challenge "api_key" route "/login-with-api_key" >=> challenge "api_key"
route "/login-with-auth_cookie" >=> challenge "auth_cookie"
route "/login-with-petstore_auth" >=> challenge "petstore_auth" route "/login-with-petstore_auth" >=> challenge "petstore_auth"
route "/logout" >=> logout route "/logout" >=> logout
] ]

15
samples/server/petstore/fsharp-giraffe/OpenAPI/src/impl/PetApiService.fs
View File

@ -14,6 +14,10 @@ module PetApiServiceImplementation =
interface IPetApiService with interface IPetApiService with
member this.AddPet ctx args = member this.AddPet ctx args =
if true then
let content = "successful operation" :> obj :?> Pet // this cast is obviously wrong, and is only intended to allow generated project to compile
AddPetStatusCode200 { content = content }
else
let content = "Invalid input" let content = "Invalid input"
AddPetStatusCode405 { content = content } AddPetStatusCode405 { content = content }
@ -24,7 +28,7 @@ module PetApiServiceImplementation =
member this.FindPetsByStatus ctx args = member this.FindPetsByStatus ctx args =
if true then if true then
let content = "successful operation" :> obj :?> Pet[] // this cast is obviously wrong, and is only intended to allow generated project to compile let content = "successful operation" :> obj :?> Pet[] // this cast is obviously wrong, and is only intended to allow generated project to compile
FindPetsByStatusDefaultStatusCode { content = content } FindPetsByStatusStatusCode200 { content = content }
else else
let content = "Invalid status value" let content = "Invalid status value"
FindPetsByStatusStatusCode400 { content = content } FindPetsByStatusStatusCode400 { content = content }
@ -32,7 +36,7 @@ module PetApiServiceImplementation =
member this.FindPetsByTags ctx args = member this.FindPetsByTags ctx args =
if true then if true then
let content = "successful operation" :> obj :?> Pet[] // this cast is obviously wrong, and is only intended to allow generated project to compile let content = "successful operation" :> obj :?> Pet[] // this cast is obviously wrong, and is only intended to allow generated project to compile
FindPetsByTagsDefaultStatusCode { content = content } FindPetsByTagsStatusCode200 { content = content }
else else
let content = "Invalid tag value" let content = "Invalid tag value"
FindPetsByTagsStatusCode400 { content = content } FindPetsByTagsStatusCode400 { content = content }
@ -40,7 +44,7 @@ module PetApiServiceImplementation =
member this.GetPetById ctx args = member this.GetPetById ctx args =
if true then if true then
let content = "successful operation" :> obj :?> Pet // this cast is obviously wrong, and is only intended to allow generated project to compile let content = "successful operation" :> obj :?> Pet // this cast is obviously wrong, and is only intended to allow generated project to compile
GetPetByIdDefaultStatusCode { content = content } GetPetByIdStatusCode200 { content = content }
else if true then else if true then
let content = "Invalid ID supplied" let content = "Invalid ID supplied"
GetPetByIdStatusCode400 { content = content } GetPetByIdStatusCode400 { content = content }
@ -50,6 +54,9 @@ module PetApiServiceImplementation =
member this.UpdatePet ctx args = member this.UpdatePet ctx args =
if true then if true then
let content = "successful operation" :> obj :?> Pet // this cast is obviously wrong, and is only intended to allow generated project to compile
UpdatePetStatusCode200 { content = content }
else if true then
let content = "Invalid ID supplied" let content = "Invalid ID supplied"
UpdatePetStatusCode400 { content = content } UpdatePetStatusCode400 { content = content }
else if true then else if true then
@ -65,7 +72,7 @@ module PetApiServiceImplementation =
member this.UploadFile ctx args = member this.UploadFile ctx args =
let content = "successful operation" :> obj :?> ApiResponse // this cast is obviously wrong, and is only intended to allow generated project to compile let content = "successful operation" :> obj :?> ApiResponse // this cast is obviously wrong, and is only intended to allow generated project to compile
UploadFileDefaultStatusCode { content = content } UploadFileStatusCode200 { content = content }
//#endregion //#endregion

6
samples/server/petstore/fsharp-giraffe/OpenAPI/src/impl/StoreApiService.fs
View File

@ -23,12 +23,12 @@ module StoreApiServiceImplementation =
member this.GetInventory ctx = member this.GetInventory ctx =
let content = "successful operation" :> obj :?> IDictionary<string, int> // this cast is obviously wrong, and is only intended to allow generated project to compile let content = "successful operation" :> obj :?> IDictionary<string, int> // this cast is obviously wrong, and is only intended to allow generated project to compile
GetInventoryDefaultStatusCode { content = content } GetInventoryStatusCode200 { content = content }
member this.GetOrderById ctx args = member this.GetOrderById ctx args =
if true then if true then
let content = "successful operation" :> obj :?> Order // this cast is obviously wrong, and is only intended to allow generated project to compile let content = "successful operation" :> obj :?> Order // this cast is obviously wrong, and is only intended to allow generated project to compile
GetOrderByIdDefaultStatusCode { content = content } GetOrderByIdStatusCode200 { content = content }
else if true then else if true then
let content = "Invalid ID supplied" let content = "Invalid ID supplied"
GetOrderByIdStatusCode400 { content = content } GetOrderByIdStatusCode400 { content = content }
@ -39,7 +39,7 @@ module StoreApiServiceImplementation =
member this.PlaceOrder ctx args = member this.PlaceOrder ctx args =
if true then if true then
let content = "successful operation" :> obj :?> Order // this cast is obviously wrong, and is only intended to allow generated project to compile let content = "successful operation" :> obj :?> Order // this cast is obviously wrong, and is only intended to allow generated project to compile
PlaceOrderDefaultStatusCode { content = content } PlaceOrderStatusCode200 { content = content }
else else
let content = "Invalid Order" let content = "Invalid Order"
PlaceOrderStatusCode400 { content = content } PlaceOrderStatusCode400 { content = content }

4
samples/server/petstore/fsharp-giraffe/OpenAPI/src/impl/UserApiService.fs
View File

@ -35,7 +35,7 @@ module UserApiServiceImplementation =
member this.GetUserByName ctx args = member this.GetUserByName ctx args =
if true then if true then
let content = "successful operation" :> obj :?> User // this cast is obviously wrong, and is only intended to allow generated project to compile let content = "successful operation" :> obj :?> User // this cast is obviously wrong, and is only intended to allow generated project to compile
GetUserByNameDefaultStatusCode { content = content } GetUserByNameStatusCode200 { content = content }
else if true then else if true then
let content = "Invalid username supplied" let content = "Invalid username supplied"
GetUserByNameStatusCode400 { content = content } GetUserByNameStatusCode400 { content = content }
@ -46,7 +46,7 @@ module UserApiServiceImplementation =
member this.LoginUser ctx args = member this.LoginUser ctx args =
if true then if true then
let content = "successful operation" :> obj :?> string // this cast is obviously wrong, and is only intended to allow generated project to compile let content = "successful operation" :> obj :?> string // this cast is obviously wrong, and is only intended to allow generated project to compile
LoginUserDefaultStatusCode { content = content } LoginUserStatusCode200 { content = content }
else else
let content = "Invalid username/password supplied" let content = "Invalid username/password supplied"
LoginUserStatusCode400 { content = content } LoginUserStatusCode400 { content = content }