Remove the custom inputs data structure from the codebase

anoma · Dec 18, 2024 · 1793a69 · 1793a69
1 parent 15a07cc
commit 1793a69
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 76 deletions.
diff --git a/Anoma/Transaction.juvix b/Anoma/Transaction.juvix
@@ -2,5 +2,4 @@ module Anoma.Transaction;
 
 import Anoma.Transaction.Action open public;
 import Anoma.Transaction.AppData open public;
-import Anoma.Transaction.CustomInputs open public;
 import Anoma.Transaction.Object open public;
diff --git a/Anoma/Transaction/CustomInputs.juvix b/Anoma/Transaction/CustomInputs.juvix
diff --git a/Applib/Helpers.juvix b/Applib/Helpers.juvix
@@ -47,12 +47,6 @@ isNullifierPresent
   (nullifier : Nullifier) (nullifierSet : Set Nullifier) : Bool :=
   Set.isMember nullifier nullifierSet;
 
-lookupResource {A} (key : A) (customInputs : CustomInputs) : Maybe Resource :=
-  lookupCustomInputs@{
-    key;
-    customInputs;
-  };
-
 toAppDataEntry
   {Key Data : Type}
   (key : Key)
@@ -67,19 +61,6 @@ toAppDataEntry
         data := anomaEncode data;
         deletionCriterion;
       };
-
-toCustomInputsEntry
-  {Key Value : Type}
-  (key : Key)
-  (value : Value)
-  : Pair CustomInputsKey CustomInputsValue :=
-  mkCustomInputsKey@{
-    unCustomInputsKey := anomaEncode key;
-  }
-    , mkCustomInputsValue@{
-        unCustomInputsValue := anomaEncode value;
-      };
-
 --- Standard inputs to for transaction functions.
 --- NOTE: In the future, this will include more settings such as the information flow control flag.
 type StandardInputs :=
@@ -89,12 +70,6 @@ type StandardInputs :=
     randSeed : RandSeed;
   };
 
-type TagsAndCustomInputs :=
-  mkTagsAndCustomInputs@{
-    tags : List Tag;
-    customInputs : CustomInputs;
-  };
-
 mkActionHelper
   (consumed created : List Resource) {app-data : Nat := 0} : Action :=
   let