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 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 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
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 EitherComposeOps[A, C, =>:[_, _]](a2b: A =>: C)

Attributes

Inherited from:
EitherComposeSyntax
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 EitherComposeOps[A, C, =>:[_, _]](a2b: =>:[A, C]): EitherComposeOps[A, C, =>:]

Attributes

Inherited from:
EitherComposeSyntax
Generated with