Shapeless kann das für Seqs tun:
%Vor% Der an .size übergebene Parameter sollte Literal(Constant(n: Int)) sein, so dass Sie keine Variablen oder Ausdrücke übergeben können.
Es ist auch möglich, ein Array in ein paar IndexedSeq ( .toSeq ) zu konvertieren, wie zum Beispiel Vector ( .toVector )
Sie können auch einige akzeptierbare Größen mit dem Typ disjunction angeben:
%Vor%Maximum-N Einschränkung (von @DougC und @Miles Sabin):
%Vor%