zio
.
prelude
coherent
package
coherent
Visibility
Public
All
Type Members
trait
AssociativeBothDeriveEqualInvariant
[
F
[
_
]
]
extends
AssociativeBoth
[
F
] with
DeriveEqual
[
F
] with
Invariant
[
F
]
trait
AssociativeEitherDeriveEqualInvariant
[
F
[
_
]
]
extends
AssociativeEither
[
F
] with
DeriveEqual
[
F
] with
Invariant
[
F
]
trait
AssociativeEqual
[
A
]
extends
Associative
[
A
] with
Equal
[
A
]
trait
AssociativeFlattenCovariantDeriveEqual
[
F
[
+_
]
]
extends
AssociativeFlatten
[
F
] with
Covariant
[
F
] with
DeriveEqual
[
F
]
trait
CommutativeBothDeriveEqualInvariant
[
F
[
_
]
]
extends
AssociativeBothDeriveEqualInvariant
[
F
] with
CommutativeBoth
[
F
]
trait
CommutativeEitherDeriveEqualInvariant
[
F
[
_
]
]
extends
AssociativeEitherDeriveEqualInvariant
[
F
] with
CommutativeEither
[
F
]
trait
CommutativeEqual
[
A
]
extends
AssociativeEqual
[
A
] with
Commutative
[
A
]
trait
CommutativeIdentity
[
A
]
extends
Commutative
[
A
] with
Identity
[
A
]
trait
ContravariantDeriveEqual
[
F
[
-_
]
]
extends
Contravariant
[
F
] with
DeriveEqual
[
F
]
trait
CovariantDeriveEqual
[
F
[
+_
]
]
extends
Covariant
[
F
] with
DeriveEqual
[
F
]
trait
CovariantDeriveEqualIdentityFlatten
[
F
[
+_
]
]
extends
IdentityFlatten
[
F
] with
AssociativeFlattenCovariantDeriveEqual
[
F
]
trait
DeriveEqualForEach
[
F
[
+_
]
]
extends
CovariantDeriveEqual
[
F
] with
ForEach
[
F
]
trait
DeriveEqualIdentityBothInvariant
[
F
[
_
]
]
extends
AssociativeBothDeriveEqualInvariant
[
F
] with
IdentityBoth
[
F
]
trait
DeriveEqualIdentityEitherInvariant
[
F
[
_
]
]
extends
AssociativeEitherDeriveEqualInvariant
[
F
] with
IdentityEither
[
F
]
trait
DeriveEqualNonEmptyForEach
[
F
[
+_
]
]
extends
DeriveEqualForEach
[
F
] with
NonEmptyForEach
[
F
]
trait
EqualIdempotent
[
A
]
extends
AssociativeEqual
[
A
] with
Idempotent
[
A
]
trait
EqualIdentity
[
A
]
extends
AssociativeEqual
[
A
] with
Identity
[
A
]
trait
EqualInverse
[
A
]
extends
EqualIdentity
[
A
] with
Inverse
[
A
]
trait
HashOrd
[
-A
]
extends
HashPartialOrd
[
A
] with
Ord
[
A
]
trait
HashPartialOrd
[
-A
]
extends
Hash
[
A
] with
PartialOrd
[
A
]
Value Members
object
AssociativeBothDeriveEqualInvariant
object
AssociativeEitherDeriveEqualInvariant
object
AssociativeEqual
object
AssociativeFlattenCovariantDeriveEqual
object
CommutativeBothDeriveEqualInvariant
object
CommutativeEitherDeriveEqualInvariant
object
CommutativeEqual
object
CommutativeIdentity
object
ContravariantDeriveEqual
object
CovariantDeriveEqual
object
CovariantDeriveEqualIdentityFlatten
object
DeriveEqualForEach
object
DeriveEqualIdentityBothInvariant
object
DeriveEqualIdentityEitherInvariant
object
DeriveEqualNonEmptyForEach
object
EqualIdempotent
object
EqualIdentity
object
EqualInverse
object
HashOrd
object
HashPartialOrd
Ungrouped