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 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.
Carrier for
Sized
operations.These methods are implemented here and pimped onto the minimal
Sized
type to avoid issues that would otherwise be caused by its covariance.