Append the argument collection to this collection.
Append the argument collection to this collection. The resulting collection will be statically known to have m+n elements.
Prepend the argument element to this collection.
Prepend the argument element to this collection. The resulting collection will be statically known to have a size one greater than this collection.
Append the argument element to this collection.
Append the argument element to this collection. The resulting collection will be statically known to have a size one greater than this collection.
Returns the nth element of this Sized
.
Returns the nth element of this Sized
. Available only if there is evidence that this Sized
has at least n
elements.
Returns the nth element of this Sized
.
Returns the nth element of this Sized
. Available only if there is evidence that this Sized
has at least n
elements.
Returns the nth element of this Sized
.
Returns the nth element of this Sized
. Available only if there is evidence that this Sized
has at least n
elements.
Returns the nth element of this Sized
.
Returns the nth element of this Sized
. Available only if there is evidence that this Sized
has at least n
elements.
Returns all but the first m elements of this collection.
Returns all but the first m elements of this collection. Available only if there is evidence that this collection has at least m elements. The resulting collection will be statically known to have m less elements than this collection.
Returns all but the first m elements of this collection.
Returns all but the first m elements of this collection. An explicit type argument must be provided. Available only if there is evidence that this collection has at least m elements. The resulting collection will be statically known to have m less elements than this collection.
Returns the head of this collection.
Returns the head of this collection. Available only if there is evidence that this collection has at least one element.
Map across this collection.
Map across this collection. The resulting collection will be statically known to have the same number of elements as this collection.
Splits this collection at the mth element, returning the prefix and suffix as a pair.
Splits this collection at the mth element, returning the prefix and suffix as a pair. Available only if there is evidence that this collection has at least m elements. The resulting collections will be statically know to have m and n-m elements respectively.
Splits this collection at the mth element, returning the prefix and suffix as a pair.
Splits this collection at the mth element, returning the prefix and suffix as a pair. An explicit type argument must be provided. Available only if there is evidence that this collection has at least m elements. The resulting collections will be statically know to have m and n-m elements respectively.
Returns the tail of this collection.
Returns the tail of this collection. Available only if there is evidence that this collection has at least one element.
Returns the first m elements of this collection.
Returns the first m elements of this collection. Available only if there is evidence that this collection has at least m elements. The resulting collection will be statically known to have m elements.
Returns the first m elements of this collection.
Returns the first m elements of this collection. An explicit type argument must be provided. Available only if there is evidence that this collection has at least m elements. The resulting collection will be statically known to have m elements.
Converts this Sized
to an HList
whose elements have the same type as in Repr
.
Converts this Sized
to a tuple whose elements have the same type as in Repr
.
Carrier for
Sized
operations.These operations are implemented here as extension methods of the minimal
Sized
type to avoid issues that would otherwise be caused by its covariance.