Type Members

1.  trait Absorption[A] extends AnyRef
2.  trait AbsorptionSyntax extends AnyRef
3.  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

4.  trait ApplicationCompose[=>:[-_, +_]] extends BothCompose[=>:]
5.  trait ApplicationComposeSyntax extends AnyRef
6.  implicit class ApplicationComposeCurryOps[A, B, C, =>:[-_, +_], :*:[+_, +_], -->:[-_, +_]] extends AnyRef

   Definition Classes

   ApplicationComposeSyntax

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

   Definition Classes

   ApplicationComposeSyntax

8.  trait BothCompose[=>:[-_, +_]] extends AssociativeCompose[=>:]
9.  trait BothComposeSyntax extends AnyRef
10.  implicit class BothComposeOps[A, B, =>:[-_, +_]] extends AnyRef

    Definition Classes

    BothComposeSyntax

11.  trait Complement[A] extends Absorption[A]
12.  trait ComplementSyntax extends AnyRef
13.  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

14.  trait DistributiveAbsorption[A] extends Absorption[A]
15.  trait EitherCompose[=>:[-_, +_]] extends AssociativeCompose[=>:]
16.  trait EitherComposeSyntax extends AnyRef
17.  implicit class EitherComposeOps[A, C, =>:[-_, +_]] extends AnyRef

    Definition Classes

    EitherComposeSyntax

18.  trait ExcludedMiddle[A] extends Complement[A]
19.  trait Involution[A] extends ExcludedMiddle[A] with Noncontradiction[A]
20.  trait Noncontradiction[A] extends Complement[A]