ListSpecs

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. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

6. def appendAssoc[T](l1: List[T], l2: List[T], l3: List[T]): Boolean

   Annotations

   @induct()

7. def appendContent[A](l1: List[A], l2: List[A]): Boolean

8. def appendIndex[T](l1: List[T], l2: List[T], i: BigInt): Boolean

9. def appendInsert[T](l1: List[T], l2: List[T], i: BigInt, y: T): Boolean

10. def appendTakeDrop[T](l1: List[T], l2: List[T], n: BigInt): Boolean

11. def appendUpdate[T](l1: List[T], l2: List[T], i: BigInt, y: T): Boolean

12. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

13. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

14. def consIndex[T](h: T, t: List[T], i: BigInt): Boolean

    Annotations

    @induct() @lemma( about = "leon.collection.List.apply" )

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. def flattenPreservesContent[T](ls: List[List[T]]): Boolean

19. def folds[A, B](xs: List[A], z: B, f: (B, A) ⇒ B): Boolean

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

    Definition Classes

    AnyRef → Any

21. def hashCode(): Int

    Definition Classes

    AnyRef → Any

22. def headReverseLast[T](l: List[T]): Boolean

23. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

24. def leftUnitAppend[T](l1: List[T]): Boolean

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

    Definition Classes

    AnyRef

26. final def notify(): Unit

    Definition Classes

    AnyRef

27. final def notifyAll(): Unit

    Definition Classes

    AnyRef

28. def reverseAppend[T](l1: List[T], l2: List[T]): Boolean

29. def reverseIndex[T](l: List[T], i: BigInt): Boolean

30. def reverseReverse[T](l: List[T]): Boolean

31. def rightUnitAppend[T](l1: List[T]): Boolean

    Annotations

    @induct()

32. def scanVsFoldLeft[A, B](l: List[A], z: B, f: (B, A) ⇒ B): Boolean

33. def scanVsFoldRight[A, B](l: List[A], z: B, f: (A, B) ⇒ B): Boolean

    Annotations

    @induct()

34. def snocAfterAppend[T](l1: List[T], l2: List[T], t: T): Boolean

35. def snocFoldRight[A, B](xs: List[A], y: A, z: B, f: (A, B) ⇒ B): Boolean

36. def snocIndex[T](l: List[T], t: T, i: BigInt): Boolean

37. def snocIsAppend[T](l: List[T], t: T): Boolean

38. def snocLast[T](l: List[T], x: T): Boolean

39. def snocReverse[T](l: List[T], t: T): Boolean

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

    Definition Classes

    AnyRef

41. def toString(): String

    Definition Classes

    AnyRef → Any

42. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )