object collection extends CollectionInference
- Alphabetic
- By Inheritance
- collection
- CollectionInference
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
type
Contains[U] = Not[Forall[Not[Equal[U]]]]
Predicate that checks if an
Iterable
contains a value equal toU
. -
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 predicatePA
and passes the result to the numeric predicatePC
. -
final
case class
Empty() extends Product with Serializable
Predicate that checks if an
Iterable
is empty. -
type
Exists[P] = Not[Forall[Not[P]]]
Predicate that checks if the predicate
P
holds for some elements of anIterable
. -
final
case class
Forall[P](p: P) extends Product with Serializable
Predicate that checks if the predicate
P
holds for all elements of anIterable
. -
final
case class
Head[P](p: P) extends Product with Serializable
Predicate that checks if the predicate
P
holds for the first element of anIterable
. -
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 indexN
of a sequence. -
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 anIterable
. -
final
case class
Last[P](p: P) extends Product with Serializable
Predicate that checks if the predicate
P
holds for the last element of anIterable
. -
type
MaxSize[N] = Size[Closed[_0, N]]
Predicate that checks if the size of an
Iterable
is less than or equal toN
. -
type
MinSize[N] = Size[GreaterEqual[N]]
Predicate that checks if the size of an
Iterable
is greater than or equal toN
. -
type
NonEmpty = Not[Empty]
Predicate that checks if an
Iterable
is not empty. -
final
case class
Size[P](p: P) extends Product with Serializable
Predicate that checks if the size of an
Iterable
satisfies the predicateP
. -
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 anIterable
.
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
implicit
def
existsInference[A, B](implicit p1: ==>[A, B]): ==>[Exists[A], Exists[B]]
- Definition Classes
- CollectionInference
-
implicit
def
existsNonEmptyInference[P]: ==>[Exists[P], NonEmpty]
- Definition Classes
- CollectionInference
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
implicit
def
headExistsInference[P]: ==>[Head[P], Exists[P]]
- Definition Classes
- CollectionInference
-
implicit
def
headInference[A, B](implicit p1: ==>[A, B]): ==>[Head[A], Head[B]]
- Definition Classes
- CollectionInference
-
implicit
def
indexExistsInference[N, P]: ==>[Index[N, P], Exists[P]]
- Definition Classes
- CollectionInference
-
implicit
def
indexInference[N, A, B](implicit p1: ==>[A, B]): ==>[Index[N, A], Index[N, B]]
- Definition Classes
- CollectionInference
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
implicit
def
lastExistsInference[P]: ==>[Last[P], Exists[P]]
- Definition Classes
- CollectionInference
-
implicit
def
lastInference[A, B](implicit p1: ==>[A, B]): ==>[Last[A], Last[B]]
- Definition Classes
- CollectionInference
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
implicit
def
sizeGreaterEqual1NonEmptyInference[A](implicit p1: ==>[A, GreaterEqual[shapeless.Nat._1]]): ==>[Size[A], NonEmpty]
- Definition Classes
- CollectionInference
-
implicit
def
sizeInference[A, B](implicit p1: ==>[A, B]): ==>[Size[A], Size[B]]
- Definition Classes
- CollectionInference
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- object Count extends Serializable
- object Empty extends Serializable
- object Forall extends Serializable
- object Head extends Serializable
- object Index extends Serializable
- object Init extends Serializable
- object Last extends Serializable
- object Size extends Serializable
- object Tail extends Serializable