An InputIterator is an Iterator that

Specifies that an instance of the type can be copy-constructed from an

The concept BinaryPredicate is a set of requirements expected by some of the standard library facilities from the user-provided

An OutputIterator is an Iterator that

A Callable type is a type, for which the INVOKE operation, as defined by

The Lockable concept extends the B

Any lvalue or rvalue of this type can be swapped with any lvalue or rvalue of some other type, using unqualified function call swap() in the context where both

A FunctionObject type is the type of an object that can be used on the left of the function call operator.

Specifies that an instance of the type can be copy-assigned from an

The Mutex concept extends the Lockable