Gleam SDK for Pocketenv
Format Gleam codebase
+100
-84
+3
-5
src/pocketenv.gleam
+3
-5
src/pocketenv.gleam
···
76
76
/// io.println(profile.handle)
77
77
/// ```
78
78
pub fn get_profile(client: Client) -> Result(Profile, PocketenvError) {
79
-
use body <- result.try(do_get(
80
-
client,
81
-
"/xrpc/io.pocketenv.actor.getProfile",
82
-
[],
83
-
))
79
+
use body <- result.try(
80
+
do_get(client, "/xrpc/io.pocketenv.actor.getProfile", []),
81
+
)
84
82
json.parse(body, profile_decoder())
85
83
|> result.map_error(JsonDecodeError)
86
84
}
+18
-11
src/pocketenv/env.gleam
+18
-11
src/pocketenv/env.gleam
···
67
67
value: String,
68
68
) -> Result(Nil, PocketenvError) {
69
69
let body =
70
-
json.to_string(json.object([
71
-
#(
72
-
"variable",
73
-
json.object([
74
-
#("sandboxId", json.string(sandbox_id)),
75
-
#("name", json.string(name)),
76
-
#("value", json.string(value)),
77
-
]),
78
-
),
79
-
]))
70
+
json.to_string(
71
+
json.object([
72
+
#(
73
+
"variable",
74
+
json.object([
75
+
#("sandboxId", json.string(sandbox_id)),
76
+
#("name", json.string(name)),
77
+
#("value", json.string(value)),
78
+
]),
79
+
),
80
+
]),
81
+
)
80
82
use _ <- result.try(do_post(
81
83
client,
82
84
"/xrpc/io.pocketenv.variable.addVariable",
···
103
105
use name <- decode.field("name", decode.string)
104
106
use value <- decode.field("value", decode.string)
105
107
use created_at <- decode.field("createdAt", decode.string)
106
-
decode.success(Variable(id: id, name: name, value: value, created_at: created_at))
108
+
decode.success(Variable(
109
+
id: id,
110
+
name: name,
111
+
value: value,
112
+
created_at: created_at,
113
+
))
107
114
}
+17
-15
src/pocketenv/files.gleam
+17
-15
src/pocketenv/files.gleam
···
25
25
client: Client,
26
26
sandbox_id: String,
27
27
) -> Result(List(File), PocketenvError) {
28
-
use body <- result.try(do_get(
29
-
client,
30
-
"/xrpc/io.pocketenv.file.getFiles",
31
-
[#("sandboxId", sandbox_id)],
32
-
))
28
+
use body <- result.try(
29
+
do_get(client, "/xrpc/io.pocketenv.file.getFiles", [
30
+
#("sandboxId", sandbox_id),
31
+
]),
32
+
)
33
33
json.parse(body, {
34
34
use files <- decode.field("files", decode.list(file_decoder()))
35
35
decode.success(files)
···
51
51
content: String,
52
52
) -> Result(Nil, PocketenvError) {
53
53
let body =
54
-
json.to_string(json.object([
55
-
#(
56
-
"file",
57
-
json.object([
58
-
#("sandboxId", json.string(sandbox_id)),
59
-
#("path", json.string(path)),
60
-
#("content", json.string(content)),
61
-
]),
62
-
),
63
-
]))
54
+
json.to_string(
55
+
json.object([
56
+
#(
57
+
"file",
58
+
json.object([
59
+
#("sandboxId", json.string(sandbox_id)),
60
+
#("path", json.string(path)),
61
+
#("content", json.string(content)),
62
+
]),
63
+
),
64
+
]),
65
+
)
64
66
use _ <- result.try(do_post(
65
67
client,
66
68
"/xrpc/io.pocketenv.file.addFile",
+5
-5
src/pocketenv/network.gleam
+5
-5
src/pocketenv/network.gleam
···
99
99
client: Client,
100
100
sandbox_id: String,
101
101
) -> Result(Option(String), PocketenvError) {
102
-
use body <- result.try(do_get(
103
-
client,
104
-
"/xrpc/io.pocketenv.sandbox.getTailscaleAuthKey",
105
-
[#("id", sandbox_id)],
106
-
))
102
+
use body <- result.try(
103
+
do_get(client, "/xrpc/io.pocketenv.sandbox.getTailscaleAuthKey", [
104
+
#("id", sandbox_id),
105
+
]),
106
+
)
107
107
json.parse(body, {
108
108
use key <- decode.optional_field(
109
109
"tailscaleAuthKey",
+10
-6
src/pocketenv/ports.gleam
+10
-6
src/pocketenv/ports.gleam
···
24
24
client: Client,
25
25
sandbox_id: String,
26
26
) -> Result(List(Port), PocketenvError) {
27
-
use body <- result.try(do_get(
28
-
client,
29
-
"/xrpc/io.pocketenv.sandbox.getExposedPorts",
30
-
[#("id", sandbox_id)],
31
-
))
27
+
use body <- result.try(
28
+
do_get(client, "/xrpc/io.pocketenv.sandbox.getExposedPorts", [
29
+
#("id", sandbox_id),
30
+
]),
31
+
)
32
32
json.parse(body, {
33
33
use ports <- decode.field("ports", decode.list(port_decoder()))
34
34
decode.success(ports)
···
49
49
None,
50
50
decode.optional(decode.string),
51
51
)
52
-
decode.success(Port(port: port, description: description, preview_url: preview_url))
52
+
decode.success(Port(
53
+
port: port,
54
+
description: description,
55
+
preview_url: preview_url,
56
+
))
53
57
}
+12
-10
src/pocketenv/secrets.gleam
+12
-10
src/pocketenv/secrets.gleam
···
67
67
value: String,
68
68
) -> Result(Nil, PocketenvError) {
69
69
let body =
70
-
json.to_string(json.object([
71
-
#(
72
-
"secret",
73
-
json.object([
74
-
#("sandboxId", json.string(sandbox_id)),
75
-
#("name", json.string(name)),
76
-
#("value", json.string(value)),
77
-
]),
78
-
),
79
-
]))
70
+
json.to_string(
71
+
json.object([
72
+
#(
73
+
"secret",
74
+
json.object([
75
+
#("sandboxId", json.string(sandbox_id)),
76
+
#("name", json.string(name)),
77
+
#("value", json.string(value)),
78
+
]),
79
+
),
80
+
]),
81
+
)
80
82
use _ <- result.try(do_post(
81
83
client,
82
84
"/xrpc/io.pocketenv.secret.addSecret",
+18
-17
src/pocketenv/services.gleam
+18
-17
src/pocketenv/services.gleam
···
36
36
client: Client,
37
37
sandbox_id: String,
38
38
) -> Result(List(Service), PocketenvError) {
39
-
use body <- result.try(do_get(
40
-
client,
41
-
"/xrpc/io.pocketenv.service.getServices",
42
-
[#("sandboxId", sandbox_id)],
43
-
))
39
+
use body <- result.try(
40
+
do_get(client, "/xrpc/io.pocketenv.service.getServices", [
41
+
#("sandboxId", sandbox_id),
42
+
]),
43
+
)
44
44
json.parse(body, {
45
45
use services <- decode.field("services", decode.list(service_decoder()))
46
46
decode.success(services)
···
79
79
None -> service_fields
80
80
}
81
81
let service_fields = case description {
82
-
Some(d) ->
83
-
list.append(service_fields, [#("description", json.string(d))])
82
+
Some(d) -> list.append(service_fields, [#("description", json.string(d))])
84
83
None -> service_fields
85
84
}
86
85
let body =
···
95
94
}
96
95
97
96
/// Starts the service identified by `service_id`.
98
-
pub fn start(
99
-
client: Client,
100
-
service_id: String,
101
-
) -> Result(Nil, PocketenvError) {
97
+
pub fn start(client: Client, service_id: String) -> Result(Nil, PocketenvError) {
102
98
use _ <- result.try(do_post(
103
99
client,
104
100
"/xrpc/io.pocketenv.service.startService",
···
134
130
}
135
131
136
132
/// Deletes the service identified by `service_id`.
137
-
pub fn delete(
138
-
client: Client,
139
-
service_id: String,
140
-
) -> Result(Nil, PocketenvError) {
133
+
pub fn delete(client: Client, service_id: String) -> Result(Nil, PocketenvError) {
141
134
use _ <- result.try(do_post(
142
135
client,
143
136
"/xrpc/io.pocketenv.service.deleteService",
···
152
145
use id <- decode.field("id", decode.string)
153
146
use name <- decode.field("name", decode.string)
154
147
use command <- decode.field("command", decode.string)
155
-
use ports <- decode.optional_field("ports", None, decode.optional(decode.list(decode.int)))
156
-
use description <- decode.optional_field("description", None, decode.optional(decode.string))
148
+
use ports <- decode.optional_field(
149
+
"ports",
150
+
None,
151
+
decode.optional(decode.list(decode.int)),
152
+
)
153
+
use description <- decode.optional_field(
154
+
"description",
155
+
None,
156
+
decode.optional(decode.string),
157
+
)
157
158
use status <- decode.field("status", decode.string)
158
159
use created_at <- decode.field("createdAt", decode.string)
159
160
decode.success(Service(
+17
-15
src/pocketenv/volume.gleam
+17
-15
src/pocketenv/volume.gleam
···
25
25
client: Client,
26
26
sandbox_id: String,
27
27
) -> Result(List(Volume), PocketenvError) {
28
-
use body <- result.try(do_get(
29
-
client,
30
-
"/xrpc/io.pocketenv.volume.getVolumes",
31
-
[#("sandboxId", sandbox_id)],
32
-
))
28
+
use body <- result.try(
29
+
do_get(client, "/xrpc/io.pocketenv.volume.getVolumes", [
30
+
#("sandboxId", sandbox_id),
31
+
]),
32
+
)
33
33
json.parse(body, {
34
34
use volumes <- decode.field("volumes", decode.list(volume_decoder()))
35
35
decode.success(volumes)
···
51
51
path: String,
52
52
) -> Result(Nil, PocketenvError) {
53
53
let body =
54
-
json.to_string(json.object([
55
-
#(
56
-
"volume",
57
-
json.object([
58
-
#("sandboxId", json.string(sandbox_id)),
59
-
#("name", json.string(name)),
60
-
#("path", json.string(path)),
61
-
]),
62
-
),
63
-
]))
54
+
json.to_string(
55
+
json.object([
56
+
#(
57
+
"volume",
58
+
json.object([
59
+
#("sandboxId", json.string(sandbox_id)),
60
+
#("name", json.string(name)),
61
+
#("path", json.string(path)),
62
+
]),
63
+
),
64
+
]),
65
+
)
64
66
use _ <- result.try(do_post(
65
67
client,
66
68
"/xrpc/io.pocketenv.volume.addVolume",