17 Jul
2017
17 Jul
'17
5:16 p.m.
Brook Milligan wrote:
Nevertheless, in my code, I have found need for the following additional metafunctions:
- mp_map_keys: creates a list of keys from a map
https://github.com/pdimov/mp11/commit/50d35a29644bfb051316ae9a21f2f7b6dbe918...
- mp_is_map: type trait to determine whether a type is a map, i.e., has a unique set of keys
https://github.com/pdimov/mp11/commit/34946d2ae25a1e113c23c6ead3c55224695a7b...
- mp_is_set: type trait to determine whether a type is a set, i.e., has unique elements
https://github.com/pdimov/mp11/commit/27d0d547ee4d0cb83b678b176c8e96cb78de19...