I imagine this would look something like: "a[0]", and would play well with other paths, like "a.b[0].c". Of course for arbitrary arrays it would be better to construct the TomlPath explicitly, or with a lens. The purpose of this style of query is for fixed-length arrays with a meaning assigned to each slot, like:
point = [0,1,2]
So that query can be something like getX = query "point[0]"
I imagine this would look something like:
"a[0]", and would play well with other paths, like"a.b[0].c". Of course for arbitrary arrays it would be better to construct theTomlPathexplicitly, or with a lens. The purpose of this style of query is for fixed-length arrays with a meaning assigned to each slot, like:So that query can be something like
getX = query "point[0]"