Make some type signatures more permissive

CHANGELOG.md

@@ -5,6 +5,11 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.12.1] - 2024-06-19
+
+### Changed
+- The TypeScript deserialization functions now have a more permissive type signature.
+
 ## [0.12.0] - 2024-06-19
 
 ### Changed

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "typical"
-version = "0.12.0"
+version = "0.12.1"
 authors = ["Stephan Boyer <[email protected]>"]
 edition = "2021"
 description = "Data interchange with algebraic data types."

README.md

@@ -82,8 +82,9 @@ let message = SendEmailRequestOut {
     body: "It makes serialization easy and safe.".to_owned(),
 };
 
-let file = BufWriter::new(File::create(FILE_PATH)?);
-message.serialize(file)?;
+let mut file = BufWriter::new(File::create(REQUEST_FILE_PATH)?);
+message.serialize(&mut file)?;
+file.flush()?;
 ```
 
 Another program could read the file and deserialize the message as follows:

examples/rust/src/main.rs

@@ -3,7 +3,7 @@ mod types;
 use {
     std::{
         fs::{remove_file, File},
-        io::{self, BufReader, BufWriter},
+        io::{self, BufReader, BufWriter, Write},
     },
     types::{
         types::{
@@ -16,7 +16,7 @@ use {
 const REQUEST_FILE_PATH: &str = "/tmp/request";
 const RESPONSE_FILE_PATH: &str = "/tmp/response";
 
-fn write_to_file() -> io::Result<()> {
+fn write_to_files() -> io::Result<()> {
     let request_message = SendEmailRequestOut {
         to: "[email protected]".to_owned(),
         subject: "I love Typical!".to_owned(),
@@ -25,14 +25,16 @@ fn write_to_file() -> io::Result<()> {
 
     let response_message = SendEmailResponseOut::Error("Example error".to_string());
 
-    let request_file = BufWriter::new(File::create(REQUEST_FILE_PATH)?);
-    request_message.serialize(request_file)?;
+    let mut request_file = BufWriter::new(File::create(REQUEST_FILE_PATH)?);
+    request_message.serialize(&mut request_file)?;
+    request_file.flush()?;
 
-    let response_file = BufWriter::new(File::create(RESPONSE_FILE_PATH)?);
-    response_message.serialize(response_file)
+    let mut response_file = BufWriter::new(File::create(RESPONSE_FILE_PATH)?);
+    response_message.serialize(&mut response_file)?;
+    response_file.flush()
 }
 
-fn read_from_file() -> io::Result<()> {
+fn read_from_files() -> io::Result<()> {
     let request_file = BufReader::new(File::open(REQUEST_FILE_PATH)?);
     let request_message = SendEmailRequestIn::deserialize(request_file)?;
 
@@ -52,8 +54,8 @@ fn read_from_file() -> io::Result<()> {
 }
 
 fn main() -> io::Result<()> {
-    write_to_file()?;
-    read_from_file()?;
+    write_to_files()?;
+    read_from_files()?;
     remove_file(REQUEST_FILE_PATH)?;
     remove_file(RESPONSE_FILE_PATH)
 }

examples/typescript/src/main.ts

@@ -5,7 +5,7 @@ const requestFilePath = '/tmp/request';
 const responseFilePath = '/tmp/response';
 const { SendEmailRequest, SendEmailResponse } = Types;
 
-function writeToFile(): void {
+function writeToFiles(): void {
   const requestMessage = {
     to: '[email protected]',
     subject: 'I love Typical!',
@@ -23,29 +23,15 @@ function writeToFile(): void {
   writeFileSync(responseFilePath, Buffer.from(responseArrayBuffer));
 }
 
-function readFromFile(): void {
+function readFromFiles(): void {
   const requestFileContents = readFileSync(requestFilePath);
-  const requestMessage = SendEmailRequest.deserialize(
-    new DataView(
-      requestFileContents.buffer,
-      requestFileContents.byteOffset,
-      requestFileContents.byteLength,
-    ),
-  );
-
+  const requestMessage = SendEmailRequest.deserialize(requestFileContents);
   if (requestMessage instanceof Error) {
     throw requestMessage;
   }
 
   const responseFileContents = readFileSync(responseFilePath);
-  const responseMessage = SendEmailResponse.deserialize(
-    new DataView(
-      responseFileContents.buffer,
-      responseFileContents.byteOffset,
-      responseFileContents.byteLength,
-    ),
-  );
-
+  const responseMessage = SendEmailResponse.deserialize(responseFileContents);
   if (responseMessage instanceof Error) {
     throw responseMessage;
   }
@@ -72,7 +58,7 @@ function readFromFile(): void {
   return undefined; // To satisfy ESLint's `consistent-return` rule
 }
 
-writeToFile();
-readFromFile();
+writeToFiles();
+readFromFiles();
 unlinkSync(requestFilePath);
 unlinkSync(responseFilePath);

integration_tests/typescript_node/src/assertions.ts

@@ -15,7 +15,7 @@ try {
 export function assertMatch<O, I>(
   size: (message: O) => number,
   serialize: (message: O) => ArrayBuffer,
-  deserialize: (dataView: DataView) => I,
+  deserialize: (bytes: DataView | Uint8Array) => I,
   actual: O,
   expected: unknown,
 ): void {
@@ -44,7 +44,7 @@ export function assertMatch<O, I>(
 export function assertRoundTrip<O, I, V extends O>(
   size: (message: O) => number,
   serialize: (message: O) => ArrayBuffer,
-  deserialize: (dataView: DataView) => I,
+  deserialize: (bytes: DataView | Uint8Array) => I,
   message: V,
 ): void {
   assertMatch(size, serialize, deserialize, message, message);

integration_tests/typescript_web/src/assertions.ts

@@ -20,7 +20,7 @@ function deepStrictEqual<T, U>(x: T, y: U): void {
 export function assertMatch<O, I>(
   size: (message: O) => number,
   serialize: (message: O) => ArrayBuffer,
-  deserialize: (dataView: DataView) => I,
+  deserialize: (bytes: DataView | Uint8Array) => I,
   actual: O,
   expected: unknown,
 ): void {
@@ -51,7 +51,7 @@ export function assertMatch<O, I>(
 export function assertRoundTrip<O, I, V extends O>(
   size: (message: O) => number,
   serialize: (message: O) => ArrayBuffer,
-  deserialize: (dataView: DataView) => I,
+  deserialize: (bytes: DataView | Uint8Array) => I,
   message: V,
 ): void {
   assertMatch(size, serialize, deserialize, message, message);

src/generate_typescript.rs

@@ -1486,13 +1486,59 @@ fn write_deserialize_function<T: Write>(
     name: &Identifier,
 ) -> Result<(), fmt::Error> {
     write_indentation(buffer, indentation)?;
-    write!(buffer, "export function deserialize(dataView: DataView): ")?;
+    writeln!(buffer, "export function deserialize(")?;
+    write_indentation(buffer, indentation + 1)?;
+    writeln!(buffer, "bytes:")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| ArrayBuffer")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| DataView")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| Int8Array")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| Uint8Array")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| Uint8ClampedArray")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| Int16Array")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| Uint16Array")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| Int32Array")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| Uint32Array")?;
+    // `Float16Array` was omitted here since it apparently TypeScript doesn't know about it.
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| Float32Array")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| Float64Array")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| BigInt64Array")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "| BigUint64Array,")?;
+    write_indentation(buffer, indentation)?;
+    write!(buffer, "): ")?;
     write_identifier(buffer, name, Pascal, Some(In))?;
     writeln!(buffer, " | Error {{")?;
     write_indentation(buffer, indentation + 1)?;
     writeln!(buffer, "try {{")?;
     write_indentation(buffer, indentation + 2)?;
-    writeln!(buffer, "return deserializeUnsafe(dataView);")?;
+    writeln!(buffer, "if (bytes instanceof ArrayBuffer) {{")?;
+    write_indentation(buffer, indentation + 3)?;
+    writeln!(buffer, "return deserializeUnsafe(new DataView(bytes));")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "}}")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "if (bytes instanceof DataView) {{")?;
+    write_indentation(buffer, indentation + 3)?;
+    writeln!(buffer, "return deserializeUnsafe(bytes);")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(buffer, "}}")?;
+    write_indentation(buffer, indentation + 2)?;
+    writeln!(
+        buffer,
+        "return deserializeUnsafe(new DataView(bytes.buffer, bytes.byteOffset, bytes.byteLength));",
+    )?;
     write_indentation(buffer, indentation + 1)?;
     writeln!(buffer, "}} catch (e) {{")?;
     write_indentation(buffer, indentation + 2)?;