feat: add label getters

anoma · Jul 4, 2024 · 00dd867 · 00dd867
1 parent ce95fd8
commit 00dd867
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/Token/Label.juvix b/Token/Label.juvix
@@ -6,6 +6,7 @@ import Anoma open;
 type Label :=
   mkLabel {
     name : Nat;
+    -- TODO This should become a ;String; once `natToString` is implemented.
     symbol : String;
     decimals : Nat
   };
@@ -21,3 +22,11 @@ Label-Eq : Eq Label :=
 
 getLabel (r : Resource) : Label :=
   anomaDecode (Resource.label r);
+
+getName (r : Resource) : Nat := Label.name (getLabel r);
+
+getSymbol (r : Resource) : String :=
+  Label.symbol (getLabel r);
+
+getDecimals (r : Resource) : Nat :=
+  Label.decimals (getLabel r);