Add property tests for Tuples

.github/workflows/test.yml

@@ -148,6 +148,7 @@ jobs:
                     "property_tests/tests/principal",
                     "property_tests/tests/record",
                     "property_tests/tests/text",
+                    "property_tests/tests/tuple",
                     "property_tests/tests/variant",
                     "property_tests/tests/vec"
                   ]

property_tests/arbitraries/candid/constructed/tuple_arb.ts

@@ -0,0 +1,29 @@
+import fc from 'fast-check';
+
+import { Candid, CandidType, CandidTypeArb } from '..';
+import { UniqueIdentifierArb } from '../../unique_identifier_arb';
+
+export type Tuple = CandidType[];
+
+export const TupleArb = fc
+    .tuple(UniqueIdentifierArb('typeDeclaration'), fc.array(CandidTypeArb))
+    .map(([name, fields]): Candid<Tuple> => {
+        const innerTypes = fields.map((field) => field.src.candidType);
+
+        const typeDeclaration = `const ${name} = Tuple(${innerTypes.join(
+            ', '
+        )});`;
+
+        const imports = new Set([...innerTypes, 'Tuple']);
+
+        const value = fields.map((field) => field.value);
+
+        return {
+            src: {
+                candidType: name,
+                typeDeclaration,
+                imports
+            },
+            value
+        };
+    });

property_tests/arbitraries/candid/index.ts

@@ -21,6 +21,8 @@ export type Candid<T> = {
     };
 };
 
+export type CandidType = number | bigint | null;
+
 /**
  * An arbitrary representing all possible Candid types.
  *

property_tests/tests/tuple/dfx.json

@@ -0,0 +1,16 @@
+{
+    "canisters": {
+        "canister": {
+            "type": "custom",
+            "main": "src/index.ts",
+            "candid": "src/index.did",
+            "build": "npx azle canister",
+            "wasm": ".azle/canister/canister.wasm",
+            "gzip": true,
+            "declarations": {
+                "output": "test/dfx_generated/canister",
+                "node_compatibility": true
+            }
+        }
+    }
+}