From 6c6f92cdda0b1f2cd62d7975de8d1e0203ae2e7d Mon Sep 17 00:00:00 2001
From: monabot <monabot@monada.co>
Date: Sun, 5 Nov 2023 15:04:15 +0000
Subject: [PATCH] feat(docs): update docs

Updates the Wing docs. See details in [workflow run].

[Workflow Run]: https://github.com/winglang/docsite/actions/runs/6762067941

------

*Automatically created via the "update-docs" workflow*

Signed-off-by: monabot <monabot@monada.co>
---
 .../04-standard-library/01-cloud/bucket.md    | 28 +++++++++++++++++++
 .../compatibility/compatibility.json          |  6 ++--
 2 files changed, 31 insertions(+), 3 deletions(-)

diff --git a/versioned_docs/version-latest/04-standard-library/01-cloud/bucket.md b/versioned_docs/version-latest/04-standard-library/01-cloud/bucket.md
index 224a1f1e7..5665b2105 100644
--- a/versioned_docs/version-latest/04-standard-library/01-cloud/bucket.md
+++ b/versioned_docs/version-latest/04-standard-library/01-cloud/bucket.md
@@ -161,6 +161,7 @@ new cloud.Bucket(props?: BucketProps);
 
 | **Name** | **Description** |
 | --- | --- |
+| <code><a href="#@winglang/sdk.cloud.IBucketClient.copy">copy</a></code> | Copy an object to a new location in the bucket. |
 | <code><a href="#@winglang/sdk.cloud.IBucketClient.delete">delete</a></code> | Delete an existing object using a key from the bucket. |
 | <code><a href="#@winglang/sdk.cloud.IBucketClient.exists">exists</a></code> | Check if an object exists in the bucket. |
 | <code><a href="#@winglang/sdk.cloud.IBucketClient.get">get</a></code> | Retrieve an object from the bucket. |
@@ -314,6 +315,33 @@ Run an inflight whenever a file is updated in the bucket.
 
 ---
 
+##### `copy` <a name="copy" id="@winglang/sdk.cloud.IBucketClient.copy"></a>
+
+```wing
+inflight copy(srcKey: str, dstKey: str): void
+```
+
+Copy an object to a new location in the bucket.
+
+If the destination object
+already exists, it will be overwritten. Returns once the copying is finished.
+
+###### `srcKey`<sup>Required</sup> <a name="srcKey" id="@winglang/sdk.cloud.IBucketClient.copy.parameter.srcKey"></a>
+
+- *Type:* str
+
+The key of the source object you wish to copy.
+
+---
+
+###### `dstKey`<sup>Required</sup> <a name="dstKey" id="@winglang/sdk.cloud.IBucketClient.copy.parameter.dstKey"></a>
+
+- *Type:* str
+
+The key of the destination object after copying.
+
+---
+
 ##### `delete` <a name="delete" id="@winglang/sdk.cloud.IBucketClient.delete"></a>
 
 ```wing
diff --git a/versioned_docs/version-latest/04-standard-library/compatibility/compatibility.json b/versioned_docs/version-latest/04-standard-library/compatibility/compatibility.json
index 869a0cfb5..46bfbb9bf 100644
--- a/versioned_docs/version-latest/04-standard-library/compatibility/compatibility.json
+++ b/versioned_docs/version-latest/04-standard-library/compatibility/compatibility.json
@@ -127,11 +127,11 @@
       "awscdk": { "implemented": false }
     },
     "copy": {
-      "sim": { "implemented": false, "issue": 4395 },
-      "tf-aws": { "implemented": false, "issue": 4396 },
+      "sim": { "implemented": true },
+      "tf-aws": { "implemented": true },
       "tf-azure": { "implemented": false, "issue": 4397 },
       "tf-gcp": { "implemented": false, "issue": 4398 },
-      "awscdk": { "implemented": false, "issue": 4396 }
+      "awscdk": { "implemented": true }
     },
     "list": {
       "sim": { "implemented": true },