libstdc++
Concepts
Here is a list of all documented concepts with brief descriptions:
[detail level 123]
 NstdISO C++ entities toplevel namespace is std
 Nranges
 Rrange[range.range] The range concept
 Rborrowed_range[range.range] The borrowed_range concept
 Rsized_range[range.sized] The sized_range concept
 Rview[range.view] The ranges::view concept
 Routput_rangeA range for which ranges::begin returns an output iterator
 Rinput_rangeA range for which ranges::begin returns an input iterator
 Rforward_rangeA range for which ranges::begin returns a forward iterator
 Rbidirectional_rangeA range for which ranges::begin returns a bidirectional iterator
 Rrandom_access_rangeA range for which ranges::begin returns a random access iterator
 Rcontiguous_rangeA range for which ranges::begin returns a contiguous iterator
 Rcommon_rangeA range for which ranges::begin and ranges::end return the same type
 Rviewable_rangeA range which can be safely converted to a view
 Rsame_as[concept.same], concept same_as
 Rderived_from[concept.derived], concept derived_from
 Rconvertible_to[concept.convertible], concept convertible_to
 Rcommon_reference_with[concept.commonref], concept common_reference_with
 Rcommon_with[concept.common], concept common_with
 Rassignable_from[concept.assignable], concept assignable_from
 Rdestructible[concept.destructible], concept destructible
 Rconstructible_from[concept.constructible], concept constructible_from
 Rdefault_initializable[concept.defaultinitializable], concept default_initializable
 Rmove_constructible[concept.moveconstructible], concept move_constructible
 Rcopy_constructible[concept.copyconstructible], concept copy_constructible
 Rinvocable[concept.invocable], concept invocable
 Rregular_invocable[concept.regularinvocable], concept regular_invocable
 Rpredicate[concept.predicate], concept predicate
 Rrelation[concept.relation], concept relation
 Requivalence_relation[concept.equiv], concept equivalence_relation
 Rstrict_weak_order[concept.strictweakorder], concept strict_weak_order
 Rindirectly_readableRequirements for types that are readable by applying operator*
 Rindirectly_writableRequirements for writing a value into an iterator's referenced object
 Rweakly_incrementableRequirements on types that can be incremented with ++
 Rindirectly_movable[alg.req.ind.move], concept indirectly_movable
 Rindirectly_copyable[alg.req.ind.copy], concept indirectly_copyable
 Rindirectly_swappable[alg.req.ind.swap], concept indirectly_swappable
 Rindirectly_comparable[alg.req.ind.cmp], concept indirectly_comparable
 Rpermutable[alg.req.permutable], concept permutable
 Rmergeable[alg.req.mergeable], concept mergeable
 Rsortable[alg.req.sortable], concept sortable
 Runiform_random_bit_generatorRequirements for a uniform random bit generator