Haemin Yoo comments

Results 15 comments of


                                            Haemin Yoo

Bidirectional mapping

Maybe you can utilize isomorphisms from other libraries (like `monocle.Iso`), and define two implicit `Transformer` instances based on that?

Openapi 3.1 support in the model

Is it a possibility that tapir maintains support for both 3.0.x and 3.1 for some time? I understand Swagger is the immediate blocker, but even after that there might be...

[Focus] zoom into a common field of an enumeration

I wonder if it's possible to change the implementation of `.focus`, so doesn't directly invoke the macro but instead takes an implicit parameter for a lens (with the macro one...

Parameterizable relations

I don't know how caches can work with this. This implies that parameters also take in functions (opaque) for caches.

Is filtering possible?

`.filter` on - `many` => `many` - `single` => `optional` - `optional` => `optional`

A typo in documentation: izMumi-reflect

I can still see the typo on the sidebar: https://zio.dev/izumi-reflect/

Missing documentation for "commands" in Emacs docs

I'm having some different issue, where I don't know how to run the small `run|debug` menu next to my main class without having to click them. With GUI it's a...

Consistent apis for creating proofs

implementation function should be given a specific datatype, and return a general datatype

Consistent apis for creating proofs

Need a general way to handle errors

Create an internal equivalent to buildfrom

Is it possible to internally use pooled mutable arrays for intermediate results?