SizedOps

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. def ++[B >: A, That, M <: Nat](that: Sized[That, M] { type A = B })(implicit sum: Sum[L, M], cbf: CanBuildFrom[Repr, B, That], convThat: (That) ⇒ GenTraversableLike[B, That]): Sized[That, Out] { type A = B }

   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.

5. def +:(elem: A)(implicit cbf: CanBuildFrom[Repr, A, Repr]): Sized[Repr, Succ[L]] { type A = A }

   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.

6. def :+(elem: A)(implicit cbf: CanBuildFrom[Repr, A, Repr]): Sized[Repr, Succ[L]] { type A = A }

   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.

7. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

8. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

9. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

10. def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

11. def drop[M <: Nat](m: M)(implicit diff: Diff[L, M], ev: ToInt[M]): Sized[Repr, Out] { type A = A }

    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.

12. def drop[M <: Nat](implicit diff: Diff[L, M], ev: ToInt[M]): Sized[Repr, Out] { type A = A }

    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.

13. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

14. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

15. def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

16. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

17. def hashCode(): Int

    Definition Classes

    AnyRef → Any

18. def head(implicit ev: <[_0, L]): A

    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.

19. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

20. def map[B, That](f: (A) ⇒ B)(implicit cbf: CanBuildFrom[Repr, B, That]): Sized[That, L] { type A = B }

    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.

21. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

22. final def notify(): Unit

    Definition Classes

    AnyRef

23. final def notifyAll(): Unit

    Definition Classes

    AnyRef

24. def splitAt[M <: Nat](m: M)(implicit diff: Diff[L, M], ev: ToInt[M]): (Sized[Repr, M] { type A = A }, Sized[Repr, Out] { type A = A })

    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.

25. def splitAt[M <: Nat](implicit diff: Diff[L, M], ev: ToInt[M]): (Sized[Repr, M] { type A = A }, Sized[Repr, Out] { type A = A })

    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.

26. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

27. def tail(implicit pred: Pred[L]): Sized[Repr, Out] { type A = A }

    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.

28. def take[M <: Nat](m: M)(implicit diff: Diff[L, M], ev: ToInt[M]): Sized[Repr, M] { type A = A }

    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.

29. def take[M <: Nat](implicit diff: Diff[L, M], ev: ToInt[M]): Sized[Repr, M] { type A = A }

    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.

30. def toString(): String

    Definition Classes

    AnyRef → Any

31. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

32. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

33. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()