Branded types "fail origin"
Following the documentation about Branded types (https://effect.website/docs/guides/style/branded-types#combining-branded-types) I have a question ; let's take the example from the documentation.
For the sake of improving logging/tracing, is there a way to specify where the error originated from in the message or metadata in a "lazy" way.
For example when providing a float to "Int" i'd love to know that if failed from an "Int" ; but when providing an float to "PositiveInt" i'd love to know that it fialed from a "PositiveInt", so I cannot just add the Branded type name inside the message, else when failing from "PositiveInt" it will show "Int".
Am I clear enough ?
For the sake of improving logging/tracing, is there a way to specify where the error originated from in the message or metadata in a "lazy" way.
For example when providing a float to "Int" i'd love to know that if failed from an "Int" ; but when providing an float to "PositiveInt" i'd love to know that it fialed from a "PositiveInt", so I cannot just add the Branded type name inside the message, else when failing from "PositiveInt" it will show "Int".
Am I clear enough ?
Similar Threads
Was this page helpful?
