Effect-TS/effect @effect/rpc@0.27.0 on GitHub

Minor Changes

#2006 9a2d1c1 Thanks @github-actions! - With this change we now require a string key to be provided for all tags and renames the dear old Tag to GenericTag, so when previously you could do:

import { Effect, Context } from "effect";
interface Service {
  readonly _: unique symbol;
}
const Service = Context.Tag<
  Service,
  {
    number: Effect.Effect<never, never, number>;
  }
>();

you are now mandated to do:

import { Effect, Context } from "effect";
interface Service {
  readonly _: unique symbol;
}
const Service = Context.GenericTag<
  Service,
  {
    number: Effect.Effect<never, never, number>;
  }
>("Service");

This makes by default all tags globals and ensures better debuggaility when unexpected errors arise.

Furthermore we introduce a new way of constructing tags that should be considered the new default:

import { Effect, Context } from "effect";
class Service extends Context.Tag("Service")<
  Service,
  {
    number: Effect.Effect<never, never, number>;
  }
>() {}

const program = Effect.flatMap(Service, ({ number }) => number).pipe(
  Effect.flatMap((_) => Effect.log(`number: ${_}`)),
);

this will use "Service" as the key and will create automatically an opaque identifier (the class) to be used at the type level, it does something similar to the above in a single shot.

#2006 2131a8c Thanks @github-actions! - second revision of /rpc api
/rpc now uses Schema.TaggedRequest to define the schemas, and supports
streaming.
The api has been simplified and has a less complex design. See the examples
folder in the /rpc-http package for a simple example.
#2006 1a77f72 Thanks @github-actions! - change Effect type parameters order from Effect<R, E, A> to Effect<A, E = never, R = never>
#2006 a34dbdc Thanks @github-actions! - - Schema: change type parameters order from Schema<R, I, A> to Schema<A, I = A, R = never>
- Serializable: change type parameters order from Serializable<R, I, A> to Serializable<A, I, R>
- Class: change type parameters order from Class<R, I, A, C, Self, Inherited> to Class<A, I, R, C, Self, Inherited>
- PropertySignature: change type parameters order from PropertySignature<R, From, FromIsOptional, To, ToIsOptional> to PropertySignature<From, FromIsOptional, To, ToIsOptional, R = never>
#2006 02c3461 Thanks @github-actions! - With this change we remove the Data.Data type and we make Equal.Equal & Hash.Hash implicit traits.
The main reason is that Data.Data<A> was structurally equivalent to A & Equal.Equal but extending Equal.Equal doesn't mean that the equality is implemented by-value, so the type was simply adding noise without gaining any level of safety.
The module Data remains unchanged at the value level, all the functions previously available are supposed to work in exactly the same manner.
At the type level instead the functions return Readonly variants, so for example we have:
```
import { Data } from "effect";

const obj = Data.struct({
  a: 0,
  b: 1,
});
```
will have the obj typed as:
```
declare const obj: {
  readonly a: number;
  readonly b: number;
};
```

#2006 9a2d1c1 Thanks @github-actions! - This change enables Effect.serviceConstants and Effect.serviceMembers to access any constant in the service, not only the effects, namely it is now possible to do:

import { Effect, Context } from "effect";

class NumberRepo extends Context.TagClass("NumberRepo")<
  NumberRepo,
  {
    readonly numbers: Array<number>;
  }
>() {
  static numbers = Effect.serviceConstants(NumberRepo).numbers;
}

Patch Changes

Updated dependencies [96bcee2, b1e2086, 4cd6e14, 96bcee2, c77f635, e343a74, acf1894, 9dc04c8, 9a2d1c1, 1a77f72, af47aa3, d3f9f4d, c986f0e, 96bcee2, d3f9f4d, d3f9f4d, d3f9f4d, 70dde23, a34dbdc, d3f9f4d, 81b7425, b1e2086, 02c3461, 0e56e99, 8b0ded9, 8dd83e8, 5127afe, d75f6fe, 7356e5c, 3077cde, be19ce0, 4a5d01a, 78f47ab, 6361ee2, 52e5d20, c6137ec, 86f665d, f5ae081, 4a5d01a, 60686f5, 9a2d1c1, 5127afe, 56b8691, 8ee2931, 6727474, 5127afe]:
- effect@2.3.0
- @effect/platform@0.44.0
- @effect/schema@0.62.0