# Concept UnsignedIntegerConcept
An integral type without a sign.

Extends | IntegerConcept
All Extended | AssignableConcept, ComparableConcept, CopyConstructibleConcept, DefaultConstructibleConcept, DestructibleConcept, EqualityComparableConcept, IntegerConcept, LessThanComparableConcept
Defined in | <seqan/basic.h>
Signature | `UnsignedIntegerConcept<T>`

## Detailed Description

Expects an instance of type `T` to represent non-negative integral values and to provide the same operations as `unsigned int`. Every type `T` that fulfills the IntegerConcept fulfills either the SignedIntegerConcept or the UnsignedIntegerConcept.

### Examples

    //SEQAN_CONCEPT_ASSERT((UnsignedIntegerConcept<int>));                          // fails to compile
    SEQAN_CONCEPT_ASSERT((UnsignedIntegerConcept<unsigned short>));

    std::cout << Is<UnsignedIntegerConcept<char> >::VALUE << std::endl;             // 0
    std::cout << Is<UnsignedIntegerConcept<int> >::VALUE << std::endl;              // 0
    std::cout << Is<UnsignedIntegerConcept<unsigned short> >::VALUE << std::endl;   // 1
    std::cout << Is<UnsignedIntegerConcept<double> >::VALUE << std::endl;           // 0

### Valid Expressions

    T a;
    unsigned int b;

    a = 1u;
    b = a;

    std::cout << static_cast<T>(0) < static_cast<T>(-1) << std::endl;  // 1

## Member Function Overview

### Member Functions Inherited From AssignableConcept

- `operator=`

### Member Functions Inherited From ComparableConcept

- `operator>`

### Member Functions Inherited From EqualityComparableConcept

- `operator!=`
- `operator==`

### Member Functions Inherited From LessThanComparableConcept

- `operator<`

## Interface Function Overview

### Interface Functions Inherited From AssignableConcept

- `assign`
- `move`
- `set`

### Interface Functions Inherited From ComparableConcept

- `operator<=`
- `operator>=`

#### Dox Sources

    /*!
     * @concept UnsignedIntegerConcept
     *
     * @headerfile <seqan/basic.h>
     *
     * @extends IntegerConcept
     *
     * @brief An integral type without a sign.
     *
     * @signature UnsignedIntegerConcept<T>
     *
     * Expects an instance of type <tt>T</tt> to represent non-negative integral
     * values and to provide the same operations as <tt>unsigned int</tt>. Every
     * type <tt>T</tt> that fulfills the @link IntegerConcept @endlink fulfills
     * either the @link SignedIntegerConcept @endlink or the @link
     * UnsignedIntegerConcept @endlink.
     *
     * @section Examples
     *
     * @code{.cpp}
     * //SEQAN_CONCEPT_ASSERT((UnsignedIntegerConcept<int>));                          // fails to compile
     * SEQAN_CONCEPT_ASSERT((UnsignedIntegerConcept<unsigned short>));
     *
     * std::cout << Is<UnsignedIntegerConcept<char> >::VALUE << std::endl;             // 0
     * std::cout << Is<UnsignedIntegerConcept<int> >::VALUE << std::endl;              // 0
     * std::cout << Is<UnsignedIntegerConcept<unsigned short> >::VALUE << std::endl;   // 1
     * std::cout << Is<UnsignedIntegerConcept<double> >::VALUE << std::endl;           // 0
     * @endcode
     *
     *
     * @section Valid Expressions
     *
     * @code{.cpp}
     * T a;
     * unsigned int b;
     *
     * a = 1u;
     * b = a;
     *
     * std::cout << static_cast<T>(0) < static_cast<T>(-1) << std::endl;  // 1
     * @endcode
     */