"Vererbung" der Instanz des umschlossenen Typs

8

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":

%Vor%

Gibt es eine kürzere Möglichkeit, diese Beziehung zwischen RijndaelField und Word8 auszudrücken?

    
Snowball 09.12.2013, 22:00
quelle

1 Antwort

12

Wenn Sie keine ADTs oder Datensatztypen benötigen, können Sie stattdessen newtype mit GeneralizedNewtypeDeriving :

verwenden %Vor%

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

    
bheklilr 09.12.2013, 22:04
quelle

Tags und Links