Here are the classes, structs, unions and interfaces with brief descriptions:

[detail level 1234]

▼Nhalcheck
▼Ngen	Random generation library
Cdiscard_exception	An exception type thrown to indicate that the current test case is invalid
Cis_arbitrary	Determines if a type supports generating arbitrary values
Clabel_effect	An effect for extending unique identifiers passed to other random generation functions
Cresult_exception	A special exception type used to indicate an abnormal but non-failing result
Csample_effect	An effect for generating random data
Csize_effect	An effect for obtaining a size parameter
Csucceed_effect	An effect for indicating that no more test cases should be generated for the current test
▼Nlib	General utility library
Cany	An implemenetation of std::any
Cbad_any_cast	An implementation of std::bad_any_cast
Cbad_optional_access	An implementation of std::bad_optional_access
Cconjunction	An implementation of std::conjunction
Cconstructor	A function object that calls the constructor of a given type
Cdag	Directed acyclic graphs with labelled nodes
Cdisable_sized_range	Indicates whether lib::size should be disabled for a type
Cdisjunction	An implementation of std::disjunction
▼Ceffect	Provides operations for simulating scoped-algebraic effects (a.k.a. resumable exceptions.)
Chandler	An effect handler defines the behaviour of a set of effects
Cstate	A state determines the behaviour of all effects
Cenable_borrowed_range	An implementation of std::ranges::enable_borrowed_range
Cfilter_iterator	An iterator adaptor that skips elements that do not satisfy user-defined predicate
Cfinally_t	Calls a function upon destruction
Cfunction_view< R(Args...) const >	Represents a const reference to a function object
Cfunction_view< R(Args...)>	Represents a reference to a function object
Cignore_t	The type of lib::ignore
Cin_place_t	An implementation of std::in_place_t
Cindex_iterator	An iterator into a random-access range that is invalidated if and only if the index of the pointed-to element changes
Cinteger_sequence	An implementation of std::integer_sequence
Ciota_diff	Computes a type large enough to contain the difference between two instances of an iterator
Ciota_iterator	An iterator pointing to an integral value
Cis_bidirectional_iterator	Determines whether a type satisfies the LegacyBidirectionalIterator concept
Cis_bidirectional_range	Determines whether a type is a range whose iterators satisfy lib::is_bidirectional_iterator
Cis_boolean_testable	Determines if a type is satisfies the boolean-testable concept
Cis_brace_constructible	Determines if a type is constructible from a given set of argument types using initiailizer-list-style construction
Cis_copyable	Determines if a type is copy constructible and copy assignable
Cis_detected	An implementation of std::experimental::is_detected
Cis_effect	Determines if a given type is an effect
Cis_equality_comparable	Determines if a type satisfies the EqualityComparable concept
Cis_forward_iterator	Determines whether a type satisfies the LegacyForwardIterator concept
Cis_forward_range	Determines whether a type is a range whose iterators satisfy lib::is_forward_iterator
Cis_hashable	Determines if a type has a valid std::hash specialization
Cis_input_iterator	Determines whether a type satisfies the LegacyInputIterator concept
Cis_input_range	Determines whether a type is a range whose iterators satisfy lib::is_input_iterator
Cis_insertable_range	Determines whether a range is insertable
Cis_invocable	An implementation of std::is_invocable
Cis_invocable_r	An implementation of std::is_invocable_r
Cis_iterator	Determines whether a type satisfies the LegacyIterator concept
Cis_movable	Determines if a type is move constructible and move assignable
Cis_nothrow_invocable	An implementation of std::is_nothrow_invocable
Cis_nothrow_invocable_r	An implementation of std::is_nothrow_invocable_r
Cis_nothrow_swappable	An implementation of std::is_nothrow_swappable
Cis_output_iterator	Determines whether a type satisfies the LegacyOutputIterator concept
Cis_parsable	Determines whether a type is parsable (i.e. can be read from a `std::basic_istream` )
Cis_printable	Determines whether a type is printable (i.e. can be output on a `std::basic_ostream` )
Cis_random_access_iterator	Determines whether a type satisfies the LegacyRandomAccessIterator concept
Cis_random_access_range	Determines whether a type is a range whose iterators satisfy lib::is_random_access_iterator
Cis_range	Determines whether the given type is a range
Cis_sized_range	Determines whether a range type supports the lib::size operation
Cis_specialization_of	Determines if a type is a specialization of a template class
Cis_swappable	An implementation of std::is_swappable
Citerator_interface	A utility class for easily defining new iterators
Cmake_integer_sequence	An implementation of std::make_integer_sequence
Cmove_only_function< R(Args...) & >	An implementation of std::move_only_function
Cmove_only_function< R(Args...) && >	An implementation of std::move_only_function
Cmove_only_function< R(Args...) const & >	An implementation of std::move_only_function
Cmove_only_function< R(Args...) const && >	An implementation of std::move_only_function
Cmove_only_function< R(Args...) const >	An implementation of std::move_only_function
Cmove_only_function< R(Args...)>	An implementation of std::move_only_function
Cnullopt_t	An implementation of std::nullopt_t
Cnumber	A number is conceptually a signed integer with constant time equality comparison and hashing
Coptional	An implementation of std::optional
Coptional< const void >	A specialization of optional for `"const void"`
Coptional< const volatile void >	A specialization of optional for `"const volatile void"`
Coptional< void >	A specialization of optional for `"void"`
Coptional< volatile void >	A specialization of optional for `"volatile void"`
Coverload	Represents an overload set as a single value
Craise	A type for values that do not exist
Csubrange	Describes a range formed from a pair of iterators
Csymbol	A symbol is conceptually a std::string with constant time equality comparison and hashing
Ctransform_iterator	A transforming iterator adaptor
Ctransform_view	A transforming iterator adaptor
▼Ctrie	An implementation of a trie. Semantically, this corresponds to a function \(K^* \to V\)
Citerator	Represents a pointer to a child trie
Ctype_id	A runtime type identifier that does not require RTTI
Ctype_identity	An implementation of std::type_identity
Cview_interface	An implementation of std::ranges::view_interface
▼Ntest	Test strategy library
Cstrategy	A strategy executes a nullary function while handling effects or performing other operations such as logging
▼Nstd	STL namespace
Chash< halcheck::lib::number >	The std::hash specialization for halcheck::lib::number
Chash< halcheck::lib::optional< T > >	A std::hash specialization for halcheck::lib::optional
Chash< halcheck::lib::symbol >	The std::hash specialization for halcheck::lib::symbol
Chash< halcheck::lib::type_id >	The std::hash specialization for halcheck::lib::type_id