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
Type family to get IAM action name from a request type? #864
Comments
https://reasonablypolymorphic.com/blog/abusing-constraints/ seems relevant here. |
Note that there are some more nuances to this. API calls usually have one-to-many relationship with IAM permissions. And this information is hidden all over the place in documentation and is not available in a machine-consumable format. For example
|
Yes, that's an excellent point. Trying to trace all of those implications won't be practical. Another wrinkle: I hope to extend Amazonka to make it reasonably ergonomic to call API Gateway APIs which need IAM authentication, and it would be silly to call all of those I currently think the contract we want to offer is that the |
OTOH Haskell would be one of those languages that could excel at this. I can see the coolness potential here. I'd imagine some kind of |
I think that's the sort of thing which could be provided by some other layer, once we expose the base API names. |
Too complex for 2.1, unless we can find a good mapping between API name (e.g., |
It could be neat to have a type family that maps things like
Amazonka.DynamoDB.GetItem
to"dynamodb:GetItem" :: Symbol
. Might be a way to answer "which calls might this block of code make?" when combined with the right effect system library?The text was updated successfully, but these errors were encountered: