Merge branch 'mariari/remove-resource-trait' into next

anoma · Dec 18, 2024 · 44d5b20 · 44d5b20
2 parents e281707 + 7317b9a
commit 44d5b20
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 185 deletions.
diff --git a/Applib.juvix b/Applib.juvix
@@ -5,5 +5,4 @@ import Applib.Helpers open public;
 import Applib.Identities open public;
 
 import Applib.Transaction as Transaction public;
-import Applib.Projection as Projection public;
 import Applib.Authorization as Authorization public;
diff --git a/Applib/Helpers.juvix b/Applib/Helpers.juvix
@@ -12,8 +12,6 @@ import Anoma.Builtin.ByteArray open;
 import Anoma.Builtin.System open;
 import BaseLayer.ResourceMachine as BaseLayer;
 
-import Applib.Resource.Traits.Convertable open;
-
 findResourceByNullifier
   (nf : Nat) (privateInputs : BaseLayer.Witness) : Maybe Resource :=
   let

diff --git a/Applib/Projection.juvix b/Applib/Projection.juvix
diff --git a/Applib/Resource.juvix b/Applib/Resource.juvix
@@ -1,5 +1,4 @@
 module Applib.Resource;
 
-import Applib.Resource.Traits open public;
 import Applib.Transaction.Errors as Errors public;
 import Applib.Resource.Standards as Standards public;
diff --git a/Applib/Resource/Traits/Convertable.juvix b/Applib/Resource/Traits/Convertable.juvix
diff --git a/Applib/Resource/Traits/Ephemerality.juvix b/Applib/Resource/Traits/Ephemerality.juvix
diff --git a/Applib/Resource/Traits/Kind.juvix b/Applib/Resource/Traits/Kind.juvix
diff --git a/Applib/Resource/Traits/Label.juvix b/Applib/Resource/Traits/Label.juvix
diff --git a/Applib/Resource/Traits/NullifierKey.juvix b/Applib/Resource/Traits/NullifierKey.juvix
diff --git a/Applib/Resource/Traits/Originator.juvix b/Applib/Resource/Traits/Originator.juvix
diff --git a/Applib/Resource/Traits/Supply.juvix b/Applib/Resource/Traits/Supply.juvix
diff --git a/Applib/Resource/Traits/Transferability.juvix b/Applib/Resource/Traits/Transferability.juvix