Everett
Loading...
Searching...
No Matches
Classes | Public Types | Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes | Friends | List of all members
everett::typed_world< P, A, Family > Struct Template Reference

#include <typed_world.h>

Inheritance diagram for everett::typed_world< P, A, Family >:
everett::replacement_world< storage_policy<>, wrapping_fingerprint_algebra, redundant_runtime_family< storage_policy<> > > everett::replacement_world< P, A, Family >

Classes

struct  state
 

Public Types

using policy_type = P
 
using metadata_type = typed_world_metadata< A >
 
using runtime_family = Family
 
using key_transport = typed_detail::transport_t< P, Family >
 
using runtime_snapshot = typename Family::snapshot_type
 
using contribution_type = typed_contribution< P, A, Family >
 
using batch_type = typed_batch< P, A, Family >
 

Public Member Functions

runtime_snapshot const & runtime () const &noexcept
 
runtime_snapshot const & runtime () const &&=delete
 
metadata_type const & metadata () const &noexcept
 
auto signature () const
 
std::uint64_t live_count () const noexcept
 
template<class S = typed_detail::default_sort_t<P>>
typed_detail::state_t< S > get (typed_detail::key_t< S > const &key) const
 
batch_type batch () const
 
template<class S = typed_detail::default_sort_t<P>>
contribution_type change (typed_detail::key_t< S > const &key, typed_detail::arrow_t< S > const &arrow) const
 
template<class S = typed_detail::default_sort_t<P>>
requires typed_detail::replacement<S>
contribution_type put (typed_detail::key_t< S > const &key, typed_detail::state_t< S > const &value) const
 
template<class S = typed_detail::default_sort_t<P>>
requires typed_detail::replacement<S>
contribution_type erase (typed_detail::key_t< S > const &key) const
 
template<class S >
auto change (typed_detail::key_t< S > const &key, typed_detail::arrow_t< S > const &arrow) const -> contribution_type
 
template<class S >
requires typed_detail::replacement<S>
auto put (typed_detail::key_t< S > const &key, typed_detail::state_t< S > const &value) const -> contribution_type
 
template<class S >
requires typed_detail::replacement<S>
auto erase (typed_detail::key_t< S > const &key) const -> contribution_type
 

Static Public Member Functions

static typed_world restore (runtime_snapshot data, metadata_type metadata, std::string_view expected_schema)
 

Private Member Functions

template<class S , class Query >
typed_detail::state_t< S > get_encoded (typed_detail::key_t< S > const &key, Query &&encoded, std::optional< std::uint64_t > *retained_limit_bits=nullptr) const
 
 typed_world (runtime_snapshot data, metadata_type metadata)
 

Private Attributes

std::shared_ptr< state const > state_
 

Friends

template<class , class , class >
struct typed_batch
 
template<class , class , std::uint64_t , class >
struct typed_engine
 
template<class , class , std::uint64_t , class >
struct replacement_rebuild_engine
 

Member Typedef Documentation

◆ batch_type

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
using everett::typed_world< P, A, Family >::batch_type = typed_batch<P, A, Family>

◆ contribution_type

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
using everett::typed_world< P, A, Family >::contribution_type = typed_contribution<P, A, Family>

◆ key_transport

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
using everett::typed_world< P, A, Family >::key_transport = typed_detail::transport_t<P, Family>

◆ metadata_type

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
using everett::typed_world< P, A, Family >::metadata_type = typed_world_metadata<A>

◆ policy_type

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
using everett::typed_world< P, A, Family >::policy_type = P

◆ runtime_family

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
using everett::typed_world< P, A, Family >::runtime_family = Family

◆ runtime_snapshot

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
using everett::typed_world< P, A, Family >::runtime_snapshot = typename Family::snapshot_type

Constructor & Destructor Documentation

◆ typed_world()

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
everett::typed_world< P, A, Family >::typed_world ( runtime_snapshot  data,
metadata_type  metadata 
)
inlineprivate

Member Function Documentation

◆ batch()

template<class P , class A , class Family >
auto everett::typed_world< P, A, Family >::batch ( ) const

◆ change() [1/2]

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class S = typed_detail::default_sort_t<P>>
contribution_type everett::typed_world< P, A, Family >::change ( typed_detail::key_t< S > const &  key,
typed_detail::arrow_t< S > const &  arrow 
) const

◆ change() [2/2]

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class S >
auto everett::typed_world< P, A, Family >::change ( typed_detail::key_t< S > const &  key,
typed_detail::arrow_t< S > const &  arrow 
) const -> contribution_type

◆ erase() [1/2]

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class S = typed_detail::default_sort_t<P>>
requires typed_detail::replacement<S>
contribution_type everett::typed_world< P, A, Family >::erase ( typed_detail::key_t< S > const &  key) const

◆ erase() [2/2]

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class S >
requires typed_detail::replacement<S>
auto everett::typed_world< P, A, Family >::erase ( typed_detail::key_t< S > const &  key) const -> contribution_type

◆ get()

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class S = typed_detail::default_sort_t<P>>
typed_detail::state_t< S > everett::typed_world< P, A, Family >::get ( typed_detail::key_t< S > const &  key) const
inline

◆ get_encoded()

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class S , class Query >
typed_detail::state_t< S > everett::typed_world< P, A, Family >::get_encoded ( typed_detail::key_t< S > const &  key,
Query &&  encoded,
std::optional< std::uint64_t > *  retained_limit_bits = nullptr 
) const
inlineprivate

◆ live_count()

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
std::uint64_t everett::typed_world< P, A, Family >::live_count ( ) const
inlinenoexcept

◆ metadata()

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
metadata_type const & everett::typed_world< P, A, Family >::metadata ( ) const &
inlinenoexcept

◆ put() [1/2]

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class S = typed_detail::default_sort_t<P>>
requires typed_detail::replacement<S>
contribution_type everett::typed_world< P, A, Family >::put ( typed_detail::key_t< S > const &  key,
typed_detail::state_t< S > const &  value 
) const

◆ put() [2/2]

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class S >
requires typed_detail::replacement<S>
auto everett::typed_world< P, A, Family >::put ( typed_detail::key_t< S > const &  key,
typed_detail::state_t< S > const &  value 
) const -> contribution_type

◆ restore()

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
static typed_world everett::typed_world< P, A, Family >::restore ( runtime_snapshot  data,
metadata_type  metadata,
std::string_view  expected_schema 
)
inlinestatic

◆ runtime() [1/2]

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
runtime_snapshot const & everett::typed_world< P, A, Family >::runtime ( ) const &&
delete

◆ runtime() [2/2]

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
runtime_snapshot const & everett::typed_world< P, A, Family >::runtime ( ) const &
inlinenoexcept

◆ signature()

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
auto everett::typed_world< P, A, Family >::signature ( ) const
inline

Friends And Related Symbol Documentation

◆ replacement_rebuild_engine

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class , class , std::uint64_t , class >
friend struct replacement_rebuild_engine
friend

◆ typed_batch

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class , class , class >
friend struct typed_batch
friend

◆ typed_engine

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
template<class , class , std::uint64_t , class >
friend struct typed_engine
friend

Member Data Documentation

◆ state_

template<class P = storage_policy<>, class A = wrapping_fingerprint_algebra, class Family = binary_runtime_family<P>>
std::shared_ptr<state const> everett::typed_world< P, A, Family >::state_
private

The documentation for this struct was generated from the following file: