Updated ArkType (#13)

MynthAI · Sep 12, 2024 · ea04031 · ea04031
1 parent 0cad993
commit ea04031
Show file tree

Hide file tree

Showing 5 changed files with 28 additions and 19 deletions.
diff --git a/.github/workflows/aiken.yml b/.github/workflows/aiken.yml
@@ -18,7 +18,7 @@ jobs:
       - name: Install Aiken
         run: |
           curl -sSfL https://install.aiken-lang.org | bash
-          ~/.aiken/bin/aikup
+          ~/.aiken/bin/aikup install v1.0.29-alpha
           sudo ln -s ~/.aiken/bin/aiken /usr/local/bin/aiken
 
       - name: Run tests

diff --git a/aiken.toml b/aiken.toml
@@ -1,4 +1,5 @@
 name = "sundae/mint-chocolate-chip"
+compiler = "v1.0.29-alpha"
 version = "0.0.0"
 license = "Apache-2.0"
 description = "Aiken contracts for project 'sundae/mint-chocolate-chip'"

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -20,7 +20,7 @@
   },
   "dependencies": {
     "@lucid-evolution/lucid": "^0.3.11",
-    "arktype": "^2.0.0-dev.26",
+    "arktype": "^2.0.0-rc.6",
     "cardano-ts": "^0.2.0",
     "commander": "^12.1.0",
     "es-toolkit": "^1.16.0",

diff --git a/src/inputs.ts b/src/inputs.ts
@@ -1,7 +1,15 @@
 import { fromText } from "@lucid-evolution/lucid";
-import { type, Type } from "arktype";
+import { type } from "arktype";
 
-const validate = <T, U>(validator: Type<T, U>, data: unknown) => {
+type AnyType = {
+  (data: unknown): unknown;
+  infer: unknown;
+};
+
+const validate = <T extends AnyType>(
+  validator: T,
+  data: unknown
+): T["infer"] => {
   const result = validator(data);
   if (result instanceof type.errors) return logThenExit(result.summary);
   return result;