Object

eu.timepit.refined

collection

Related Doc: package refined

Permalink

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]]]]

    Permalink

    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

    Permalink

    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

    Permalink

    Predicate that checks if a Traversable is empty.

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

    Permalink

    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

    Permalink

    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

    Permalink

    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

    Permalink

    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

    Permalink

    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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

  12. type NonEmpty = Not[Empty]

    Permalink

    Predicate that checks if a Traversable is not empty.

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

    Permalink

    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

    Permalink

    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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. object Count extends Serializable

    Permalink

  5. object Empty extends Serializable

    Permalink

  6. object Forall extends Serializable

    Permalink

  7. object Head extends Serializable

    Permalink

  8. object Index extends Serializable

    Permalink

  9. object Init extends Serializable

    Permalink

  10. object Last extends Serializable

    Permalink

  11. object Size extends Serializable

    Permalink

  12. object Tail extends Serializable

    Permalink

  13. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  14. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef

  16. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  17. implicit def existsInference[A, B](implicit p1: ==>[A, B]): ==>[Exists[A], Exists[B]]

    Permalink
    Definition Classes
    CollectionInference

  18. implicit def existsNonEmptyInference[P]: ==>[Exists[P], NonEmpty]

    Permalink
    Definition Classes
    CollectionInference

  19. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

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

    Permalink
    Definition Classes
    AnyRef → Any

  21. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  22. implicit def headExistsInference[P]: ==>[Head[P], Exists[P]]

    Permalink
    Definition Classes
    CollectionInference

  23. implicit def headInference[A, B](implicit p1: ==>[A, B]): ==>[Head[A], Head[B]]

    Permalink
    Definition Classes
    CollectionInference

  24. implicit def indexExistsInference[N, P]: ==>[Index[N, P], Exists[P]]

    Permalink
    Definition Classes
    CollectionInference

  25. implicit def indexInference[N, A, B](implicit p1: ==>[A, B]): ==>[Index[N, A], Index[N, B]]

    Permalink
    Definition Classes
    CollectionInference

  26. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  27. implicit def lastExistsInference[P]: ==>[Last[P], Exists[P]]

    Permalink
    Definition Classes
    CollectionInference

  28. implicit def lastInference[A, B](implicit p1: ==>[A, B]): ==>[Last[A], Last[B]]

    Permalink
    Definition Classes
    CollectionInference

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

    Permalink
    Definition Classes
    AnyRef

  30. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  31. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  32. implicit def sizeInference[A, B](implicit p1: ==>[A, B]): ==>[Size[A], Size[B]]

    Permalink
    Definition Classes
    CollectionInference

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

    Permalink
    Definition Classes
    AnyRef

  34. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  35. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from CollectionInference

Inherited from AnyRef

Inherited from Any

Ungrouped