containsOnly
made.containsOnly$package.containsOnly
object containsOnly extends containsOnlyLowPriority
Attributes
- 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_Conversion_Head_T: [Tup <: Tuple, T] => containsOnly[Tup, T] => Conversion[Head[Tup], T]
given given_Conversion_Last_T: [Tup <: Tuple, T] => containsOnly[Tup, T] => Conversion[Last[Tup], 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
inline given given_containsOnly_Tup_T: [Tup <: Tuple, T] => Loop[Tup, T] =:= true => containsOnly[Tup, T]
Inherited givens
Attributes
- Inherited from:
- containsOnlyLowPriority
In this article