STL (details)

Core language 

Same 

template<typename T, typename U> concept Same

cf. reference documentation for Same

DerivedFrom 

template<typename Derived, typename Base> concept DerivedFrom

cf. reference documentation for DerivedFrom

ConvertibleTo 

template<typename From, typename To> concept ConvertibleTo

cf. reference documentation for ConvertibleTo

CommonReference 

template<typename T, typename U> concept CommonReference

cf. reference documentation for CommonReference

Common 

template<typename T, typename U> concept Common

cf. reference documentation for Common

Integral 

template<typename T> concept Integral

cf. reference documentation for Integral

SignedIntegral 

template<typename T> concept SignedIntegral

cf. reference documentation for SignedIntegral

UnsignedIntegral 

template<typename T> concept UnsignedIntegral

cf. reference documentation for UnsignedIntegral

Assignable 

template<typename Lhs, typename Rhs> concept Assignable

cf. reference documentation for Assignable

Swappable 

template<typename T> concept Swappable

cf. reference documentation for Swappable

SwappableWith 

template<typename T, typename U> concept SwappableWith

cf. reference documentation for SwappableWith

Destructible 

template<typename T> concept Destructible

cf. reference documentation for Destructible

Constructible 

template<typename T, typename ...Args> concept Constructible

cf. reference documentation for Constructible

DefaultConstructible 

template<typename T> concept DefaultConstructible

cf. reference documentation for DefaultConstructible

MoveConstructible 

template<typename T> concept MoveConstructible

cf. reference documentation for MoveConstructible

CopyConstructible 

template<typename T> concept CopyConstructible

cf. reference documentation for CopyConstructible

Object 

Movable 

template<typename T> concept Movable

cf. reference documentation for Movable

Copyable 

template<typename T> concept Copyable

cf. reference documentation for Copyable

Semiregular 

template<typename T> concept Semiregular

cf. reference documentation for Semiregular

Regular 

template<typename T> concept Regular

cf. reference documentation for Regular

Comparison 

Boolean 

template<typename B> concept Boolean

cf. reference documentation for Boolean

__WeaklyEqualityComparableWith 

template<typename T, typename U> concept __WeaklyEqualityComparableWith

cf. reference documentation for __WeaklyEqualityComparableWith

EqualityComparable 

template<typename T> concept EqualityComparable

cf. reference documentation for EqualityComparable

EqualityComparableWith 

template<typename T, typename U> concept EqualityComparableWith

cf. reference documentation for EqualityComparableWith

StrictTotallyOrdered 

template<typename T> concept StrictTotallyOrdered

cf. reference documentation for StrictTotallyOrdered

StrictTotallyOrderedWith 

template<typename T, typename U> concept StrictTotallyOrderedWith

cf. reference documentation for StrictTotallyOrderedWith

Callable 

Invocable 

template<typename F, typename ...Args> concept Invocable

cf. reference documentation for Invocable

RegularInvocable 

template<typename F, typename ...Args> concept RegularInvocable

cf. reference documentation for RegularInvocable

Predicate 

template<typename F, typename ...Args> concept Predicate

cf. reference documentation for Predicate

Relation 

template<typename R, typename T, typename U> concept Relation

cf. reference documentation for Relation

StrictWeakOrder 

template<typename R, typename T, typename U> concept StrictWeakOrder

cf. reference documentation for StrictWeakOrder

Random Number Generator 

UniformRandomNumberGenerator 

template<class G> concept UniformRandomNumberGenerator

cf. reference documentation for UniformRandomNumberGenerator

Iterator 

Readable 

template<typename In> concept Readable

cf. reference documentation for Readable

Writable 

template<typename Out, typename T> concept Writable

cf. reference documentation for Writable

WeaklyIncrementable 

template<typename I> concept WeaklyIncrementable

cf. reference documentation for WeaklyIncrementable

Incrementable 

template<typename I> concept Incrementable

