# Concepts & Type Traits

Demo

 1. [auto concept args]
 2. [overloading with concepts]
 3. [requires]

Elem

 1. ‹filter› – pick elements that satisfy a given (generic) predicate
 2. ‹median› – find the median of an unordered input sequence

Prep

 1. ‹unisort› – universal sort (forward/random access)
 2. ‹eqsolve› – solve equations over rationals vs integers
 3. ‹reach›   – existence of a path between given vertices
 4. ‹shift›   – bit shifts and rotations of (un)signed integers
 5. ‹format›  – format various values into strings
 6. ‹upcast›  – statically safe cast of pointers toward bases

Regular

 1. ‹overflow› – addition with overflow checking
 3. ‹sorted›   – low-cost iteration in sorted order
 3. ‹radix›    – radix sort if possible, comparison otherwise
 4. ‹unique›   – find unique elements in a container