typelevel

Type Members

1. trait =!=[A, B] extends AnyRef

   

   Allows to specify that the type A must be different from type B.

   Allows to specify that the type A must be different from type B. Use the same as with =:=

   Annotations

   @implicitNotFound( "Cannot prove that ${A} =!= ${B}." )

2. trait NotTuple[A] extends AnyRef

   

   Annotations

   @implicitNotFound( "${A} is a tuple." )