hlist

Ich denke, ich brauche einen HList, der so eingeschränkt ist, dass alle seine Elemente ein Untertyp eines bestimmten Typs sind. LUBConstraint scheint das zu sein, was ich will, und tatsächlich beschränkt es die Konstruktion eines solchen H...

Angenommen, ich würde die generische Darstellung der Fallklasse wie beschrieben durchlaufen hier Ich habe eine Typklasse definiert, um Felder zu beschreiben: %Vor% Definierte eine Instanz: %Vor% Und allgemeiner Benutzer: %Vor% S...