Closed michaelpj closed 4 months ago
Add type family mappings for capabilities, and also lenses for picking them out from the capability structures.
I want to do more in this direction, in particular I want to be able to merge capabilities, but this is already fairly chunky.
Fixes #580
Add type family mappings for capabilities, and also lenses for picking them out from the capability structures.
I want to do more in this direction, in particular I want to be able to merge capabilities, but this is already fairly chunky.
Fixes #580