add missing object function (#118)

initia-labs · Aug 26, 2024 · 9100f94 · 9100f94
1 parent da7d256
commit 9100f94
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 0 deletions.
diff --git a/precompile/binaries/minlib/object.mv b/precompile/binaries/minlib/object.mv
diff --git a/precompile/binaries/stdlib/object.mv b/precompile/binaries/stdlib/object.mv
diff --git a/precompile/modules/initia_stdlib/sources/object.move b/precompile/modules/initia_stdlib/sources/object.move
@@ -178,6 +178,11 @@ module initia_std::object {
         exists<ObjectCore>(object)
     }
 
+    /// Returns true if there exists an object with resource T.
+    public fun object_exists<T: key>(object: address): bool {
+        exists<ObjectCore>(object) && exists_at<T>(object)
+    }
+
     /// Derives an object address from source material: sha3_256([creator address | seed | 0xFE]).
     public fun create_object_address(source: &address, seed: vector<u8>): address {
         let bytes = bcs::to_bytes(source);

diff --git a/precompile/modules/minitia_stdlib/sources/object.move b/precompile/modules/minitia_stdlib/sources/object.move
@@ -178,6 +178,11 @@ module minitia_std::object {
         exists<ObjectCore>(object)
     }
 
+    /// Returns true if there exists an object with resource T.
+    public fun object_exists<T: key>(object: address): bool {
+        exists<ObjectCore>(object) && exists_at<T>(object)
+    }
+
     /// Derives an object address from source material: sha3_256([creator address | seed | 0xFE]).
     public fun create_object_address(source: &address, seed: vector<u8>): address {
         let bytes = bcs::to_bytes(source);