Cons

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 &(that: List[T]): List[T]

   Definition Classes

   List

5. def ++(that: List[T]): List[T]

   Definition Classes

   List

   Annotations

   @function( term = "List.append" )

6. def -(e: T): List[T]

   Definition Classes

   List

   Annotations

   @function( term = "%xs x. removeAll x xs" )

7. def --(that: List[T]): List[T]

   Definition Classes

   List

8. def :+(t: T): List[T]

   Definition Classes

   List

   Annotations

   @function( term = "%xs x. xs @ [x]" )

9. def ::(t: T): List[T]

   Definition Classes

   List

   Annotations

   @function( term = "%xs x. x # xs" )

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

    Definition Classes

    AnyRef

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

    Definition Classes

    Any

12. def apply(index: BigInt): T

    Definition Classes

    List

    Annotations

    @fullBody()

13. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

14. def chunks(s: BigInt): List[List[T]]

    Definition Classes

    List

15. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

16. def contains(v: T): Boolean

    Definition Classes

    List

    Annotations

    @function( term = "List.member" )

17. def content: Set[T]

    Definition Classes

    List

    Annotations

    @function( term = "List.list.set" )

18. def count(p: (T) ⇒ Boolean): BigInt

    Definition Classes

    List

19. def drop(i: BigInt): List[T]

    Definition Classes

    List

20. def dropWhile(p: (T) ⇒ Boolean): List[T]

    Definition Classes

    List

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

    Definition Classes

    AnyRef

22. def evenSplit: (List[T], List[T])

    Definition Classes

    List

23. def exists(p: (T) ⇒ Boolean): Boolean

    Definition Classes

    List

    Annotations

    @function( term = "%xs P. List.list_ex P xs" )

24. def filter(p: (T) ⇒ Boolean): List[T]

    Definition Classes

    List

25. def filterNot(p: (T) ⇒ Boolean): List[T]

    Definition Classes

    List

26. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

27. def find(p: (T) ⇒ Boolean): Option[T]

    Definition Classes

    List

    Annotations

    @function( term = "%xs P. List.find P xs" )

28. def find(e: T): Option[BigInt]

    Definition Classes

    List

29. def flatMap[R](f: (T) ⇒ List[R]): List[R]

    Definition Classes

    List

    Annotations

    @function( term = "List.bind" )

30. def foldLeft[R](z: R)(f: (R, T) ⇒ R): R

    Definition Classes

    List

    Annotations

    @function( term = "%bs a f. List.foldl f a bs" )

31. def foldRight[R](z: R)(f: (T, R) ⇒ R): R

    Definition Classes

    List

    Annotations

    @function( term = "%as b f. List.foldr f as b" )

32. def forall(p: (T) ⇒ Boolean): Boolean

    Definition Classes

    List

    Annotations

    @function( term = "%xs P. List.list_all P xs" )

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

    Definition Classes

    AnyRef → Any

34. def groupBy[R](f: (T) ⇒ R): Map[R, List[T]]

    Definition Classes

    List

35. val h: T

36. def head: T

    Definition Classes

    List

37. def headOption: Option[T]

    Definition Classes

    List

38. def indexWhere(p: (T) ⇒ Boolean): BigInt

    Definition Classes

    List

39. def init: List[T]

    Definition Classes

    List

40. def insertAt(pos: BigInt, e: T): List[T]

    Definition Classes

    List

41. def insertAt(pos: BigInt, l: List[T]): List[T]

    Definition Classes

    List

42. def isEmpty: Boolean

    Definition Classes

    List

    Annotations

    @function( term = "List.null" )

43. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

44. def last: T

    Definition Classes

    List

45. def lastOption: Option[T]

    Definition Classes

    List

46. def length: BigInt

    Definition Classes

    List

47. def map[R](f: (T) ⇒ R): List[R]

    Definition Classes

    List

    Annotations

    @function( term = "%xs f. List.list.map f xs" )

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

    Definition Classes

    AnyRef

49. def nonEmpty: Boolean

    Definition Classes

    List

50. final def notify(): Unit

    Definition Classes

    AnyRef

51. final def notifyAll(): Unit

    Definition Classes

    AnyRef

52. def padTo(s: BigInt, e: T): List[T]

    Definition Classes

    List

53. def partition(p: (T) ⇒ Boolean): (List[T], List[T])

    Definition Classes

    List

54. def replace(from: T, to: T): List[T]

    Definition Classes

    List

55. def replaceAt(pos: BigInt, l: List[T]): List[T]

    Definition Classes

    List

56. def reverse: List[T]

    Definition Classes

    List

    Annotations

    @function( term = "List.rev" )

57. def rotate(s: BigInt): List[T]

    Definition Classes

    List

58. def scanLeft[R](z: R)(f: (R, T) ⇒ R): List[R]

    Definition Classes

    List

59. def scanRight[R](z: R)(f: (T, R) ⇒ R): List[R]

    Definition Classes

    List

60. def size: BigInt

    Definition Classes

    List

    Annotations

    @function( term = "Int.int o List.length" )

61. def slice(from: BigInt, to: BigInt): List[T]

    Definition Classes

    List

62. def split(seps: List[T]): List[List[T]]

    Definition Classes

    List

63. def splitAt(e: T): List[List[T]]

    Definition Classes

    List

64. def splitAtIndex(index: BigInt): (List[T], List[T])

    Definition Classes

    List

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

    Definition Classes

    AnyRef

66. val t: List[T]

67. def tail: List[T]

    Definition Classes

    List

68. def tailOption: Option[List[T]]

    Definition Classes

    List

69. def take(i: BigInt): List[T]

    Definition Classes

    List

70. def takeWhile(p: (T) ⇒ Boolean): List[T]

    Definition Classes

    List

71. def toSet: Set[T]

    Definition Classes

    List

72. def unique: List[T]

    Definition Classes

    List

73. def updated(i: BigInt, y: T): List[T]

    Definition Classes

    List

74. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

77. def withFilter(p: (T) ⇒ Boolean): List[T]

    Definition Classes

    List

78. def zip[B](that: List[B]): List[(T, B)]

    Definition Classes

    List

    Annotations

    @function( term = "List.zip" )