halotukozak.commons.containsOnly
See thecontainsOnly companion trait
object containsOnly extends containsOnlyLowPriority
Attributes
- Companion
- trait
- Graph
-
- Supertypes
- Self type
-
containsOnly.type
Members list
Type members
Types
type Loop[Tup <: Tuple, T] = Tup match { case EmptyTuple => true case T *: tail => Loop[tail, T] case Any => false }
Value members
Concrete methods
Givens
Givens
given given_containsOnly_Append_T: [Tup <: Tuple : Of[T], Y <: T, T] => containsOnly[Append[Tup, Y], T]
given given_containsOnly_Concat_T: [Tup1 <: Tuple : Of[T], Tup2 <: Tuple : Of[T], T] => containsOnly[Concat[Tup1, Tup2], T]
given given_containsOnly_Drop_T: [Tup <: Tuple : Of[T], N <: Int, T] => containsOnly[Drop[Tup, N], T]
given given_containsOnly_Filter_T: [Tup <: Tuple : Of[T], P <: ([_ <: Union[Tup]] =>> Boolean), T] => containsOnly[Filter[Tup, P], T]
A constant map [_] =>> C makes every element C. Unifies even for abstract Es.
A constant map [_] =>> C makes every element C. Unifies even for abstract Es.
Attributes
A covariant F gives F[e] <: F[Any] for every element (invariant F still needs refl).
A covariant F gives F[e] <: F[Any] for every element (invariant F still needs refl).
Attributes
given given_containsOnly_Take_T: [Tup <: Tuple : Of[T], N <: Int, T] => containsOnly[Take[Tup, N], T]
given given_containsOnly_Zip_T1_T2: [Tup1 <: Tuple : Of[T1], Tup2 <: Tuple : Of[T2], T1, T2] => containsOnly[Zip[Tup1, Tup2], (T1, T2)]
Inherited givens
Attributes
- Inherited from:
- containsOnlyLowPriority
Attributes
- Inherited from:
- containsOnlyLowPriority
In this article