Here is a list of all documented concepts with brief descriptions:

[detail level 123]

▼Nrstd
▼Nfmt
Rformattable	Checks whether a type can be formatted, i.e
▼Nmtp
Rsame_as	Satisfied when `T` and `U` are the same type
Rsame	Satisfied when `T` is the same as all of `Rest...`
Rany	Satisfied when `T` is the same as any of `Rest...`
Rconvertible_to	Satisfied when `From` is implicitly and explicitly convertible to `To`
Requalable	Satisfied when `T` and `U` can be compared with `==` and `!=`
Rtransparent	Satisfied when `S` has the same size and alignment as `T` and is standard-layout
Rinit	Satisfied when `T` is constructible from `Args...`
Rdrop	Satisfied when `T` is nothrow destructible
Rcopy	Satisfied when `T` is copy constructible
Rmove	Satisfied when `T` is move constructible
Rassign	Satisfied when `U` can be assigned to `T`
Rassign_copy	Satisfied when `T` is copy assignable
Rassign_move	Satisfied when `T` is move assignable
Rtriv	Is trivial
Rtriv_init	Is trivially constructible
Rtriv_drop	Is trivially destructible
Rtriv_copy	Is trivially copyable
Rtriv_move	Is trivially moveable
Rtriv_assign	Is trivially assignable
Rtriv_assign_copy	Is trivially copy assignable
Rtriv_assign_move	Is trivially move assignable
Rnoex_init	Is nothrow constructible
Rnoex_assign	Is nothrow assignable
Rnoex_copy	Is nothrow copy construcible
Rnoex_move	Is nothrow move construcible
Rnoex_assign_copy	Is nothrow copy assignable
Rnoex_assign_move	Is nothrow move assignable
Rnoex_drop	Is no throw destructible
Ruser_move	Has a user-defined (non-trivial) move constructor
Ruser_assign_copy	Has a user-defined (non-trivial) copy assignment operator
Ruser_assign_move	Has a user-defined (non-trivial) move assignment operator
Ris_int	Satisfied when `T` is an integral type
Ris_float	Satisfied when `T` is a floating-point type
Ris_arithmetic	Satisfied when `T` is an arithmetic (integral or floating-point) type
Ris_ref	Satisfied when `T` is a reference type (lvalue or rvalue)
Ris_ref_lv	Satisfied when `T` is an lvalue reference
Ris_ref_rv	Satisfied when `T` is an rvalue reference
Ris_enum	Satisfied when `T` is an enumeration type
Ris_union	Satisfied when `T` is a union type
Ris_class	Satisfied when `T` is a class or struct type
Ris_array	Satisfied when `T` is an array type
Ris_array_dst	Satisfied when `T` is an array type with unknown bound
Ris_tuple	Satisfied when `T` is a tuple-like type (has `tuple_size`)
Ris_aggregate	Satisfied when `T` is an aggregate type
Ris_base_of	Satisfied when `Base` is a base class of `Derived`
Rspec_of	Satisfied when `T` is a specialization of the template `Primary`
Rcomplete	Satisfied when `T` is a complete type
RDST	A dynamically-sized type whose pointer metadata is defined via `Pointee`
RDSTArray	A dynamically-sized array type whose pointer metadata is a `usize` length
Ris_trait_api	Checks whether T is a valid trait API type with an associated Trait and type info
Ris_direct_trait	Checks whether T is a direct trait (implemented directly on the type, not via Impl)
Rhas_trait_api	Checks whether T has an Api member template defining trait methods
▼Nstr_
RViewableStr	Concept for types that can be viewed as a string slice (must expose `data()` and `size()`)
RImpled	Checks whether type A implements all the given traits T