-
-
Notifications
You must be signed in to change notification settings - Fork 338
Look into returns
library for higher-kinded types
#880
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.
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
Comments
What about, eg, returning a Result from Validate? That would allow the user to do something with the Failure, like log the failed |
I'm guessing I'd hesitate to introduce this breaking change until perhaps version |
Definitely a breaking change and likely not something you'd want as a default. Most people probably wouldn't be expecting it. But it could be implemented either as a I'm not super familiar with the source code so there may be a better way to implement, but that's off the top of my head. |
https://returns.readthedocs.io/
Use case: for the
model.SchemaModel
class, we want to be able to support higher kinded types in methods e.g. thevalidate
method, such that it can return type-varying generics based on the type of thecheck_obj
argument.https://returns.readthedocs.io/en/latest/pages/hkt.html
The text was updated successfully, but these errors were encountered: