obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)
Other
63 stars 33 forks source link

Add Data.Dependent.Map.Internal to exposed-modules. #25

Closed cgibbard closed 6 years ago

cgibbard commented 6 years ago

We needed access to the internal structure of the DMap in order to obtain a good pivot for a particularly fiddly transposition operation, so I exposed this module, similarly to how Data.Map does. (Obviously, we'll take responsibility for maintaining our code if DMap's internals change.)