this repo has no description
at master 101 lines 2.4 kB view raw
1// Code generated by cuelang.org/go/pkg/gen. DO NOT EDIT. 2 3// Package http provides tasks related to the HTTP protocol. 4// 5// These are the supported tasks: 6// 7// Get: Do & {method: "GET"} 8// Post: Do & {method: "POST"} 9// Put: Do & {method: "PUT"} 10// Delete: Do & {method: "DELETE"} 11// 12// Do: { 13// $id: _id 14// _id: *"tool/http.Do" | "http" // http for backwards compatibility 15// 16// method: string 17// url: string // TODO: make url.URL type 18// 19// // followRedirects controls whether the http client follows redirects 20// // or not. Defaults to true, like the default net/http client in Go. 21// followRedirects: *true | bool 22// 23// tls: { 24// // Whether the server certificate must be validated. 25// verify: *true | bool 26// // PEM encoded certificate(s) to validate the server certificate. 27// // If not set the CA bundle of the system is used. 28// caCert?: bytes | string 29// } 30// 31// request: { 32// body?: bytes | string 33// header: [string]: string | [...string] 34// trailer: [string]: string | [...string] 35// } 36// response: { 37// status: string 38// statusCode: int 39// 40// body: *bytes | string 41// header: [string]: string | [...string] 42// trailer: [string]: string | [...string] 43// } 44// } 45// 46// // TODO: support serving once we have the cue serve command. 47// // Serve: { 48// // port: int 49// // 50// // cert: string 51// // key: string 52// // 53// // handle: [Pattern=string]: Message & { 54// // pattern: Pattern 55// // } 56// // } 57package http 58 59import ( 60 "cuelang.org/go/internal/core/adt" 61 "cuelang.org/go/internal/pkg" 62) 63 64func init() { 65 pkg.Register("tool/http", p) 66} 67 68var _ = adt.TopKind // in case the adt package isn't used 69 70var p = &pkg.Package{ 71 Native: []*pkg.Builtin{}, 72 CUE: `{ 73 Get: Do & {method: "GET"} 74 Post: Do & {method: "POST"} 75 Put: Do & {method: "PUT"} 76 Delete: Do & {method: "DELETE"} 77 Do: { 78 $id: _id 79 _id: *"tool/http.Do" | "http" 80 method: string 81 url: string 82 followRedirects: *true | bool 83 tls: { 84 verify: *true | bool 85 caCert?: bytes | string 86 } 87 request: { 88 body?: bytes | string 89 header: [string]: string | [...string] 90 trailer: [string]: string | [...string] 91 } 92 response: { 93 status: string 94 statusCode: int 95 body: *bytes | string 96 header: [string]: string | [...string] 97 trailer: [string]: string | [...string] 98 } 99 } 100}`, 101}