.TH "src/include/serif/utils/dependencies/detail/cache_traits.hpp" 3 "Version v0.0.1a" "SERiF" \" -*- nroff -*-
.ad l
.nh
.SH NAME
src/include/serif/utils/dependencies/detail/cache_traits.hpp
.SH SYNOPSIS
.br
.PP
\fR#include <concepts>\fP
.br
\fR#include <cstddef>\fP
.br
\fR#include <type_traits>\fP
.br
\fR#include <utility>\fP
.br
\fR#include <variant>\fP
.br
\fR#include 'serif/utils/dependencies/detail/schema\&.hpp'\fP
.br
\fR#include 'serif/utils/misc/concepts/filter\&.hpp'\fP
.br

.SS "Classes"

.in +1c
.ti -1c
.RI "struct \fBserif::utils::dependencies::detail::UsedResource< GraphT >\fP"
.br
.ti -1c
.RI "struct \fBserif::utils::dependencies::detail::UsedResource< GraphT >::Predicate< ResourceT >\fP"
.br
.ti -1c
.RI "struct \fBserif::utils::dependencies::detail::ResourceKeys< types::TypeList< Resources\&.\&.\&. > >\fP"
.br
.ti -1c
.RI "struct \fBserif::utils::dependencies::detail::ComputationCacheTraits< GraphT, ContextT, ErrorT, Valid >\fP"
.br
.ti -1c
.RI "struct \fBserif::utils::dependencies::detail::ComputationCacheTraits< GraphT, ContextT, ErrorT, true >\fP"
.br
.in -1c
.SS "Namespaces"

.in +1c
.ti -1c
.RI "namespace \fBserif\fP"
.br
.ti -1c
.RI "namespace \fBserif::utils\fP"
.br
.ti -1c
.RI "namespace \fBserif::utils::dependencies\fP"
.br
.ti -1c
.RI "namespace \fBserif::utils::dependencies::detail\fP"
.br
.in -1c
.SS "Concepts"

.in +1c
.ti -1c
.RI "concept \fBserif::utils::dependencies::CanPrepare\fP"
.br
.in -1c
.SS "Typedefs"

.in +1c
.ti -1c
.RI "template<typename GraphT, typename ContextT> using \fBserif::utils::dependencies::detail::UsedResources\fP = \fBmisc::concepts::FilterT\fP<typename ContextT::Resources, \fBUsedResource\fP<GraphT>::template Predicate>"
.br
.in -1c
.SS "Functions"

.in +1c
.ti -1c
.RI "template<typename GraphT, typename BindingsT, typename ErrorT, std::size_t\&.\&.\&. Indices> consteval bool \fBserif::utils::dependencies::detail::compatible_errors\fP (std::index_sequence< Indices\&.\&.\&. >)"
.br
.RI "Value-returning calculations can share a graph with expected results carrying its declared error or an exact union alternative\&. "
.in -1c
.SS "Variables"

.in +1c
.ti -1c
.RI "template<typename Source, typename Target> constexpr bool \fBserif::utils::dependencies::detail::compatible_error_v\fP = std::same_as<Source, Target>"
.br
.RI "Ordinary graph failures retain an exact type; numerical conversions must not erase diagnostics\&. "
.ti -1c
.RI "template<typename Source, typename\&.\&.\&. Alternatives> constexpr bool \fBserif::utils::dependencies::detail::compatible_error_v< Source, std::variant< Alternatives\&.\&.\&. > >\fP"
.br
.RI "Independent modules may explicitly aggregate their unchanged failures in an unambiguous tagged union\&. "
.in -1c
.SH "Author"
.PP 
Generated automatically by Doxygen for SERiF from the source code\&.