@resapi/core 0.3.0 → 0.4.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@resapi/core",
-  "version": "0.3.0",
+  "version": "0.4.0",
   "description": "Type-safe HTTP contracts for ReScript: endpoint contracts, codecs and a typed client.",
   "license": "MIT",
   "homepage": "https://resapi.dev",

package/src/Client.res

@@ -139,8 +139,8 @@ let requestInit = (
 ): Fetch.Request.requestInit => {
   let signal = signal->Option.map(Nullable.make)
   switch contract.method {
-  | Get => {
-      method: "GET",
+  | Get | Delete => {
+      method: Endpoint.methodName(contract.method),
       headers: Fetch.HeadersInit.fromDict(mergeHeaders([client.headers, headers])),
       ?signal,
     }

package/src/Dispatch.res

@@ -36,7 +36,7 @@ let applicationErrorResponse = (contract: Endpoint.t<_, _, _, _>, error) => {
 
 let readJsonBody = async (contract: Endpoint.t<_, _, _, _>, readBody) =>
   switch contract.method {
-  | Get => Ok(JSON.Null)
+  | Get | Delete => Ok(JSON.Null)
   | Post | Put =>
     switch readBody() {
     | Parsed(json) => Ok(json)

package/src/Endpoint.res

@@ -2,7 +2,7 @@
 // it references no server or runtime code. Server adapters turn contracts into routes.
 // Constructors check the route's params against the params codec and throw on a mismatch (RouteCheck).
 
-type method = Get | Post | Put
+type method = Get | Post | Put | Delete
 
 type noError
 
@@ -61,6 +61,19 @@ let put = (path, ~params, ~body, ~response) => {
   }
 }
 
+let delete = (path, ~params, ~response) => {
+  RouteCheck.assertValid(path, params)
+  {
+    method: Delete,
+    path,
+    paramsCodec: params,
+    bodyCodec: Codec.unit,
+    responseCodec: response,
+    errorCodec: noErrorCodec,
+    errorStatus: _ => 500,
+  }
+}
+
 let withErrors = (contract: t<'p, 'b, 'r, noError>, errorCodec: Codec.t<'e>, ~status) => {
   ...contract,
   errorCodec,
@@ -76,4 +89,5 @@ let methodName = method =>
   | Get => "GET"
   | Post => "POST"
   | Put => "PUT"
+  | Delete => "DELETE"
   }

package/src/Endpoint.resi

@@ -1,13 +1,13 @@
 // A contract describes an endpoint's wire format and is safe to share with clients: it references no
 // server or runtime code. Server adapters turn contracts into routes.
 
-type method = Get | Post | Put
+type method = Get | Post | Put | Delete
 
 /** The error type of an endpoint that declares no application errors. It has no values, so a handler
     for such an endpoint cannot return `Error(_)`. */
 type noError
 
-/** Read-only outside this module: contracts are built with `get`/`post`/`put`, which check the route. */
+/** Read-only outside this module: contracts are built with `get`/`post`/`put`/`delete`, which check the route. */
 type t<'params, 'body, 'response, 'error> = private {
   method: method,
   path: string,
@@ -38,6 +38,10 @@ let put: (
   ~response: Codec.t<'r>,
 ) => t<'p, 'b, 'r, noError>
 
+/** Like `get`, a DELETE contract has no request body. Throws if the route's `:params` don't match the
+    params codec (see `RouteCheck`). */
+let delete: (string, ~params: Codec.t<'p>, ~response: Codec.t<'r>) => t<'p, unit, 'r, noError>
+
 /** Declares the endpoint's application errors and the HTTP status (4xx or 5xx) each one is sent with. */
 let withErrors: (t<'p, 'b, 'r, noError>, Codec.t<'e>, ~status: 'e => int) => t<'p, 'b, 'r, 'e>
 
@@ -47,5 +51,5 @@ type any = private {method: method, path: string}
 
 let any: t<'p, 'b, 'r, 'e> => any
 
-/** `"GET"`, `"POST"`, or `"PUT"`. */
+/** `"GET"`, `"POST"`, `"PUT"`, or `"DELETE"`. */
 let methodName: method => string

package/src/Fetch.res

@@ -6,7 +6,9 @@
 //
 // Mirrored from rescript-lang/experimental-rescript-webapi main as of 2026-10-11 (alpha build b1d58f9):
 // src/fetch/{Request,Response,Headers,HeadersInit,BodyInit,Fetch}.res, src/event/{AbortSignal,
-// AbortController}.res. Re-checked for 0.2.0 against main b46bc2c on 2026-10-11: those files are unchanged.
+// AbortController}.res. Re-checked for 0.4.0 against main 4888db2 on 2026-11-15: nothing mirrored here
+// changed (upstream retyped byte streams as Uint8Array and added `type t` aliases to Headers and
+// AbortController).
 // Re-check it at every resAPI release (docs/release-process.md).
 // Abstract types (Headers.t, AbortSignal.t) are subsets of webapi's records: the re-export adds
 // `type t = WebAPI.FetchTypes.headers` and `type t = WebAPI.DOM.abortSignal`.