mixed_errors.cpp concepts expected memory string variant serif/utils/dependencies/computation_cache.hpp src/compile_time_checks/serif/utils/dependencies/mixed_errors.cpp serif/meta/enums.hpp serif/utils/dependencies/binding.hpp serif/utils/dependencies/computation.hpp serif/utils/dependencies/computation_cache.hpp serif/utils/dependencies/computation_graph.hpp serif/utils/dependencies/dependency_context.hpp serif/utils/dependencies/detail/cache_storage.hpp serif/utils/dependencies/detail/cache_traits.hpp serif/utils/dependencies/detail/graph.hpp serif/utils/dependencies/detail/result.hpp serif/utils/dependencies/detail/schema.hpp serif/utils/dependencies/detail/type_lists.hpp serif/utils/dependencies/key_list.hpp serif/utils/dependencies/key_list_operations.hpp serif/utils/dependencies/observers.hpp serif/utils/dependencies/preparation.hpp serif/utils/dependencies/resource.hpp serif/utils/dependencies/snapshot.hpp serif/utils/error/codes.hpp serif/utils/error/errors.hpp serif/utils/misc/concepts/concat.hpp serif/utils/misc/concepts/exceptions.hpp serif/utils/misc/concepts/filter.hpp serif/utils/misc/concepts/numeric.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/misc/terminal/colors.hpp serif/utils/misc/traits/type_uniqueness.hpp serif/utils/types/strings.hpp serif/utils/types/type_list.hpp algorithm array concepts cstddef cstdint cstdio cstdlib exception expected format functional iostream magic_enum/magic_enum_all.hpp memory stdexcept string string_view tuple type_traits unistd.h unordered_map utility variant version #include<concepts> #include<expected> #include<memory> #include<string> #include<variant> #include"serif/utils/dependencies/computation_cache.hpp" namespace{ namespacedependencies=serif::utils::dependencies; structSource{}; structFirst{}; structSecond{}; structOutput{}; structInputFailure{}; structPhysicsFailure{}; structOwnedFailure{ std::unique_ptr<int>value; }; template<typenameFailure> structFallible{ [[nodiscard]]constexprstd::expected<int,Failure>operator()(intvalue)const{ returnvalue; } }; structInfallible{ [[nodiscard]]constexprintoperator()(intvalue)const{ returnvalue; } }; usingContext=decltype(dependencies::make_dependency_context(dependencies::own<Source>(1))); template<typenameFailure> usingFirstCalculation=dependencies::Computation<First,dependencies::InputList<Source>,Fallible<Failure>>; template<typenameFailure> usingSecondCalculation=dependencies::Computation<Second,dependencies::InputList<First>,Fallible<Failure>>; usingOutputCalculation=dependencies::Computation<Output,dependencies::InputList<Second>,Infallible>; usingMixedGraph=dependencies::ComputationGraph<FirstCalculation<InputFailure>,SecondCalculation<PhysicsFailure>,OutputCalculation>; usingFailureUnion=std::variant<InputFailure,PhysicsFailure>; static_assert(dependencies::CanPrepare<MixedGraph,Context,FailureUnion>); static_assert(dependencies::CanPrepare<constMixedGraph&,constContext&,FailureUnion>); static_assert(dependencies::CanPrepare<MixedGraph,Context,std::variant<PhysicsFailure,InputFailure>>); static_assert(dependencies::CanPrepare<MixedGraph,Context,std::variant<std::monostate,InputFailure,PhysicsFailure>>); static_assert(!dependencies::CanPrepare<MixedGraph,Context,InputFailure>); static_assert(!dependencies::CanPrepare<MixedGraph,Context,std::variant<InputFailure>>); static_assert(!dependencies::CanPrepare<MixedGraph,Context,std::variant<PhysicsFailure>>); static_assert(!dependencies::CanPrepare<MixedGraph,Context,std::variant<InputFailure,int>>); static_assert(!dependencies::CanPrepare<MixedGraph,Context,std::variant<InputFailure,InputFailure,PhysicsFailure>>); static_assert(!dependencies::CanPrepare<MixedGraph,Context,std::variant<InputFailure,PhysicsFailure,PhysicsFailure>>); static_assert(!dependencies::CanPrepare<MixedGraph,Context,void>); usingSameErrorGraph=dependencies::ComputationGraph<FirstCalculation<InputFailure>,SecondCalculation<InputFailure>,OutputCalculation>; static_assert(dependencies::CanPrepare<SameErrorGraph,Context,InputFailure>); static_assert(dependencies::CanPrepare<SameErrorGraph,Context,FailureUnion>); static_assert(!dependencies::CanPrepare<SameErrorGraph,Context,PhysicsFailure>); usingExistingUnionGraph=dependencies::ComputationGraph<FirstCalculation<FailureUnion>>; static_assert(dependencies::CanPrepare<ExistingUnionGraph,Context,FailureUnion>); usingTextErrorGraph=dependencies::ComputationGraph<FirstCalculation<constchar*>>; static_assert(std::constructible_from<std::string,constchar*>); static_assert(std::constructible_from<std::variant<std::string,int>,constchar*>); static_assert(!dependencies::CanPrepare<TextErrorGraph,Context,std::string>); static_assert(!dependencies::CanPrepare<TextErrorGraph,Context,std::variant<std::string,int>>); static_assert(dependencies::CanPrepare<TextErrorGraph,Context,std::variant<constchar*,std::string>>); usingOwnedErrorGraph=dependencies::ComputationGraph<FirstCalculation<InputFailure>,SecondCalculation<OwnedFailure>,OutputCalculation>; usingOwnedErrorUnion=std::variant<InputFailure,OwnedFailure>; static_assert(std::move_constructible<OwnedErrorUnion>); static_assert(!std::copy_constructible<OwnedErrorUnion>); static_assert(dependencies::CanPrepare<OwnedErrorGraph,Context,OwnedErrorUnion>); }