-
Notifications
You must be signed in to change notification settings - Fork 49
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
CPS version of ChronicleT #173
Comments
What that version would look like? Note that Chronicle is closer to newtype EitherKT e m a = EKT (forall r. (a -> m (Either e r)) -> m (Either e r)) and there could be one more often used in parsers newtype EitherCpsT e m a = ECT (forall r. (a -> m r) -> (e -> m r) -> m r) but i'd prefer seeing this in |
I was thinking about something like:
So that
|
I see. Ok, I'll be happy to review a PR adding that in |
Would it make sense to add a CPS version of
ChronicleT
, similar toControl.Monad.Trans.Writer.CPS
, in order to achieve constant space usage?The text was updated successfully, but these errors were encountered: