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

Expose restack and ElemOf manipulation functions in Polysemy.Membership #460

Open
KingoftheHomeless opened this issue Oct 2, 2022 · 1 comment
Open

Expose restack and ElemOf manipulation functions in Polysemy.Membership #460

KingoftheHomeless opened this issue Oct 2, 2022 · 1 comment
Milestone
v2

Comments

@KingoftheHomeless
Copy link
Collaborator

The following function should be exposed (name not final):

restack :: (forall e. ElemOf e r -> ElemOf e r') -> Sem r a -> Sem r' a

Together with the extendMembership/injectMembership family of functions and other ElemOf manipulation functions in Polysemy.Internal.Union
@tek
Copy link
Member

tek commented Oct 2, 2022

mapMembership or transformMembership?

@KingoftheHomeless KingoftheHomeless added this to the v2 milestone Dec 29, 2022
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
v2
Development

No branches or pull requests
2 participants
@tek @KingoftheHomeless