Skip to content

Commit 0c7cab2

Browse files
committed
Add StrAlias typeclass
1 parent b61fa89 commit 0c7cab2

File tree

1 file changed

+9
-1
lines changed

1 file changed

+9
-1
lines changed

src/Libraries/Base1/PreludeBSV.bsv

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1112,7 +1112,7 @@ endfunction: lcm
11121112

11131113
// =========================
11141114

1115-
// Alias and NumAlias
1115+
// Alias, NumAlias and StrAlias
11161116

11171117
typeclass Alias#(type a, type b)
11181118
dependencies (a determines b,
@@ -1130,6 +1130,14 @@ endtypeclass
11301130
instance NumAlias#(a,a);
11311131
endinstance
11321132

1133+
typeclass StrAlias#(string type a, string type b)
1134+
dependencies (a determines b,
1135+
b determines a);
1136+
endtypeclass
1137+
1138+
instance StrAlias#(a,a);
1139+
endinstance
1140+
11331141
// =========================
11341142

11351143
// Saturation Modes

0 commit comments

Comments
 (0)