4.6.0
Freundlich's C++ toolkit
Loading...
Searching...
No Matches
fcppt::mpl::map Namespace Reference

Classes

struct  element
 The element type of a map.An element of a map is a key-value pair. More...
 
struct  object
 The map type used by this library. More...
 

Typedefs

template<fcppt::mpl::map::object_concept Map, typename Key >
using at = typename fcppt::mpl::map::detail::at<Map,Key>::type
 The value type associated with a key in a map.Let Map = map::object<element<K_1,V_1>,...,element<K_n,V_n>>, where Key = K_i for some 1 <= i <= n. Then the result is V_i.
 
template<fcppt::mpl::map::element_concept Element>
using element_key = typename fcppt::mpl::map::detail::element_key<Element>::type
 The key type of an element.Returns K if Element=map::element<K,V>.
 
template<fcppt::mpl::map::element_concept Element>
using element_value = typename fcppt::mpl::map::detail::element_value<Element>::type
 The value type of an element.Returns V if Element=map::element<K,V>.
 
template<fcppt::mpl::map::object_concept Map1, fcppt::mpl::map::object_concept Map2>
using equal
 Checks if two maps are equal.
 
template<fcppt::mpl::map::object_concept Map>
using flip = typename fcppt::mpl::map::detail::flip<Map>::type
 Flips the key-value pairs inside a map.Let Map=map::object<element<K_1,V_1>,...,element<K_n,V_n>>. Then the result is.
 
template<fcppt::mpl::map::object_concept Map, typename Key >
using has_key = typename fcppt::mpl::map::detail::has_key<Map,Key>::type
 Checks if a map contains a key.Let Map = map::object<element<K_1,V_1>,...,element<K_n,V_n>>. If Key = K_i for some 1 <= i <= n, then the result is std::true_type. Otherwise, it is std::false_type.
 
template<fcppt::mpl::map::object_concept Map, typename Key , typename Value >
using insert = typename fcppt::mpl::map::detail::insert<Map,Key,Value>::type
 Inserts a new element into a map.Let Map = map::object<element<K_1,V_1>,...,element<K_n,V_n>>. Then the result is.
 
template<typename T >
using is_element = typename fcppt::mpl::map::detail::is_element<T>::type
 Checks if a type is a map element.T is a map element if an only if it is of the form fcppt::mpl::map::element<K,V> for some types K, V.
 
template<typename T >
using is_object = typename fcppt::mpl::map::detail::is_object<T>::type
 Checks if a type is a map.
 
template<fcppt::mpl::map::object_concept Map>
using keys = typename fcppt::mpl::map::detail::keys<Map>::type
 They keys of a map as a set.Let Map = map::object<element<K_1,V_1>,...,element<K_n,V_n>>. Then the result is.
 
template<fcppt::mpl::map::element_concept... Args>
using keys_unique
 Checks if the keys of elements are pairwise disjoint.Let Args=element<K_1,V_1>,...,element<K_n,V_n>. The result is std::true_type if all the keys K_1,...,K_n are pairwise disjoint. Otherwise, it is std::false_type.
 

Variables

template<fcppt::mpl::map::object_concept Map1, fcppt::mpl::map::object_concept Map2>
constexpr bool equal_v = fcppt::mpl::map::equal<Map1,Map2>::value
 Checks if two maps are equal.
 
template<fcppt::mpl::map::object_concept Map, typename Key >
constexpr bool has_key_v = fcppt::mpl::map::has_key<Map,Key>::value
 Checks if a map contains a key.