zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.experimental

zio.prelude.experimental

package zio.prelude.experimental

Members list

Packages

package zio.prelude.experimental.coherent
package zio.prelude.experimental.laws

Type members

Classlikes

trait Absorption[A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AbsorptionEqual[A]
trait InvolutionEqual[A]
trait Complement[A]
trait ExcludedMiddle[A]
trait Involution[A]
trait Noncontradiction[A]
Show all
object Absorption

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Absorption.type
trait AbsorptionSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
trait Annihilation[A] extends DistributiveProd[A]

Attributes

Companion
object
Supertypes
trait DistributiveProd[A]
class Object
trait Matchable
class Any
Known subtypes
object Annihilation

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait ApplicationCompose[=>:[_, _]] extends BothCompose[=>:]

Attributes

Companion
object
Supertypes
trait BothCompose[=>:]
trait AssociativeCompose[=>:]
class Object
trait Matchable
class Any
object ApplicationCompose

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait ApplicationComposeSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
trait BothCompose[=>:[_, _]] extends AssociativeCompose[=>:]

Attributes

Companion
object
Supertypes
trait AssociativeCompose[=>:]
class Object
trait Matchable
class Any
Known subtypes
trait ApplicationCompose[=>:]
object BothCompose

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait BothComposeSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
case object BuildInfo

This object was generated by sbt-buildinfo.

This object was generated by sbt-buildinfo.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
BuildInfo.type
trait Complement[A] extends Absorption[A]

Attributes

Companion
object
Supertypes
trait Absorption[A]
class Object
trait Matchable
class Any
Known subtypes
trait ExcludedMiddle[A]
trait InvolutionEqual[A]
trait Involution[A]
trait Noncontradiction[A]
Show all
object Complement

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Complement.type
trait ComplementSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
trait DistributiveAbsorption[A] extends Absorption[A]

Attributes

Companion
object
Supertypes
trait Absorption[A]
class Object
trait Matchable
class Any
Known subtypes
object DistributiveAbsorption

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait DistributiveProd[A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Annihilation[A]
trait PartialDivide[A]
trait Divide[A]
trait Subtract[A]
Show all
object DistributiveProd extends DistributiveProdLowPriorityImplicits

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait DistributiveProdLowPriorityImplicits

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait DistributiveProdSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
trait Divide[A] extends PartialDivide[A]

Attributes

Supertypes
trait PartialDivide[A]
trait DistributiveProd[A]
class Object
trait Matchable
class Any
trait DivideSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
trait EitherCompose[=>:[_, _]] extends AssociativeCompose[=>:]

Attributes

Companion
object
Supertypes
trait AssociativeCompose[=>:]
class Object
trait Matchable
class Any
object EitherCompose

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait EitherComposeSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
trait ExcludedMiddle[A] extends Complement[A]

Attributes

Companion
object
Supertypes
trait Complement[A]
trait Absorption[A]
class Object
trait Matchable
class Any
Known subtypes
trait InvolutionEqual[A]
trait Involution[A]
object ExcludedMiddle

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait Involution[A] extends ExcludedMiddle[A], Noncontradiction[A]

Attributes

Companion
object
Supertypes
trait Noncontradiction[A]
trait ExcludedMiddle[A]
trait Complement[A]
trait Absorption[A]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait InvolutionEqual[A]
object Involution

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Involution.type
trait Noncontradiction[A] extends Complement[A]

Attributes

Companion
object
Supertypes
trait Complement[A]
trait Absorption[A]
class Object
trait Matchable
class Any
Known subtypes
trait InvolutionEqual[A]
trait Involution[A]
object Noncontradiction

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait PartialDivide[A] extends DistributiveProd[A]

Attributes

Supertypes
trait DistributiveProd[A]
class Object
trait Matchable
class Any
Known subtypes
trait Divide[A]
trait PartialDivideSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
trait Subtract[A] extends DistributiveProd[A]

Attributes

Supertypes
trait DistributiveProd[A]
class Object
trait Matchable
class Any
trait SubtractSyntax

Attributes

Supertypes
class Object
trait Matchable
class Any
object classic

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
classic.type

Inherited classlikes

implicit class AbsorptionOps[A](l: A)

Provides infix syntax for joining or meeting two values.

Provides infix syntax for joining or meeting two values.

Attributes

Inherited from:
AbsorptionSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class ApplicationComposeCurryOps[A, B, C, =>:[_, _], :*:[_, _], -->:[_, _]](ab2c: (A :*: B) =>: C)

Attributes

Inherited from:
ApplicationComposeSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class ApplicationComposeUncurryOps[A, B, C, =>:[_, _], :*:[_, _], -->:[_, _]](a2b2c: A =>: (B -->: C))

Attributes

Inherited from:
ApplicationComposeSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class BothComposeOps[A, B, =>:[_, _]](a2b: A =>: B)

Attributes

Inherited from:
BothComposeSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class ComplementOps[A](self: A)(implicit instance: Complement[A])

Provides infix syntax for the Complement of the value.

Provides infix syntax for the Complement of the value.

Attributes

Inherited from:
ComplementSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class DistributiveProdOps[A](l: A)

Provides infix syntax for adding or multiplying two values.

Provides infix syntax for adding or multiplying two values.

Attributes

Inherited from:
DistributiveProdSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class DivideOps[A](l: A)

Provides infix syntax for dividing two values.

Provides infix syntax for dividing two values.

Attributes

Inherited from:
DivideSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class EitherComposeOps[A, C, =>:[_, _]](a2b: A =>: C)

Attributes

Inherited from:
EitherComposeSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class PartialDivideOps[A](l: A)

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

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

Attributes

Inherited from:
PartialDivideSyntax
Supertypes
class Object
trait Matchable
class Any
implicit class SubtractOps[A](l: A)

Provides infix syntax for subtracting two values.

Provides infix syntax for subtracting two values.

Attributes

Inherited from:
SubtractSyntax
Supertypes
class Object
trait Matchable
class Any

Implicits

Inherited implicits

final implicit def AbsorptionOps[A](l: A): AbsorptionOps[A]

Provides infix syntax for joining or meeting two values.

Provides infix syntax for joining or meeting two values.

Attributes

Inherited from:
AbsorptionSyntax
final implicit def ApplicationComposeCurryOps[A, B, C, =>:[_, _], :*:[_, _], -->:[_, _]](ab2c: =>:[:*:[A, B], C]): ApplicationComposeCurryOps[A, B, C, =>:, :*:, -->:]

Attributes

Inherited from:
ApplicationComposeSyntax
final implicit def ApplicationComposeUncurryOps[A, B, C, =>:[_, _], :*:[_, _], -->:[_, _]](a2b2c: =>:[A, -->:[B, C]]): ApplicationComposeUncurryOps[A, B, C, =>:, :*:, -->:]

Attributes

Inherited from:
ApplicationComposeSyntax
final implicit def BothComposeOps[A, B, =>:[_, _]](a2b: =>:[A, B]): BothComposeOps[A, B, =>:]

Attributes

Inherited from:
BothComposeSyntax
final implicit def ComplementOps[A](self: A)(implicit instance: Complement[A]): ComplementOps[A]

Provides infix syntax for the Complement of the value.

Provides infix syntax for the Complement of the value.

Attributes

Inherited from:
ComplementSyntax
final implicit def DistributiveProdOps[A](l: A): DistributiveProdOps[A]

Provides infix syntax for adding or multiplying two values.

Provides infix syntax for adding or multiplying two values.

Attributes

Inherited from:
DistributiveProdSyntax
final implicit def DivideOps[A](l: A): DivideOps[A]

Provides infix syntax for dividing two values.

Provides infix syntax for dividing two values.

Attributes

Inherited from:
DivideSyntax
final implicit def EitherComposeOps[A, C, =>:[_, _]](a2b: =>:[A, C]): EitherComposeOps[A, C, =>:]

Attributes

Inherited from:
EitherComposeSyntax
final implicit def PartialDivideOps[A](l: A): PartialDivideOps[A]

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

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

Attributes

Inherited from:
PartialDivideSyntax
final implicit def SubtractOps[A](l: A): SubtractOps[A]

Provides infix syntax for subtracting two values.

Provides infix syntax for subtracting two values.

Attributes

Inherited from:
SubtractSyntax
Generated with