Differ implements Pipeable

.changeset/rude-rules-brush.md

@@ -0,0 +1,5 @@
+---
+"effect": minor
+---
+
+`Differ` implements `Pipeable`

packages/effect/src/Differ.ts

@@ -15,6 +15,7 @@ import * as HashMapPatch from "./internal/differ/hashMapPatch.js"
 import * as HashSetPatch from "./internal/differ/hashSetPatch.js"
 import * as OrPatch from "./internal/differ/orPatch.js"
 import * as ReadonlyArrayPatch from "./internal/differ/readonlyArrayPatch.js"
+import type { Pipeable } from "./Pipeable.js"
 import type * as Types from "./Types.js"
 
 /**
@@ -48,7 +49,7 @@ export type TypeId = typeof TypeId
  * @since 2.0.0
  * @category models
  */
-export interface Differ<in out Value, in out Patch> {
+export interface Differ<in out Value, in out Patch> extends Pipeable {
   readonly [TypeId]: {
     readonly _V: Types.Invariant<Value>
     readonly _P: Types.Invariant<Patch>

packages/effect/src/internal/differ.ts

@@ -7,6 +7,7 @@ import * as Dual from "../Function.js"
 import { constant, identity } from "../Function.js"
 import type { HashMap } from "../HashMap.js"
 import type { HashSet } from "../HashSet.js"
+import { pipeArguments } from "../Pipeable.js"
 import * as ChunkPatch from "./differ/chunkPatch.js"
 import * as ContextPatch from "./differ/contextPatch.js"
 import * as HashMapPatch from "./differ/hashMapPatch.js"
@@ -22,6 +23,9 @@ export const DifferProto = {
   [DifferTypeId]: {
     _P: identity,
     _V: identity
+  },
+  pipe() {
+    return pipeArguments(this, arguments)
   }
 }
 

packages/effect/test/Differ.test.ts

@@ -128,7 +128,10 @@ describe("Differ", () => {
 
   describe("tuple", () => {
     diffLaws(
-      pipe(Differ.update<number>(), Differ.zip(Differ.update<number>())),
+      Differ.update<number>()
+        .pipe(
+          Differ.zip(Differ.update<number>())
+        ),
       randomPair,
       (a, b) => Equal.equals(a[0], b[0]) && Equal.equals(a[1], b[1])
     )