New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: separate input and output types #155

Merged

tjjfvi merged 1 commit into main from io

Apr 8, 2023

Owner

tjjfvi commented Apr 8, 2023

This does two things:

allows us to have covariant and contravariant constraints, rather than always being invariant
allows e.g. $.array($.str) to be assignable to both Codec<string[]> and Codec<readonly string[]>


          separate input and output types

7fc6117

tjjfvi requested a review from harrysolovay

April 8, 2023 20:23

harrysolovay approved these changes

View reviewed changes

tjjfvi merged commit 1c211ce into main

tjjfvi deleted the io branch

April 8, 2023 21:21

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet