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

[detail level 1234]

▼Nrefl	The top-level refl-cpp namespace It contains a few core refl-cpp namespaces and directly exposes core classes and functions
▼Nattr	Contains the definitions of the built-in attributes
▼Nusage	Contains a number of constraints applicable to refl-cpp attributes
Cany	Specifies that an attribute type inheriting from this type can only be used with any one of REFL_TYPE, REFL_FIELD, REFL_FUNC
Cfield	Specifies that an attribute type inheriting from this type can only be used with REFL_FIELD()
Cfunction	Specifies that an attribute type inheriting from this type can only be used with REFL_FUNC()
Cmember	Specifies that an attribute type inheriting from this type can only be used with REFL_FUNC or REFL_FIELD
Ctype	Specifies that an attribute type inheriting from this type can only be used with REFL_TYPE()
Cbase_types	Used to specify the base types of the target type
Cdebug	Used to specify how a type should be displayed in debugging contexts
Cproperty	Used to decorate a function that serves as a property
▼Ndescriptor	Contains the basic reflection primitives as well as functions operating on those primitives
Cfield_descriptor	Represents a reflected field
Cfunction_descriptor	Represents a reflected function
Cmember_descriptor_base	The base type for member descriptors
Ctype_descriptor	Represents a reflected type
▼Nmember	Contains tag types denoting the different types of reflectable members
Cfield	An empty type which is equivalent to refl::member_descriptor_base::member_type when the reflected member is a field
Cfunction	An empty type which is equivalent to refl::member_descriptor_base::member_type when the reflected member is a function
▼Nruntime	Contains utilities that can have runtime-overhead (like proxy, debug, invoke)
Cproxy	A proxy object that has a static interface identical to the reflected functions and fields of the target
▼Ntrait	Provides type-level operations for refl-cpp related use-cases
Cappend	Appends a type to the list
Cas_tuple< T< Ts... > >	Provides a member typedef which is a std::tuple specialization with template type parameters equivalent to the type parameters of the provided type
Cas_type_list< T< Ts... > >	Provides a member typedef type which is a type_list with template type parameters equivalent to the type parameters of the provided type
Cconcat	Concatenates N lists together
Ccontains< T, type_list< Ts... > >	Checks whether T is contained in the list of types
Ccontains_base< T, type_list< Ts... > >	Checks whether a type deriving from T is contained in the list of types
Ccontains_instance< T, type_list< Ts... > >	Checks whether an instance of the template T is contained in the list of types
Cfilter< Predicate, type_list< Ts... > >	Filters a type_list according to a predicate template
Cget< N, type_list< Ts... > >	Provides a member typedef type which is the N-th type in the provided type_list
Cindex_of< T, type_list< Ts... > >	The index of the type in the type list, -1 if it doesn't exist
Cindex_of_base< T, type_list< Ts... > >	The index of the type in the type list that is derived from T, -1 if it doesn't exist
Cindex_of_instance< T, type_list< Ts... > >	The index of the type in the type list that is a template instance of T, -1 if it doesn't exist
Cis_container	Checks whether objects of the type T support member .begin() and .end() operations
Cis_descriptor	A trait for detecting whether the type 'T' is a refl-cpp descriptor
Cis_field	A trait for detecting whether the type 'T' is a field descriptor
Cis_function	A trait for detecting whether the type 'T' is a function descriptor
Cis_instance	Detects whether T is a template specialization
Cis_instance_of	Detects whther the type U is a template specialization of T
Cis_member	A trait for detecting whether the type 'T' is a member descriptor
Cis_property	Checks whether T is marked as a property
Cis_proxy
Cis_reflectable	Checks whether there is reflection metadata for the type T
Cis_type	Detects whether the type T is a type_descriptor
Cmap< Mapper, type_list< Ts... > >	Transforms a type_list according to a predicate template
Cprepend	Prepends a type to the list
Cremove_qualifiers	Removes all reference and cv-qualifiers from T
Creverse	Reverses a list of types
Cskip< N, type_list< Ts... > >	Skips the first N types in the provided type_list
Cunique	Creates a new list containing the repeating elements in the source list only once
▼Nutil	Contains utility types and functions for working with those types
Cconst_string	Represents a compile-time string
Ctype_list	Represents a compile-time list of types provided as variadic template parameters
Ctype_list< T >