zio-prelude-docs
zio-prelude-docs
API
zio.prelude
coherent
AssociativeBothDeriveEqualInvariant
AssociativeBothDeriveEqualInvariant
AssociativeEitherDeriveEqualInvariant
AssociativeEitherDeriveEqualInvariant
AssociativeEqual
AssociativeEqual
AssociativeFlattenCovariantDeriveEqual
AssociativeFlattenCovariantDeriveEqual
CommutativeBothDeriveEqualInvariant
CommutativeBothDeriveEqualInvariant
CommutativeEitherDeriveEqualInvariant
CommutativeEitherDeriveEqualInvariant
CommutativeEqual
CommutativeEqual
CommutativeIdentity
CommutativeIdentity
ContravariantDeriveEqual
ContravariantDeriveEqual
CovariantDeriveEqual
CovariantDeriveEqual
CovariantDeriveEqualIdentityFlatten
CovariantDeriveEqualIdentityFlatten
CovariantIdentityBoth
CovariantIdentityBoth
DeriveEqualForEach
DeriveEqualForEach
DeriveEqualIdentityBothInvariant
DeriveEqualIdentityBothInvariant
DeriveEqualIdentityEitherInvariant
DeriveEqualIdentityEitherInvariant
DeriveEqualNonEmptyForEach
DeriveEqualNonEmptyForEach
EqualIdempotent
EqualIdempotent
EqualIdentity
EqualIdentity
EqualInverse
EqualInverse
EqualPartialInverse
EqualPartialInverse
HashOrd
HashOrd
HashPartialOrd
HashPartialOrd
data
Optional
WithFilter
Optional
Absent
Present
experimental
coherent
AbsorptionEqual
AbsorptionEqual
AnnihilationEqual
AnnihilationEqual
DistributiveAbsorptionEqual
DistributiveAbsorptionEqual
DistributiveProdEqual
DistributiveProdEqual
ExcludedMiddleEqual
ExcludedMiddleEqual
InvolutionEqual
InvolutionEqual
NoncontradictionEqual
NoncontradictionEqual
laws
AbsorptionLaws
AnnihilationLaws
BuildInfo
DistributiveAbsorptionLaws
DistributiveProdLaws
ExcludedMiddleLaws
InvolutionLaws
NoncontradictionLaws
Absorption
Absorption
AbsorptionSyntax
AbsorptionOps
Annihilation
Annihilation
ApplicationCompose
ApplicationCompose
ApplicationComposeSyntax
ApplicationComposeCurryOps
ApplicationComposeUncurryOps
BothCompose
BothCompose
BothComposeSyntax
BothComposeOps
BuildInfo
Complement
Complement
ComplementSyntax
ComplementOps
DistributiveAbsorption
DistributiveAbsorption
DistributiveProd
DistributiveProd
DistributiveProdLowPriorityImplicits
DistributiveProdSyntax
DistributiveProdOps
Divide
DivideSyntax
DivideOps
EitherCompose
EitherCompose
EitherComposeSyntax
EitherComposeOps
ExcludedMiddle
ExcludedMiddle
Involution
Involution
Noncontradiction
Noncontradiction
PartialDivide
PartialDivideSyntax
PartialDivideOps
Subtract
SubtractSyntax
SubtractOps
classic
fx
ZPure
ZPure
EnvironmentWithPartiallyApplied
EnvironmentWithPurePartiallyApplied
FlagType
ClearLogOnError
FlagType
ServiceWithPartiallyApplied
ServiceWithPurePartiallyApplied
ZPureRefineToOrDieOps
laws
AssertionSyntax
AssociativeBothLaws
AssociativeEitherLaws
AssociativeFlattenLaws
AssociativeLaws
BuildInfo
CommutativeBothLaws
CommutativeEitherLaws
CommutativeLaws
ContravariantLaws
CovariantLaws
EqualLaws
EquivalenceLaws
ForEachLaws
GenFs
Gens
HashLaws
IdempotentLaws
IdentityBothLaws
IdentityEitherlaws
IdentityFlattenLaws
IdentityLaws
InverseLaws
NonEmptyForEachLaws
OrdLaws
PartialInverseLaws
PartialOrdLaws
newtypes
And
AndF
AndThen
Both
Failure
FailureIn
FailureOut
First
Last
Max
Min
Natural
Or
OrF
Prod
Sum
recursive
Folder
Folder
Recursive
Recursive
Unfolder
Unfolder
scalaparallelcollections
AssociativeFlattenInstances
BuildInfo
EqualInstances
HashInstances
InvariantInstances
OrdInstances
PartialOrdInstances
SPCDerive
Syntax
ParMapOps
AnyType
AnyType
Associative
Associative
AssociativeBoth
AssociativeBoth
AssociativeBothLowPriority
AssociativeBothSyntax
AssociativeBothContravariantOps
AssociativeBothCovariantOps
AssociativeBothOps
AssociativeBothTuple10Ops
AssociativeBothTuple11Ops
AssociativeBothTuple12Ops
AssociativeBothTuple13Ops
AssociativeBothTuple14Ops
AssociativeBothTuple15Ops
AssociativeBothTuple16Ops
AssociativeBothTuple17Ops
AssociativeBothTuple18Ops
AssociativeBothTuple19Ops
AssociativeBothTuple20Ops
AssociativeBothTuple21Ops
AssociativeBothTuple22Ops
AssociativeBothTuple2Ops
AssociativeBothTuple3Ops
AssociativeBothTuple4Ops
AssociativeBothTuple5Ops
AssociativeBothTuple6Ops
AssociativeBothTuple7Ops
AssociativeBothTuple8Ops
AssociativeBothTuple9Ops
AssociativeCompose
AssociativeCompose
AssociativeComposeSyntax
AssociativeComposeOps
AssociativeEither
AssociativeEither
AssociativeEitherSyntax
AssociativeEitherContravariantOps
AssociativeEitherCovariantOps
AssociativeEitherOps
AssociativeFlatten
AssociativeFlatten
AssociativeFlattenSyntax
AssociativeFlattenCovariantOps
AssociativeFlattenOps
AssociativeLowPriority
AssociativeSyntax
AssociativeOps
Bicovariant
Bicovariant
BicovariantSyntax
BicovariantOps
BuildInfo
Commutative
Commutative
CommutativeBoth
CommutativeBoth
CommutativeBothSyntax
CommutativeBothContraVariantOps
CommutativeBothCovariantOps
CommutativeBothOps
CommutativeBothTuple10Ops
CommutativeBothTuple11Ops
CommutativeBothTuple12Ops
CommutativeBothTuple13Ops
CommutativeBothTuple14Ops
CommutativeBothTuple15Ops
CommutativeBothTuple16Ops
CommutativeBothTuple17Ops
CommutativeBothTuple18Ops
CommutativeBothTuple19Ops
CommutativeBothTuple20Ops
CommutativeBothTuple21Ops
CommutativeBothTuple22Ops
CommutativeBothTuple2Ops
CommutativeBothTuple3Ops
CommutativeBothTuple4Ops
CommutativeBothTuple5Ops
CommutativeBothTuple6Ops
CommutativeBothTuple7Ops
CommutativeBothTuple8Ops
CommutativeBothTuple9Ops
CommutativeEither
CommutativeEither
CommutativeEitherSyntax
CommutativeEitherContravariantOps
CommutativeEitherCovariantOps
CommutativeEitherOps
Comparison
Comparison
NotEqual
ConstExports
Const
Contravariant
Contravariant
ContravariantSubset
ContravariantSyntax
ContravariantOps
Covariant
Covariant
CovariantSubset
CovariantSyntax
CovariantOps
Debug
Debug
Renderer
Repr
Boolean
Byte
Char
Constructor
Constructor
Double
Float
Int
KeyValue
Long
Object
Short
String
VConstructor
Repr
DebugSyntax
DebugInterpolator
DebugOps
DebugVersionSpecific
Derive
Derive
Divariant
Divariant
Join
DivariantSyntax
DivariantOps
Equal
Equal
EqualSyntax
EqualOps
EqualVersionSpecific
Equivalence
Equivalence
ForEach
ForEach
ForEachSyntax
FlipOps
ForEachOps
Hash
Hash
HashSyntax
HashOps
IdExports
Id
Idempotent
Idempotent
Identity
Identity
IdentityBoth
IdentityBoth
IdentityBothSyntax
IdentityBothAnyOps
IdentityCompose
IdentityEither
IdentityEither
IdentityEitherSyntax
IdentityEitherAnyOps
IdentityFlatten
IdentityFlatten
IdentitySyntax
IdentityOps
Invariant
Invariant
InvariantSyntax
InvariantOps
InvariantVersionSpecific
DeriveBuildFrom
DeriveBuildFrom
Inverse
Inverse
InverseSyntax
InverseOps
Liftables
LiteralLift
LiteralUnlift
given_FromExpr_Regex
given_ToExpr_Regex
LowPriorityInvariantImplicits
LowPriorityNonEmptyListImplicits
LowPriorityValidationImplicits
LowPriorityZNonEmptySetImplicits
LowPriorityZSetImplicits
Macros
Newtype
NewtypeCustom
NewtypeFExports
NewtypeF
SubtypeF
NewtypeVersionSpecific
NonEmptyForEach
NonEmptyForEach
NonEmptyForEachSyntax
Flip1Ops
NonEmptyForEachOps
NonEmptyList
NonEmptyList
Cons
Single
NonEmptyListSyntax
NonEmptyListConsOps
NonEmptyListListOps
NonEmptyMap
NonEmptyMap
NonEmptyMapSyntax
NonEmptyMapIterableOps
NonEmptyMapMapOps
NonEmptySet
NonEmptySet
NonEmptySetSyntax
NonEmptySetIterableOps
NonEmptySetSetOps
NonEmptySortedMap
NonEmptySortedMap
NonEmptySortedMapSyntax
NonEmptySortedMapIterableOps
NonEmptySortedMapMapOps
NonEmptySortedSet
NonEmptySortedSet
NonEmptySortedSetSyntax
NonEmptySortedSetIterableOps
NonEmptySortedSetSetOps
Ord
Ord
OrdSyntax
OrdOps
Ordering
Ordering
Equals
GreaterThan
LessThan
ParSeq
ParSeq
Both
Empty
Single
Then
PartialEquivalence
PartialEquivalence
PartialInverse
PartialInverse
PartialInverseSyntax
PartialInverseOps
PartialOrd
PartialOrd
PartialOrdSyntax
PartialOrdOps
PartialOrdering
PartialOrdering
Incomparable
RightCovariant
SafeFunction
SafeFunction
Subtype
SubtypeCustom
TestAssertions
These
These
Both
Left
Right
Validator
ZNonEmptySet
ZNonEmptySet
ZNonEmptySetSyntax
ZNonEmptySetMapOps
ZNonEmptySetNonEmptyMultiSetOps
ZSet
ZSet
ZSetSyntax
ZSetMapOps
ZSetMultiSetOps
ZValidation
ZValidation
Failure
Success
ZValidationException
Zivariant
Zivariant
ZivariantSyntax
ZivariantOps
classic
zio-prelude-docs
/
zio.prelude
/
zio.prelude.experimental
/
classic
classic
zio.prelude.experimental.`package`.classic
object
classic
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
classic
.
type
Members list
Clear all
Type members
Types
type
CartesianCategory
[
=>:
[
_
,
_
],
:*:
[
_
,
_
]] =
IdentityCompose
[
=>:
]
&
Aux
[
=>:
,
:*:
]
type
ClosedCartesianCategory
[
=>:
[
_
,
_
],
:*:
[
_
,
_
],
-->:
[
_
,
_
]] =
CartesianCategory
[
=>:
,
:*:
]
&
Aux
[
=>:
,
:*:
,
-->:
]
type
CoCartesianCategory
[
=>:
[
_
,
_
],
:+:
[
_
,
_
]] =
IdentityCompose
[
=>:
]
&
Aux
[
=>:
,
:+:
]
In this article
Attributes
Members list
Type members
Types