|
ZeroErr
|


Go to the source code of this file.
Classes | |
| class | zeroerr::AggregateOf< T, Inner > |
| AggregateOf is a domain that combines multiple inner domains into a tuple or aggregate type. More... | |
| struct | zeroerr::AggregateOf< T, Inner >::GetTupleDomainMapValue |
Namespaces | |
| namespace | zeroerr |
Functions | |
| template<typename... Inner> | |
| AggregateOf< std::tuple< typename Inner::ValueType... >, Inner... > | zeroerr::TupleOf (Inner &&... inner) |
| template<typename K , typename V > | |
| AggregateOf< std::pair< typename K::ValueType, typename V::ValueType >, K, V > | zeroerr::PairOf (K &&k, V &&v) |