Skip to content

Conversation

@nsaunders
Copy link
Owner

MonadAff m => MonadError Error m => m a and Aff a are roughly equivalent in that I believe the latter is in practice the only concretization of the former. I think this is why other libraries just simplify the type signature to Aff. (Affjax is the last example of this I checked.)

@nsaunders nsaunders merged commit 5ada171 into master Jul 12, 2019
@nsaunders nsaunders deleted the feature/aff branch February 8, 2023 19:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants