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}