Adam Fraser

`LogFormat.default` and `LogFormat.cause` should include the `Cause` if it exists. It appears that this will require some changes in the interface of `LogFormat` to support `label` only adding a key...

Resolve Inconsistency in Rendering of Algebraic Data Types

3

Right now have some consistency in the rendering of algebraic data types. For example: ```scala // Either Repr.VConstructor(List("scala"), "Left", List(e.debug)) // Debug.Repr.VConstructor(List("zio", "prelude"), "Validation.Failure", List(es.debug)) ``` The `Either` subtype doesn't...

Catch Exceptions In Newtype Constructors

4

The following snippet will currently throw a runtime exception since the string cannot be parsed to a `UUID`: ```scala import java.util.UUID type Id = Id.Type object Id extends Newtype[UUID] Id.make(UUID.fromString("foo"))...

The website here needs to show the most recent release. https://zio.github.io/zio-prelude/docs/overview/overview_index#installation

Support Equality For Contravariant Types

1

Work in process to resolve #92 and #273. I added a new `Enumerable` type class to describe types for which all values can be enumerated. With this we can assert...

How Should We Support "Test" Equal Instances?

3

We're starting to add instances for more data types that don't have well defined `Equal` instances. For example, `Ord` isn't a data type so we can't just look at two...

Issues with `Nothing` Instances

4

Seeing a couple of issues with the implicit instances for `Nothing`. First, instances of parameterized on `Nothing` such as `Equal[Nothing` aren't available in implicit scope. Even if I move everything...

Add Magnolia Support

1

I am working on this.

When we start a fiber we can be interrupted between suppressing the `interruptedCause` and forking the fiber.