typed_world.h File Reference

Connects sort-owned semantics to encoded COLA updates and immutable typed snapshots. More...

#include <everett/cola_runtime.h>
#include <everett/fingerprint.h>
#include <everett/sort_codec.h>
#include <everett/session.h>
#include <everett/native_sweep.h>
#include <algorithm>
#include <bit>
#include <concepts>
#include <memory>
#include <string_view>

Go to the source code of this file.

Classes
struct	everett::sort_semantics< S >
struct	everett::sort_semantics< unsorted< std::optional< std::string > > >
struct	everett::typed_detail::default_sort< Leaves >
struct	everett::typed_detail::default_sort< registry_detail::sorts< S > >
struct	everett::typed_detail::all_replacements< registry_detail::sorts< S... > >
struct	everett::typed_detail::profile_key_transport< P >
struct	everett::typed_detail::transport< P, Family, class >
struct	everett::typed_detail::transport< P, Family, std::void_t< typename Family::key_transport > >
struct	everett::typed_detail::tombstone_predicate< P, Transport >
struct	everett::typed_detail::replacement_compose< P, Transport >
struct	everett::typed_detail::compose< P, Transport >
struct	everett::typed_world_metadata< A >
struct	everett::typed_world< P, A, Family >
struct	everett::typed_world< P, A, Family >::state
struct	everett::typed_contribution< P, A, Family >
struct	everett::typed_batch< P, A, Family >
struct	everett::typed_engine< P, A, DepthLimit, Family >

Namespaces
namespace	everett
namespace	everett::typed_detail

Typedefs
template<class P >
using	everett::typed_detail::default_sort_t = typename default_sort< typename registry_detail::info< typename P::registry_type >::leaves >::type
template<class S >
using	everett::typed_detail::key_t = typename sort_codec< S >::key_codec::value_type
template<class S >
using	everett::typed_detail::arrow_t = typename sort_codec< S >::value_codec::value_type
template<class S >
using	everett::typed_detail::state_t = typename sort_semantics< S >::state_type
template<class P , class Family >
using	everett::typed_detail::transport_t = typename transport< P, Family >::type

Functions
std::string	everett::typed_detail::byte_string (bit_view bits)
bool	everett::typed_detail::byte_string_present (bit_view encoded)
template<class P , class S >
key_t< S >	everett::typed_detail::read_key (sort_bit_reader &input)
template<class P , class S >
bit_string	everett::typed_detail::key (key_t< S > const &value)
template<class P , class S >
bit_string	everett::typed_detail::value (arrow_t< S > const &value)
template<class P , class S >
arrow_t< S >	everett::typed_detail::value (bit_view encoded)
template<class P , class F >
decltype(auto)	everett::typed_detail::dispatch_key (bit_view encoded, F &&action)

Variables
template<class S >
constexpr bool	everett::typed_detail::replacement
template<class P , class S >
constexpr bool	everett::typed_detail::byte_strings

Detailed Description

Connects sort-owned semantics to encoded COLA updates and immutable typed snapshots.

Author

Edward Kmett ekmet.nosp@m.t@gm.nosp@m.ail.c.nosp@m.om

SPDX-FileType: SOURCE
SPDX-FileCopyrightText: 2026 Edward Kmett <ekmett@gmail.com>
SPDX-License-Identifier: BSD-2-Clause OR Apache-2.0