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%