| 1 | "@effect/platform-browser/Geolocation#ErrorTypeId": |
| 2 | replacement: "none" |
| 3 | note: "The error marker is private in v4; discriminate GeolocationError and its tagged reason." |
| 4 | "@effect/platform-browser/Geolocation#Geolocation": |
| 5 | replacement: "Geolocation.Geolocation" |
| 6 | note: "The service remains, now as a Context.Service with a private brand." |
| 7 | "@effect/platform-browser/Geolocation#GeolocationError": |
| 8 | replacement: "Geolocation.GeolocationError" |
| 9 | note: "The class remains, but reason is now PositionUnavailable, PermissionDenied, or Timeout, with the cause stored on that tagged reason." |
| 10 | "@effect/platform-browser/Geolocation#TypeId": |
| 11 | replacement: "none" |
| 12 | note: "The service marker is private in v4; use the Geolocation Context.Service value." |