| Chalcheck::lib::any | An implemenetation of std::any |
| Chalcheck::lib::conjunction< Args > | An implementation of std::conjunction |
| Chalcheck::lib::constructor< T > | A function object that calls the constructor of a given type |
| Chalcheck::lib::dag< T > | Directed acyclic graphs with labelled nodes |
| Chalcheck::lib::disjunction< Args > | An implementation of std::disjunction |
| Chalcheck::lib::effect | Provides operations for simulating scoped-algebraic effects (a.k.a. resumable exceptions.) |
| ▼Cstd::exception [external] | STL class |
| ▼Chalcheck::gen::result_exception | A special exception type used to indicate an abnormal but non-failing result |
| Chalcheck::gen::discard_exception | An exception type thrown to indicate that the current test case is invalid |
| Chalcheck::lib::bad_any_cast | An implementation of std::bad_any_cast |
| Chalcheck::lib::bad_optional_access | An implementation of std::bad_optional_access |
| ▼Cstd::false_type [external] | |
| Chalcheck::lib::disable_sized_range< T > | Indicates whether lib::size should be disabled for a type |
| Chalcheck::lib::enable_borrowed_range< R > | An implementation of std::ranges::enable_borrowed_range |
| Chalcheck::lib::is_specialization_of< T, F > | Determines if a type is a specialization of a template class |
| Chalcheck::lib::finally_t< F > | Calls a function upon destruction |
| Chalcheck::lib::function_view< R(Args...) const > | Represents a const reference to a function object |
| Chalcheck::lib::function_view< R(Args...)> | Represents a reference to a function object |
| Chalcheck::lib::effect::handler< Self, Effects > | An effect handler defines the behaviour of a set of effects |
| Chalcheck::lib::effect::handler< forward_shrink_handler, gen::shrink_effect > | |
| Chalcheck::lib::effect::handler< handler, gen::shrink_effect > | |
| Chalcheck::lib::effect::handler< handler, gen::size_effect > | |
| Chalcheck::lib::effect::handler< shrink_handler, gen::shrink_effect, gen::label_effect > | |
| Cstd::hash< halcheck::lib::number > | The std::hash specialization for halcheck::lib::number |
| Cstd::hash< halcheck::lib::optional< T > > | A std::hash specialization for halcheck::lib::optional |
| Cstd::hash< halcheck::lib::symbol > | The std::hash specialization for halcheck::lib::symbol |
| Cstd::hash< halcheck::lib::type_id > | The std::hash specialization for halcheck::lib::type_id |
| Chalcheck::lib::ignore_t | The type of lib::ignore |
| Chalcheck::lib::in_place_t | An implementation of std::in_place_t |
| Chalcheck::lib::integer_sequence< T, Ints > | An implementation of std::integer_sequence |
| Chalcheck::lib::integer_sequence< T, Ints... > | |
| Chalcheck::lib::iota_diff< I, typename > | Computes a type large enough to contain the difference between two instances of an iterator |
| Chalcheck::lib::iterator_interface< Self > | A utility class for easily defining new iterators |
| ▼Chalcheck::lib::iterator_interface< filter_iterator< I, F > > | |
| Chalcheck::lib::filter_iterator< I, F > | An iterator adaptor that skips elements that do not satisfy user-defined predicate |
| Chalcheck::lib::iterator_interface< generate_iterator< F > > | |
| ▼Chalcheck::lib::iterator_interface< index_iterator< R > > | |
| Chalcheck::lib::index_iterator< R > | An iterator into a random-access range that is invalidated if and only if the index of the pointed-to element changes |
| ▼Chalcheck::lib::iterator_interface< iota_iterator< T > > | |
| Chalcheck::lib::iota_iterator< T > | An iterator pointing to an integral value |
| ▼Chalcheck::lib::iterator_interface< iterator > | |
| Chalcheck::lib::trie< K, V, Hash >::iterator | Represents a pointer to a child trie |
| ▼Chalcheck::lib::iterator_interface< transform_iterator< I, F > > | |
| Chalcheck::lib::transform_iterator< I, F > | A transforming iterator adaptor |
| Chalcheck::gen::label_effect | An effect for extending unique identifiers passed to other random generation functions |
| Chalcheck::lib::make_integer_sequence< T, N > | An implementation of std::make_integer_sequence |
| Chalcheck::lib::move_only_function< R(Args...) & > | An implementation of std::move_only_function |
| Chalcheck::lib::move_only_function< R(Args...) && > | An implementation of std::move_only_function |
| Chalcheck::lib::move_only_function< R(Args...) const & > | An implementation of std::move_only_function |
| Chalcheck::lib::move_only_function< R(Args...) const && > | An implementation of std::move_only_function |
| Chalcheck::lib::move_only_function< R(Args...) const > | An implementation of std::move_only_function |
| Chalcheck::lib::move_only_function< R(Args...)> | An implementation of std::move_only_function |
| Chalcheck::lib::nullopt_t | An implementation of std::nullopt_t |
| Chalcheck::lib::number | A number is conceptually a signed integer with constant time equality comparison and hashing |
| Chalcheck::lib::optional< T > | An implementation of std::optional |
| Chalcheck::lib::optional< const void > | A specialization of optional for "const void" |
| Chalcheck::lib::optional< const volatile void > | A specialization of optional for "const volatile void" |
| Chalcheck::lib::optional< entry > | |
| Chalcheck::lib::optional< F > | |
| Chalcheck::lib::optional< G > | |
| Chalcheck::lib::optional< lib::move_only_function< void() && > > | |
| Chalcheck::lib::optional< std::uintmax_t > | |
| Chalcheck::lib::optional< value_type > | |
| Chalcheck::lib::optional< void > | A specialization of optional for "void" |
| Chalcheck::lib::optional< volatile void > | A specialization of optional for "volatile void" |
| Chalcheck::lib::overload< Args > | Represents an overload set as a single value |
| Chalcheck::lib::overload< Args... > | |
| Chalcheck::lib::raise | A type for values that do not exist |
| Chalcheck::gen::sample_effect | An effect for generating random data |
| Chalcheck::gen::size_effect | An effect for obtaining a size parameter |
| Chalcheck::lib::effect::state | A state determines the behaviour of all effects |
| Chalcheck::test::strategy | A strategy executes a nullary function while handling effects or performing other operations such as logging |
| Chalcheck::gen::succeed_effect | An effect for indicating that no more test cases should be generated for the current test |
| Chalcheck::lib::symbol | A symbol is conceptually a std::string with constant time equality comparison and hashing |
| Chalcheck::lib::trie< K, V, Hash > | An implementation of a trie. Semantically, this corresponds to a function \(K^* \to V\) |
| Chalcheck::lib::trie< lib::atom, halcheck::lib::optional< std::uintmax_t > > | |
| Chalcheck::lib::type_id | A runtime type identifier that does not require RTTI |
| Chalcheck::lib::type_identity< T,... > | An implementation of std::type_identity |
| Chalcheck::lib::view_interface< Self > | An implementation of std::ranges::view_interface |
| Chalcheck::lib::view_interface< children_view > | |
| Chalcheck::lib::view_interface< filter_view< V, F > > | |
| Chalcheck::lib::view_interface< iota_view< std::uintmax_t > > | |
| Chalcheck::lib::view_interface< iota_view< T > > | |
| Chalcheck::lib::view_interface< ref_view< R > > | |
| ▼Chalcheck::lib::view_interface< subrange< I > > | |
| Chalcheck::lib::subrange< I > | Describes a range formed from a pair of iterators |
| ▼Chalcheck::lib::view_interface< transform_view< V, F > > | |
| Chalcheck::lib::transform_view< V, F > | A transforming iterator adaptor |
1.12.0