cf. reference documentation for Incrementable

Iterator 

template<typename I> concept Iterator

cf. reference documentation for Iterator

Sentinel 

template<typename S, typename I> concept Sentinel

cf. reference documentation for Sentinel

SizedSentinel 

template<typename S, typename I> concept SizedSentinel

cf. reference documentation for SizedSentinel

InputIterator 

template<typename I> concept InputIterator

cf. reference documentation for InputIterator

OutputIterator 

template<typename I, typename T> concept OutputIterator

cf. reference documentation for OutputIterator

ForwardIterator 

template<typename I> concept ForwardIterator

cf. reference documentation for ForwardIterator

BidirectionalIterator 

template<typename I> concept BidirectionalIterator

cf. reference documentation for BidirectionalIterator

RandomAccessIterator 

template<typename I> concept RandomAccessIterator

cf. reference documentation for RandomAccessIterator

Indirect Callable 

IndirectUnaryInvocable 

template<typename F, typename I> concept IndirectUnaryInvocable

cf. reference documentation for IndirectUnaryInvocable

IndirectRegularUnaryInvocable 

template<typename F, typename I> concept IndirectRegularUnaryInvocable

cf. reference documentation for IndirectRegularUnaryInvocable

IndirectUnaryPredicate 

template<typename F, typename I> concept IndirectUnaryPredicate

cf. reference documentation for IndirectUnaryPredicate

IndirectRelation 

template<typename F, typename I1, typename I2 = I1> concept IndirectRelation

cf. reference documentation for IndirectRelation

IndirectStrictWeakOrder 

template<typename F, typename I1, typename I2 = I1> concept IndirectStrictWeakOrder

cf. reference documentation for IndirectStrictWeakOrder

Common algorithm requirements 

IndirectlyMovable 

template<typename In, typename Out> concept IndirectlyMovable

cf. reference documentation for IndirectlyMovable

IndirectlyMovableStorable 

template<typename In, typename Out> concept IndirectlyMovableStorable

cf. reference documentation for IndirectlyMovableStorable

IndirectlyCopyable 

template<typename In, typename Out> concept IndirectlyCopyable

cf. reference documentation for IndirectlyCopyable

IndirectlyCopyableStorable 

template<typename In, typename Out> concept IndirectlyCopyableStorable

cf. reference documentation for IndirectlyCopyableStorable

IndirectlySwappable 

template<typename I1, typename I2 = I1> concept IndirectlySwappable

cf. reference documentation for IndirectlySwappable

IndirectlyComparable 

template<typename I1, typename I2, typename R = equal_to, typename P1 = identity, typename P2 = identity> concept IndirectlyComparable

cf. reference documentation for IndirectlyComparable

Permutable 

template<typename I> concept Permutable

cf. reference documentation for Permutable

Mergeable 

template<typename I1, typename I2, typename Out, typename R = less, typename P1 = identity, typename P2 = identity> concept Mergeable

cf. reference documentation for Mergeable

Sortable 

template<typename I, typename R = less, typename P = identity> concept Sortable

cf. reference documentation for Sortable

Range 

template<typename T> concept Range

cf. reference documentation for Range

SizedRange 

template<typename T> concept SizedRange

cf. reference documentation for SizedRange

View 

template<typename T> concept View

cf. reference documentation for View

BoundedRange 

template<typename T> concept BoundedRange

cf. reference documentation for BoundedRange

InputRange 

template<typename T> concept InputRange

cf. reference documentation for InputRange

OutputRange 

template<typename R, typename T> concept OutputRange

cf. reference documentation for OutputRange

ForwardRange 

template<typename T> concept ForwardRange

cf. reference documentation for ForwardRange

BidirectionalRange 

template<typename T> concept BidirectionalRange

cf. reference documentation for BidirectionalRange

RandomAccessRange 

template<typename T> concept RandomAccessRange

cf. reference documentation for RandomAccessRange