SizedOps

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def ++[B >: A0, That, M <: Nat](that: Sized[That, M])(implicit sum: Sum[L, M], convThat: shapeless.IsRegularIterable[That] { type A = B }, cbf: shapeless.Factory[B, That], ev: AdditiveCollection[That]): Sized[That, Out]

   

   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.

4. def +:(elem: A0)(implicit cbf: shapeless.BuildFrom[Repr, A0, Repr]): Sized[Repr, Succ[L]]

   

   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.

5. def :+(elem: A0)(implicit cbf: shapeless.BuildFrom[Repr, A0, Repr]): Sized[Repr, Succ[L]]

   

   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.

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

   

   Definition Classes

   AnyRef → Any

7. def apply(n: Nat)(implicit diff: Diff[L, Succ[N]], ev: ToInt[N]): A0

   

   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.

8. def apply[N <: Nat](implicit diff: Diff[L, Succ[N]], ev: ToInt[N]): A0

   

   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.

9. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

10. def at(n: Nat)(implicit diff: Diff[L, Succ[N]], ev: ToInt[N]): A0

    

    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.

11. def at[N <: Nat](implicit diff: Diff[L, Succ[N]], ev: ToInt[N]): A0

    

    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.

12. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

13. def drop(m: Nat)(implicit diff: Diff[L, N], ev: ToInt[N]): Sized[Repr, Out]

    

    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.

14. def drop[M <: Nat](implicit diff: Diff[L, M], ev: ToInt[M]): Sized[Repr, Out]

    

    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.

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

    

    Definition Classes

    AnyRef

16. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    

    Definition Classes

    AnyRef → Any

19. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

20. def head(implicit ev: ops.nat.LT.<[Nat._0, L]): A0

    

    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.

21. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

22. def map[B, That](f: (A0) ⇒ B)(implicit cbf: shapeless.BuildFrom[Repr, B, That], ev: AdditiveCollection[That]): Sized[That, L]

    

    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.

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

    

    Definition Classes

    AnyRef

24. final def notify(): Unit

    

    Definition Classes

    AnyRef

25. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

26. def splitAt(m: Nat)(implicit diff: Diff[L, N], ev: ToInt[N]): (Sized[Repr, N], Sized[Repr, Out])

    

    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.

27. def splitAt[M <: Nat](implicit diff: Diff[L, M], ev: ToInt[M]): (Sized[Repr, M], Sized[Repr, Out])

    

    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.

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

    

    Definition Classes

    AnyRef

29. def tail(implicit pred: Pred[L]): Sized[Repr, Out]

    

    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.

30. def take(m: Nat)(implicit diff: Diff[L, N], ev: ToInt[N]): Sized[Repr, N]

    

    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.

31. def take[M <: Nat](implicit diff: Diff[L, M], ev: ToInt[M]): Sized[Repr, M]

    

    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.

32. def toHList(implicit hl: ToHList[Repr, L]): Out

    

    Converts this Sized to an HList whose elements have the same type as in Repr.

33. def toString(): String

    

    Definition Classes

    AnyRef → Any

34. def tupled[L0 <: HList, T](implicit hl: Aux[Repr, L, L0], t: ops.hlist.Tupler.Aux[L0, T]): T

    

    Converts this Sized to a tuple whose elements have the same type as in Repr.

35. def underlying: shapeless.IterableOps[A0, Iterable, Repr]

    

36. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )