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 Annihilation[A] extends DistributiveProd[A]
5.  trait ApplicationCompose[=>:[-_, +_]] extends BothCompose[=>:]
6.  trait ApplicationComposeSyntax extends AnyRef
7.  implicit class ApplicationComposeCurryOps[A, B, C, =>:[-_, +_], :*:[+_, +_], -->:[-_, +_]] extends AnyRef

   Definition Classes

   ApplicationComposeSyntax

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

   Definition Classes

   ApplicationComposeSyntax

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

    Definition Classes

    BothComposeSyntax

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

15.  trait DistributiveAbsorption[A] extends Absorption[A]
16.  trait DistributiveProd[A] extends AnyRef
17.  trait DistributiveProdLowPriorityImplicits extends AnyRef
18.  trait DistributiveProdSyntax extends AnyRef
19.  implicit class DistributiveProdOps[A] extends AnyRef

    Provides infix syntax for adding or multiplying two values.

    Provides infix syntax for adding or multiplying two values.

    Definition Classes

    DistributiveProdSyntax

20.  trait Divide[A] extends PartialDivide[A]
21.  trait DivideSyntax extends AnyRef
22.  implicit class DivideOps[A] extends AnyRef

    Provides infix syntax for dividing two values.

    Provides infix syntax for dividing two values.

    Definition Classes

    DivideSyntax

23.  trait EitherCompose[=>:[-_, +_]] extends AssociativeCompose[=>:]
24.  trait EitherComposeSyntax extends AnyRef
25.  implicit class EitherComposeOps[A, C, =>:[-_, +_]] extends AnyRef

    Definition Classes

    EitherComposeSyntax

26.  trait ExcludedMiddle[A] extends Complement[A]
27.  trait Involution[A] extends ExcludedMiddle[A] with Noncontradiction[A]
28.  trait Noncontradiction[A] extends Complement[A]
29.  trait PartialDivide[A] extends DistributiveProd[A]
30.  trait PartialDivideSyntax extends AnyRef
31.  implicit class PartialDivideOps[A] extends AnyRef

    Provides infix syntax for dividing two values, with possible failure.

    Provides infix syntax for dividing two values, with possible failure.

    Definition Classes

    PartialDivideSyntax

32.  trait Subtract[A] extends DistributiveProd[A]
33.  trait SubtractSyntax extends AnyRef
34.  implicit class SubtractOps[A] extends AnyRef

    Provides infix syntax for subtracting two values.

    Provides infix syntax for subtracting two values.

    Definition Classes

    SubtractSyntax