PCons

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: PList[K, V]): PList[K, V]

   Definition Classes

   PList

5. def ++(that: PList[K, V]): PList[K, V]

   Definition Classes

   PList

6. def -(e: Pair[K, V]): PList[K, V]

   Delete ALL occurrences of e from the list

   Delete ALL occurrences of e from the list

   Definition Classes

   PList

7. def --(that: PList[K, V]): PList[K, V]

   Definition Classes

   PList

8. def :+(t: Pair[K, V]): PList[K, V]

   Definition Classes

   PList

9. def ::(t: Pair[K, V]): PList[K, V]

   Definition Classes

   PList

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

    Definition Classes

    AnyRef

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

    Definition Classes

    Any

12. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

13. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

14. def contains(v: Pair[K, V]): Boolean

    Definition Classes

    PList

15. def content: Set[Pair[K, V]]

    Definition Classes

    PList

16. def count(p: (Pair[K, V]) ⇒ Boolean): BigInt

    Definition Classes

    PList

17. def delete(e: Pair[K, V]): PList[K, V]

    Definition Classes

    PList

18. def delete(key: K): PList[K, V]

    Definition Classes

    PList

19. def deleteAll(e: Pair[K, V]): PList[K, V]

    Definition Classes

    PList

20. def deleteAll(key: K): PList[K, V]

    Obtain a new list by removing all element with the provided key from this list.

    Obtain a new list by removing all element with the provided key from this list.

    Definition Classes

    PList

21. def deleteFirst(key: K): PList[K, V]

    Obtain a new list by removing the first element with the provided key from this list.

    Obtain a new list by removing the first element with the provided key from this list.

    Definition Classes

    PList

22. def deleteFirst(e: Pair[K, V]): PList[K, V]

    Obtain a new list by removing the first occurrence of e from this list.

    Obtain a new list by removing the first occurrence of e from this list.

    Definition Classes

    PList

23. def deleteLast(key: K): PList[K, V]

    Obtain a new list by removing the last element with the provided key from this list.

    Obtain a new list by removing the last element with the provided key from this list.

    Definition Classes

    PList

24. def drop(i: BigInt): PList[K, V]

    Definition Classes

    PList

25. def dropWhile(p: (Pair[K, V]) ⇒ Boolean): PList[K, V]

    Definition Classes

    PList

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

    Definition Classes

    AnyRef

27. def exists(p: (Pair[K, V]) ⇒ Boolean): Boolean

    Definition Classes

    PList

28. def filter(p: (Pair[K, V]) ⇒ Boolean): PList[K, V]

    Definition Classes

    PList

29. def filterNot(p: (Pair[K, V]) ⇒ Boolean): PList[K, V]

    Definition Classes

    PList

30. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

31. def find(p: (Pair[K, V]) ⇒ Boolean): Option[Pair[K, V]]

    Definition Classes

    PList

32. def foldLeft[V2](z: V2)(f: (V2, Pair[K, V]) ⇒ V2): V2

    Definition Classes

    PList

33. def foldRight[V2](z: V2)(f: (Pair[K, V], V2) ⇒ V2): V2

    Definition Classes

    PList

34. def forall(p: (Pair[K, V]) ⇒ Boolean): Boolean

    Definition Classes

    PList

35. def get: (K) ⇒ Option[Pair[K, V]]

    Get an element from the list with the provided key.

    Get an element from the list with the provided key.

    Definition Classes

    PList

36. def getAll(key: K): PList[K, V]

    Get all elements in this list with the provided key.

    Get all elements in this list with the provided key. The order in which the elements are stored in the returned list is consistent with the order they are stored in the original list. Note: This version of getAll is easier to verify for Leon than the concise version def getAll (key: K) = this.filter(item => item.key == key).

    Definition Classes

    PList

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

    Definition Classes

    AnyRef → Any

38. def getFirst(key: K): Option[Pair[K, V]]

    Get the first element in this list with the provided key.

    Get the first element in this list with the provided key.

    Definition Classes

    PList

39. def getLast(key: K): Option[Pair[K, V]]

    Get the last element in this list with the provided key.

    Get the last element in this list with the provided key.

    Definition Classes

    PList

40. def groupBy[K2](f: (Pair[K, V]) ⇒ K2): Map[K2, PList[K, V]]

    Definition Classes

    PList

41. val h: Pair[K, V]

42. def hasKey(key: K): Boolean

    Definition Classes

    PList

43. def head: Pair[K, V]

    Definition Classes

    PList

44. def headOption: Option[Pair[K, V]]

    Definition Classes

    PList

45. def init: PList[K, V]

    Definition Classes

    PList

46. def isEmpty: Boolean

    Definition Classes

    PList

47. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

48. def keys: List[K]

    Definition Classes

    PList

49. def last: Pair[K, V]

    Definition Classes

    PList

50. def lastOption: Option[Pair[K, V]]

    Definition Classes

    PList

51. def map[K2, V2](f: (Pair[K, V]) ⇒ Pair[K2, V2]): PList[K2, V2]

    Definition Classes

    PList

52. def mapList[V2](f: (Pair[K, V]) ⇒ V2): List[V2]

    Definition Classes

    PList

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

    Definition Classes

    AnyRef

54. final def notify(): Unit

    Definition Classes

    AnyRef

55. final def notifyAll(): Unit

    Definition Classes

    AnyRef

56. def partition(p: (Pair[K, V]) ⇒ Boolean): (PList[K, V], PList[K, V])

    Definition Classes

    PList

57. def replace(from: Pair[K, V], to: Pair[K, V]): PList[K, V]

    Definition Classes

    PList

58. def reverse: PList[K, V]

    Definition Classes

    PList

59. def rotate(s: BigInt): PList[K, V]

    Definition Classes

    PList

60. def scanLeft[K2, V2](z: Pair[K2, V2])(f: (Pair[K2, V2], Pair[K, V]) ⇒ Pair[K2, V2]): PList[K2, V2]

    Definition Classes

    PList

61. def scanRight[K2, V2](z: Pair[K2, V2])(f: (Pair[K, V], Pair[K2, V2]) ⇒ Pair[K2, V2]): PList[K2, V2]

    Definition Classes

    PList

62. def size: BigInt

    Definition Classes

    PList

63. def slice(from: BigInt, to: BigInt): PList[K, V]

    Definition Classes

    PList

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

    Definition Classes

    AnyRef

65. val t: PList[K, V]

66. def tail: PList[K, V]

    Definition Classes

    PList

67. def take(i: BigInt): PList[K, V]

    Definition Classes

    PList

68. def takeWhile(p: (Pair[K, V]) ⇒ Boolean): PList[K, V]

    Definition Classes

    PList

69. def unique: PList[K, V]

    Definition Classes

    PList

70. def update(data: Pair[K, V]): PList[K, V]

    Definition Classes

    PList

71. def values: List[V]

    Definition Classes

    PList

72. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

75. def withFilter(p: (Pair[K, V]) ⇒ Boolean): PList[K, V]

    Definition Classes

    PList

76. def ~(that: PList[K, V]): Boolean

    Definition Classes

    PList

77. def ~~(that: PList[K, V]): Boolean

    Definition Classes

    PList