coherent

Type Members

1. trait AbsorptionEqual[A] extends Absorption[A] with Equal[A]

   

2. trait DistributiveAbsorptionEqual[A] extends AbsorptionEqual[A] with DistributiveAbsorption[A]

   

3. trait ExcludedMiddleEqual[A] extends AbsorptionEqual[A] with ExcludedMiddle[A]

   

4. trait InvolutionEqual[A] extends AbsorptionEqual[A] with Involution[A]

   

5. trait NoncontradictionEqual[A] extends AbsorptionEqual[A] with Noncontradiction[A]