experimental

Type Members

1. trait Absorption[A] extends AnyRef

   

2. implicit class AbsorptionOps[A] extends AnyRef

   

   Provides infix syntax for joining or meeting two values.

   Provides infix syntax for joining or meeting two values.

   Definition Classes

   AbsorptionSyntax

3. trait AbsorptionSyntax extends AnyRef

   

4. trait ApplicationCompose[=>:[-_, +_]] extends BothCompose[=>:]

   

5. implicit class ApplicationComposeCurryOps[A, B, C, =>:[-_, +_], :*:[+_, +_], -->:[-_, +_]] extends AnyRef

   

   Definition Classes

   ApplicationComposeSyntax

6. trait ApplicationComposeSyntax extends AnyRef

   

7. implicit class ApplicationComposeUncurryOps[A, B, C, =>:[-_, +_], :*:[+_, +_], -->:[-_, +_]] extends AnyRef

   

   Definition Classes

   ApplicationComposeSyntax

8. trait BothCompose[=>:[-_, +_]] extends AssociativeCompose[=>:]

   

9. implicit class BothComposeOps[A, B, =>:[-_, +_]] extends AnyRef

   

   Definition Classes

   BothComposeSyntax

10. trait BothComposeSyntax extends AnyRef

    

11. trait Complement[A] extends Absorption[A]

    

12. implicit class ComplementOps[A] extends AnyRef

    

    Provides infix syntax for the Complement of the value.

    Provides infix syntax for the Complement of the value.

    Definition Classes

    ComplementSyntax

13. trait ComplementSyntax extends AnyRef

    

14. trait DistributiveAbsorption[A] extends Absorption[A]

    

15. trait EitherCompose[=>:[-_, +_]] extends AssociativeCompose[=>:]

    

16. implicit class EitherComposeOps[A, C, =>:[-_, +_]] extends AnyRef

    

    Definition Classes

    EitherComposeSyntax

17. trait EitherComposeSyntax extends AnyRef

    

18. trait ExcludedMiddle[A] extends Complement[A]

    

19. trait Involution[A] extends Complement[A]

    

20. trait Noncontradiction[A] extends Complement[A]