Ich habe einen Typ, der grundsätzlich als ein Tag für einen anderen Datentyp fungiert:
%Vor% Ich möchte RijndaelField
die Word8
-Instanz von Bits
so einfach wie möglich "erben":
Gibt es eine kürzere Möglichkeit, diese Beziehung zwischen RijndaelField
und Word8
auszudrücken?
Wenn Sie keine ADTs oder Datensatztypen benötigen, können Sie stattdessen newtype
mit GeneralizedNewtypeDeriving
:
Wenn Sie wirklich wollen, können Sie viele andere Klassen hinzufügen
%Vor%Damit können Sie es als
verwenden %Vor%Was ich denke, es ist ziemlich praktisch