Exhaustive Error Handling with TaggedError in neverthrow
Hey y'all!
I'm using neverthrow in my nextjs project and using Effect's TaggedError for the errors. Is there a way to do a exhaustive match on the returned errors somehow?
There's a hack where using never in the default switch case will show error if not all the switch cases are handled, but that requires to write the default case every time even when there is no real requirement for that.
I tried using catchTags function as well, but no luck there as well for exhaustiveness check.
I'm using neverthrow in my nextjs project and using Effect's TaggedError for the errors. Is there a way to do a exhaustive match on the returned errors somehow?
There's a hack where using never in the default switch case will show error if not all the switch cases are handled, but that requires to write the default case every time even when there is no real requirement for that.
I tried using catchTags function as well, but no luck there as well for exhaustiveness check.
