boolean

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 Helper_![Constraint] extends AnyRef

   

6. final class Implies[Left, Right] extends AnyRef

   

   Proves Left Implies Right

   Proves Left Implies Right

   Annotations

   @implicitNotFound( ... )

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 Left Implies Right

   Proves Left Implies Right

   Annotations

   @implicitNotFound( ... )

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

   

   Proves either Left or Right

   Proves either Left or Right

   Annotations

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