Description of changes: Significant revision to the description of Cedar data types and operators to hopefully add some precision and clarity, and to explain validation behavior.
The latter is especially useful where it differs substantially from evaluation behavior, e.g., you can evaluate an operation on a heterogeneous set as in [1,"hello",User::"alice"].contains("hello") but you can validate such a set operation.
This is work in progress. There is still more to do, but submitting now to start getting feedback.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Description of changes: Significant revision to the description of Cedar data types and operators to hopefully add some precision and clarity, and to explain validation behavior.
The latter is especially useful where it differs substantially from evaluation behavior, e.g., you can evaluate an operation on a heterogeneous set as in [1,"hello",User::"alice"].contains("hello") but you can validate such a set operation.
This is work in progress. There is still more to do, but submitting now to start getting feedback.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.