List

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]

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

   Annotations

   @function( term = "List.append" )

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

   Annotations

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

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

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

   Annotations

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

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

   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

    Annotations

    @fullBody()

13. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

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

15. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

16. def contains(v: T): Boolean

    Annotations

    @function( term = "List.member" )

17. def content: Set[T]

    Annotations

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

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

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

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

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

    Definition Classes

    AnyRef

22. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

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

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

    Annotations

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

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

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

27. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Annotations

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

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

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

    Annotations

    @function( term = "List.bind" )

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

    Annotations

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

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

    Annotations

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

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

    Annotations

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

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

    Definition Classes

    AnyRef → Any

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

36. def hashCode(): Int

    Definition Classes

    AnyRef → Any

37. def head: T

38. def headOption: Option[T]

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

40. def init: List[T]

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

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

43. def isEmpty: Boolean

    Annotations

    @function( term = "List.null" )

44. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

45. def last: T

46. def lastOption: Option[T]

47. def length: BigInt

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

    Annotations

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

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

    Definition Classes

    AnyRef

50. def nonEmpty: Boolean

51. final def notify(): Unit

    Definition Classes

    AnyRef

52. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

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

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

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

57. def reverse: List[T]

    Annotations

    @function( term = "List.rev" )

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

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

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

61. def size: BigInt

    Annotations

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

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

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

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

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

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

    Definition Classes

    AnyRef

67. def tail: List[T]

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

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

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

71. def toSet: Set[T]

72. def toString(): String

    Definition Classes

    AnyRef → Any

73. def unique: List[T]

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

75. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

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

    Annotations

    @function( term = "List.zip" )