Generalize type signature of usingStateT
#2922
Closed
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR changes two characters to generalize the type of
usingStateT
. This permits its use with functions that arbitrarily transform the items in a stream.Here is a motiving example. I rely on the below function as a way to write stream transformations in which each item in a stream can be transformed in a way that depends on an arbitrary state (which is typically built up from previous items in the stream):
It should be possible to refactor this function as
stateMap f s = S.catMaybes . S.usingStateT (return s) (S.mapM f)
, but presently the type ofusingStateT
would overly constrain the type off
.(I'll also take this opportunity to ask: Is there is an established approach to doing the sort of thing I wrote
stateMap
for? I couldn't find any such pre-packaged functionality in the library.)