ekmett / stable-maps

Heterogeneous collections indexed by StableNames
http://github.com/ekmett/stable-maps
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

Rejigger Representational constraints #8

Closed treeowl closed 6 years ago

treeowl commented 6 years ago

I thought I put them where they wouldn't get in the way too much, but I was wrong. Under the current regime, we'd need them for (rank 2) maps and traversals, which is evil. So I need to fix that. Probably move them to the lookup side.