Type Members

1.  final class ! [Constraint] extends AnyRef

   Proves that Constraint does NOT hold

   Proves that Constraint does NOT hold

   Annotations

   @implicitNotFound( """Cannot prove ![${Constraint}]""" )

2.  final class && [Left, Right] extends AnyRef

   Proves both Left and Right

   Proves both Left and Right

   Annotations

   @implicitNotFound( "Cannot prove ${Left} && ${Right}" )

3.  final class == [Left, Right] extends AnyRef

   Proves or disproves both Left and Right (aka Left ≡ Right, Left <=> Right)

   Proves or disproves both Left and Right (aka Left ≡ Right, Left <=> Right)

   Annotations

   @implicitNotFound( ... )

4.  final class False extends AnyRef

   Type representing Boolean False for type-level boolean algebra

   Type representing Boolean False for type-level boolean algebra

   Annotations

   @implicitNotFound( """Cannot prove False""" )

5.  final class Implies [Left, Right] extends AnyRef

   Proves Left Implies Right

   Proves Left Implies Right

   Annotations

   @implicitNotFound( ... )

6.  final class InvertDeferredForBetterError [Constraint] extends AnyRef
7.  final class True extends AnyRef

   Type representing Boolean True for type-level boolean algebra

   Type representing Boolean True for type-level boolean algebra

   Annotations

   @implicitNotFound( ... )

8.  final class Xor [Left, Right] extends AnyRef

   Proves either Left or Right but not both

   Proves either Left or Right but not both

   Annotations

   @implicitNotFound( ... )

9.  final class || [Left, Right] extends AnyRef

   Proves either Left or Right or both

   Proves either Left or Right or both

   Annotations

   @implicitNotFound( "Cannot prove ${Left} || ${Right}" )