M&DE
main
DocsAPI
Generated with
made with ❤️ and coffee
made with ❤️ and coffee
M&DE/made/containsOnly

containsOnly

made.containsOnly$package.containsOnly
object containsOnly

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self 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

def refl[Tup <: Tuple, T]: containsOnly[Tup, T]

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]
inline given given_containsOnly_Tup_T: [Tup <: Tuple, T] => Loop[Tup, T] =:= true => containsOnly[Tup, T]
Generated with
made with ❤️ and coffee
made with ❤️ and coffee