Packages

o

eu.timepit.refined

collection

object collection extends CollectionInference

Module for collection predicates.

Source
collection.scala
Linear Supertypes
CollectionInference, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. collection
  2. CollectionInference
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Contains[U] = Not[Forall[Not[Equal[U]]]]

    Predicate that checks if a Traversable contains a value equal to U.

  2. final case class Count[PA, PC](pa: PA, pc: PC) extends Product with Serializable

    Predicate that counts the number of elements in a Traversable which satisfy the predicate PA and passes the result to the numeric predicate PC.

  3. final case class Empty() extends Product with Serializable

    Predicate that checks if a Traversable is empty.

  4. type Exists[P] = Not[Forall[Not[P]]]

    Predicate that checks if the predicate P holds for some elements of a Traversable.

  5. final case class Forall[P](p: P) extends Product with Serializable

    Predicate that checks if the predicate P holds for all elements of a Traversable.

  6. final case class Head[P](p: P) extends Product with Serializable

    Predicate that checks if the predicate P holds for the first element of a Traversable.

  7. final case class Index[N, P](n: N, p: P) extends Product with Serializable

    Predicate that checks if the predicate P holds for the element at index N of a sequence.

  8. final case class Init[P](p: P) extends Product with Serializable

    Predicate that checks if the predicate P holds for all but the last element of a Traversable.

  9. final case class Last[P](p: P) extends Product with Serializable

    Predicate that checks if the predicate P holds for the last element of a Traversable.

  10. type MaxSize[N] = Size[Closed[_0, N]]

    Predicate that checks if the size of a Traversable is less than or equal to N.

  11. type MinSize[N] = Size[GreaterEqual[N]]

    Predicate that checks if the size of a Traversable is greater than or equal to N.

  12. type NonEmpty = Not[Empty]

    Predicate that checks if a Traversable is not empty.

  13. final case class Size[P](p: P) extends Product with Serializable

    Predicate that checks if the size of a Traversable satisfies the predicate P.

  14. final case class Tail[P](p: P) extends Product with Serializable

    Predicate that checks if the predicate P holds for all but the first element of a Traversable.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. implicit def existsInference[A, B](implicit p1: ==>[A, B]): ==>[Exists[A], Exists[B]]
    Definition Classes
    CollectionInference
  9. implicit def existsNonEmptyInference[P]: ==>[Exists[P], NonEmpty]
    Definition Classes
    CollectionInference
  10. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  11. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. implicit def headExistsInference[P]: ==>[Head[P], Exists[P]]
    Definition Classes
    CollectionInference
  14. implicit def headInference[A, B](implicit p1: ==>[A, B]): ==>[Head[A], Head[B]]
    Definition Classes
    CollectionInference
  15. implicit def indexExistsInference[N, P]: ==>[Index[N, P], Exists[P]]
    Definition Classes
    CollectionInference
  16. implicit def indexInference[N, A, B](implicit p1: ==>[A, B]): ==>[Index[N, A], Index[N, B]]
    Definition Classes
    CollectionInference
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. implicit def lastExistsInference[P]: ==>[Last[P], Exists[P]]
    Definition Classes
    CollectionInference
  19. implicit def lastInference[A, B](implicit p1: ==>[A, B]): ==>[Last[A], Last[B]]
    Definition Classes
    CollectionInference
  20. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  22. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. implicit def sizeInference[A, B](implicit p1: ==>[A, B]): ==>[Size[A], Size[B]]
    Definition Classes
    CollectionInference
  24. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  25. def toString(): String
    Definition Classes
    AnyRef → Any
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  27. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  28. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  29. object Count extends Serializable
  30. object Empty extends Serializable
  31. object Forall extends Serializable
  32. object Head extends Serializable
  33. object Index extends Serializable
  34. object Init extends Serializable
  35. object Last extends Serializable
  36. object Size extends Serializable
  37. object Tail extends Serializable

Inherited from CollectionInference

Inherited from AnyRef

Inherited from Any

Ungrouped