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 an Iterable 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 an Iterable 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 an Iterable is empty.

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

    Predicate that checks if the predicate P holds for some elements of an Iterable.

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

    Predicate that checks if the predicate P holds for all elements of an Iterable.

  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 an Iterable.

  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 an Iterable.

  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 an Iterable.

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

    Predicate that checks if the size of an Iterable is less than or equal to N.

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

    Predicate that checks if the size of an Iterable is greater than or equal to N.

  12. type NonEmpty = Not[Empty]

    Predicate that checks if an Iterable is not empty.

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

    Predicate that checks if the size of an Iterable 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 an Iterable.

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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): 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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]
    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 sizeGreaterEqual1NonEmptyInference[A](implicit p1: ==>[A, GreaterEqual[shapeless.Nat._1]]): ==>[Size[A], NonEmpty]
    Definition Classes
    CollectionInference
  24. implicit def sizeInference[A, B](implicit p1: ==>[A, B]): ==>[Size[A], Size[B]]
    Definition Classes
    CollectionInference
  25. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  26. def toString(): String
    Definition Classes
    AnyRef → Any
  27. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  30. object Count extends Serializable
  31. object Empty extends Serializable
  32. object Forall extends Serializable
  33. object Head extends Serializable
  34. object Index extends Serializable
  35. object Init extends Serializable
  36. object Last extends Serializable
  37. object Size extends Serializable
  38. object Tail extends Serializable

Inherited from CollectionInference

Inherited from AnyRef

Inherited from Any

Ungrouped