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.

Sign up for GitHub

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

Jump to bottom

effectful takingJusts #113

Closed
marcosh opened this issue Apr 6, 2021 · 2 comments
Closed

effectful takingJusts #113

marcosh opened this issue Apr 6, 2021 · 2 comments

Comments

@marcosh
Copy link

marcosh commented Apr 6, 2021

I'm playing a bit with the library and I noticed that the current definition for takingJusts would work also with a ProcessT m (Maybe a) a type.

Is there a particular reason why the current API restrict it to Process?
@Taneb
Copy link
Collaborator

Taneb commented Apr 6, 2021

Process a b is simply forall m. Monad m => ProcessT m a b. This means that I can straight away use takingJusts as though it had the type (for example) ProcessT IO (Maybe Int) Int, without any work on my part. It's not in fact restricted at all.

@marcosh
Copy link
Author

marcosh commented Apr 6, 2021

you're right! thanks for the quick response!

@marcosh marcosh closed this as completed Apr 6, 2021
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Taneb @marcosh