Re: [boost] [review][mp11] Formal review of Mp11

Subject: Re: [boost] [review][mp11] Formal review of Mp11
From: Peter Dimov (lists_at_[hidden])
Date: 2017-07-17 17:16:56

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/50d35a29644bfb051316ae9a21f2f7b6dbe91836

> - 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/34946d2ae25a1e113c23c6ead3c55224695a7bbf

> - mp_is_set: type trait to determine whether a type is a set, i.e., has 
> unique elements

https://github.com/pdimov/mp11/commit/27d0d547ee4d0cb83b678b176c8e96cb78de19b5