Skip to content

Add censor function to Capability.Writer - #94

Merged
aspiwack merged 1 commit into
tweag:masterfrom
byorgey:master
Jun 18, 2021
Merged

aspiwack merged 1 commit into
tweag:masterfrom
byorgey:master

Conversation

@byorgey

@byorgey byorgey commented Jun 16, 2021

Copy link
Copy Markdown
Contributor

This is a useful function, present in the corresponding mtl library,
that can be defined in terms of the existing pass primitive.
However, doing so is nontrivial (I spent quite a while banging my head
against proxies, ScopedTypeVariables, AllowAmbiguousTypes, and the
like) so it seems it would make sense to provide it directly
from the library. However, if there's some reason this function can't
or shouldn't be provided I'd be happy to be enlightened.

This is a useful function, present in the corresponding mtl library,
that can be defined in terms of the existing `pass` primitive.
However, doing so is nontrivial (I spent quite a while banging my head
against proxies, ScopedTypeVariables, AllowAmbiguousTypes, and the
like) so it seems it would make sense to provide it directly
from the library.  However, if there's some reason this function can't
or shouldn't be provided I'd be happy to be enlightened.
@aspiwack

Copy link
Copy Markdown
Collaborator

Mmm… we still have a buildkite CI on this. I'll merge later today.

Thanks for the contribution!

@aspiwack
aspiwack merged commit 1123f92 into tweag:master Jun 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants