Add StrAlias typeclass

B-Lang-org · Jan 10, 2025 · 0c7cab2 · 0c7cab2
1 parent b61fa89
commit 0c7cab2
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/src/Libraries/Base1/PreludeBSV.bsv b/src/Libraries/Base1/PreludeBSV.bsv
@@ -1112,7 +1112,7 @@ endfunction: lcm
 
 // =========================
 
-// Alias and NumAlias
+// Alias, NumAlias and StrAlias
 
 typeclass Alias#(type a, type b)
    dependencies (a determines b,
@@ -1130,6 +1130,14 @@ endtypeclass
 instance NumAlias#(a,a);
 endinstance
 
+typeclass StrAlias#(string type a, string type b)
+   dependencies (a determines b,
+                 b determines a);
+endtypeclass
+
+instance StrAlias#(a,a);
+endinstance
+
 // =========================
 
 // Saturation Modes