Skip to content
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

Supply interfaces for lifting other transformers in SyncSFs #14

Open
turion opened this issue Dec 6, 2017 · 0 comments
Open

Supply interfaces for lifting other transformers in SyncSFs #14

turion opened this issue Dec 6, 2017 · 0 comments
Labels

Comments

@turion
Copy link
Owner

turion commented Dec 6, 2017

Dunai's exception handling has been ported to Rhine's SyncSFs with some boiler plate code. This is still missing for most other transformers (e.g. #13 is a subissue of this).

The main issue is always that one can't directly apply the functions from Dunai's Control.Monad.Trans.MSF.*, since in a SyncSF, the outermost monad layer is ReaderT.
So one needs to commute some transformer past the outermost ReaderT layer of SyncSF,
then handle it, and possibly commute it back.
Doing this in a systematic way (e.g. a type class) would maybe clean up code and simplify progress.

@turion turion changed the title Supply interfaces for other transformer lifting Supply interfaces for lifting other transformers in SyncSFs Dec 18, 2017
@turion turion added the dunai label May 10, 2018
@turion turion added this to the HS2018-publication milestone May 14, 2018
@turion turion removed this from the HS2018-publication milestone Sep 27, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant